A logic for programming with complex objects
From MaRDI portal
Publication:686642
DOI10.1016/0022-0000(93)90021-NzbMath0785.68023MaRDI QIDQ686642
Publication date: 10 October 1993
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
logic programming; object-oriented databases; complex objects; deducibe databases; Meier's \(O\)-logic; object identity; object logic
68P15: Database theory
68T27: Logic in artificial intelligence
68T99: Artificial intelligence
68N17: Logic programming
Related Items
The expressive power of cardinality-bounded set values in object-based data models, A semideterministic approach to object creation and nondeterminism in database queries, The expressive power of stratified logic programs with value invention, On the expressive power of F-logic language
Cites Work
- A logic for reasoning with inconsistency
- Why not negation by fixpoint?
- An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines
- Object identity as a query language primitive
- Login: a logic programming language with built-in inheritance
- On first-order-logic databases
- Extended algebra and calculus for nested relational databases
- `` Strong NP-Completeness Results
- Logical foundations of object-oriented and frame-based languages
- A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
- The Specialization of Programs by Theorem Proving
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item