Results 1 - 10 of 575

Querying object-oriented databases

by Michael Kifer, Won Kim, Yehoshua Sagiv - ACM SIGMOD INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA , 1992
"... We present a novel language for querying object-oriented databases. The language is built around the idea of extended path expressions that substantially generalize [ZAN83], and on an adaptation of the first-order formalization of object-oriented languages from [KW89, KLW90, KW92]. The language inco ..."
Abstract - Cited by 492 (6 self) - Add to MetaCart
We present a novel language for querying object-oriented databases. The language is built around the idea of extended path expressions that substantially generalize [ZAN83], and on an adaptation of the first-order formalization of object-oriented languages from [KW89, KLW90, KW92]. The language

Extending the Database Relational Model to Capture More Meaning

by E. F. Codd - ACM Transactions on Database Systems , 1979
"... During the last three or four years several investigators have been exploring “semantic models ” for formatted databases. The intent is to capture (in a more or less formal way) more of the meaning of the data so that database design can become more systematic and the database system itself can beha ..."
Abstract - Cited by 338 (2 self) - Add to MetaCart
During the last three or four years several investigators have been exploring “semantic models ” for formatted databases. The intent is to capture (in a more or less formal way) more of the meaning of the data so that database design can become more systematic and the database system itself can

GraphLog: a Visual Formalism for Real Life Recursion

by Mariano Consens, Alberto O. Mendelzon - In Proceedings of the Ninth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems , 1990
"... We present a query language called GraphLog, based on a graph representation of both data and queries. Queries are graph patterns. Edges in queries represent edges or paths in the database. Regular expressions are used to qualify these paths. We characterize the expressive power of the language a ..."
Abstract - Cited by 193 (18 self) - Add to MetaCart
We present a query language called GraphLog, based on a graph representation of both data and queries. Queries are graph patterns. Edges in queries represent edges or paths in the database. Regular expressions are used to qualify these paths. We characterize the expressive power of the language

A Formal Template Language enabling

by Nuno Amálio, Susan Stepney, Fiona Polack
"... Abstract. Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be used to describe those commonly occurring structures that make a pattern. This paper presents FTL, a language ..."
Abstract - Add to MetaCart
language to express templates, and an approach to proof with templates. This enables reuse at the level of formal modelling and verification: patterns of models are captured once and their structure is explored for proof, so that patterns instances can be generated mechanically and proved results related

Agent UML: A Formalism for Specifying Multiagent Interaction

by Bernhard Bauer, Jörg P. Müller, James Odell - IN: CIANCARINI, P.; WOOLDRIDGE, M. [EDS.], AGENT-ORIENTED SOFTWARE ENGINEERING , 2001
"... In the past, research on agent-oriented software engineering had been widely lacking touch with the world of industrial software development. Recently, a cooperation has been established between the Foundation of Intelligent Physical Agents (FIPA) and the Object Management Group (OMG) aiming to incr ..."
Abstract - Cited by 146 (2 self) - Add to MetaCart
lifelines, extended UML message semantics, nested and interleaved protocols, and protocol templates.

A Formal Language for Design Patterns (Extended Abstract)

by Amnon H. Eden, Joseph (Yossi) Gil, Amiram Yehudai , 1996
"... This article sets forth a rigorous approach to the concept of a `design pattern language.' We present a method of using a programming language to manipulate constructs of ordinary OOP language (such as classes and relations). We show that the specification of many design patterns can be phrased ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
This article sets forth a rigorous approach to the concept of a `design pattern language.' We present a method of using a programming language to manipulate constructs of ordinary OOP language (such as classes and relations). We show that the specification of many design patterns can

A.: Learning syntactic patterns for automatic hypernym discovery.

by Rion Snow , Daniel Jurafsky , Andrew Y Ng - Advances in Neural Information Processing Systems , 2004
"... Abstract Semantic taxonomies such as WordNet provide a rich source of knowledge for natural language processing applications, but are expensive to build, maintain, and extend. Motivated by the problem of automatically constructing and extending such taxonomies, in this paper we present a new algori ..."
Abstract - Cited by 223 (6 self) - Add to MetaCart
Abstract Semantic taxonomies such as WordNet provide a rich source of knowledge for natural language processing applications, but are expensive to build, maintain, and extend. Motivated by the problem of automatically constructing and extending such taxonomies, in this paper we present a new

Semantic Matching: Formal Ontological Distinctions for Information Organization, Extraction, and Integration

by Nicola Guarino - INFORMATION TECHNOLOGY, INTERNATIONAL SUMMER SCHOOL, SCIE-97 , 1997
"... The task of information extraction can be seen as a problem of semantic matching between a user-defined template and a piece of information written in natural language. To this purpose, the ontological assumptions of the template need to be suitably specified, and compared with the ontological im ..."
Abstract - Cited by 109 (2 self) - Add to MetaCart
The task of information extraction can be seen as a problem of semantic matching between a user-defined template and a piece of information written in natural language. To this purpose, the ontological assumptions of the template need to be suitably specified, and compared with the ontological

A Foundation for Representing and Querying Moving Objects

by Ralf Hartmut Güting , Michael H. Böhlen , Martin Erwig , Christian S. Jensen , Nikos A. Lorentzos , Markus Schneider , Michalis Vazirgiannis , 2000
"... Spatio-temporal databases deal with geometries changing over time. The goal of our work is to provide a DBMS data model and query language capable of handling such time-dependent geometries, including those changing continuously which describe moving objects. Two fundamental abstractions are moving ..."
Abstract - Cited by 200 (39 self) - Add to MetaCart
DBMS data model and query language. This paper presents a design of such a system of abstract data types. It turns out that besides the main types of interest, moving point and moving region, a relatively large number of auxiliary data types is needed. For example, one needs a line type to represent

A Formal Suite of Object Relational Database Metrics

by Justus S, K Iyakutti
"... Abstract—Object Relational Databases (ORDB) are complex in nature than traditional relational databases because they combine the characteristics of both object oriented concepts and relational features of conventional databases. Design of an ORDB demands efficient and quality schema considering the ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Abstract—Object Relational Databases (ORDB) are complex in nature than traditional relational databases because they combine the characteristics of both object oriented concepts and relational features of conventional databases. Design of an ORDB demands efficient and quality schema considering
Results 1 - 10 of 575