A formal approach to object-oriented databases
- 31 October 1990
- journal article
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 5 (4) , 353-382
- https://doi.org/10.1016/0169-023x(90)90020-e
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Towards a computation system based on set theoryTheoretical Computer Science, 1988
- IFO: a formal semantic database modelACM Transactions on Database Systems, 1987
- Semantic database modeling: survey, applications, and research issuesACM Computing Surveys, 1987
- Data model issues for object-oriented applicationsACM Transactions on Information Systems, 1987
- The relational model with relation-valued attributesInformation Systems, 1986
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Über die Bausteine der mathematischen LogikMathematische Annalen, 1924