Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
A calculus for complex objects
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Data model issues for object-oriented applications
ACM Transactions on Information Systems (TOIS)
O2, an object-oriented data model
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Modeling inheritance and genericity in object-oriented databases
Lecture notes in computer science on ICDT '88
Object-oriented database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A new approach to database logic
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
The O2 object manager: an overview
VLDB '89 Proceedings of the 15th international conference on Very large data bases
The O2 database programming language
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Incomplete information in object-oriented databases
ACM SIGMOD Record
The expressive power structured values in pure OODB's (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Subtyping in OODB's (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
LLO: an object-oriented deductive language with methods and method inheritance
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
ACM SIGMOD Record
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Functional and predictive programming in OODB's
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Making object-oriented schemas more expressive
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Object identity as a query language primitive
Journal of the ACM (JACM)
A formalization of a query language for complex objects
CSC '91 Proceedings of the 19th annual conference on Computer Science
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Describing Database Objects in a Concept Language Environment
IEEE Transactions on Knowledge and Data Engineering
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering
Querying Multimedia Presentations Based on Content
IEEE Transactions on Knowledge and Data Engineering
Attaching Second-Order Types to Methods in an Object-Oriented Language
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Description logics for semantic query optimization in object-oriented database systems
ACM Transactions on Database Systems (TODS)
Reasoning in expressive description logics
Handbook of automated reasoning
The description logic handbook
Hi-index | 0.00 |
In this paper, we present a type model for object-oriented databases. Most object-oriented databases only provide users with flat objects whose structure is a record of other objects. In order to have a powerful expression power, an object-oriented database should not only provide objects but also complex values recursively built using the set, tuple and disjunctive constructors. Our type model presents two notions: that of classes whose instances are objects with identity and that of types whose instances are complex values. The two notions are mixed in that an object is modeled as a pair containing an identifier and a value, and a value is a complex structure which contains objects and values. We define in this context the notions of subtyping and provide a set inclusion semantics for subtyping.