A logical semantics for object-oriented databases
- 1 June 1993
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 22 (2), 89-98
- https://doi.org/10.1145/170035.170057
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- Multiparadigm logic programmingPublished by Springer Science and Business Media LLC ,2005
- Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operationsTheoretical Computer Science, 1992
- Toward megaprogrammingCommunications of the ACM, 1992
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- Bulk types for large scale programmingLecture Notes in Computer Science, 1991
- Method schemasPublished by Association for Computing Machinery (ACM) ,1990
- Order-sorted unificationJournal of Symbolic Computation, 1989
- Inheritance hierarchies: Semantics and unificationJournal of Symbolic Computation, 1989
- F-logic: a higher-order language for reasoning about objects, inheritance, and schemePublished by Association for Computing Machinery (ACM) ,1989
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980