Constraints in an object-oriented deductive database
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 292-311
- https://doi.org/10.1007/3-540-55015-1_16
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Rule-aided constraint resolution in LaurePublished by Springer Nature ,2005
- Querying design and planning databasesPublished by Springer Nature ,1991
- Exception handling and object-oriented programming: towards a synthesisPublished by Association for Computing Machinery (ACM) ,1990
- A logic for object-oriented logic programmingPublished by Association for Computing Machinery (ACM) ,1989
- Untyped sets, invention, and computable queriesPublished by Association for Computing Machinery (ACM) ,1989
- Object identity as a query language primitivePublished by Association for Computing Machinery (ACM) ,1989
- On the representation and querying of sets of possible worldsPublished by Association for Computing Machinery (ACM) ,1987
- An amateur's introduction to recursive query processing strategiesPublished by Association for Computing Machinery (ACM) ,1986
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Induction variables in very high level languagesPublished by Association for Computing Machinery (ACM) ,1976