A logic for programming with complex objects
Authors:
- Michael KiferMKMichael Kifer
- James WuJWJames Wu
- 1 August 1993
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 47 (1) , 77-120
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- On formal models for object-oriented databasesACM SIGPLAN OOPS Messenger, 1995
- Object identity as a query language primitiveACM SIGMOD Record, 1989
- Principles of database and knowledge-base systemsChoice Reviews Online, 1989
- Negation as failure using tight derivations for general logic programsThe Journal of Logic Programming, 1989
- O2, an object-oriented data modelACM SIGMOD Record, 1988
- Composite object support in an object-oriented database systemACM SIGPLAN Notices, 1987
- On first-order-logic databasesACM Transactions on Database Systems, 1987
- Login: a logic programming language with built-in inheritanceThe Journal of Logic Programming, 1986
- A logic-programming/object-oriented cocktailACM SIGMOD Record, 1986
- Object identityACM SIGPLAN Notices, 1986