F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Modeling complex structures in object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Subtyping in OODB's (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Structure and semantics in OODB class specifications
ACM SIGMOD Record
Hi-index | 0.00 |
This paper formalizes inheritance and genericity in the context of object oriented databases. We present a uniform view for objects and types. We model, in the same framework, multiple inheritance and unconstrained genericity. We plan to use this model as the theoretical foundation for the O2 object-oriented database system.