A logic for programming with complex objects

DOI10.1016/0022-0000(93)90021-NzbMath0785.68023OpenAlexW1998775102MaRDI QIDQ686642

Juan-Miguel Gracia

Publication date: 10 October 1993

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(93)90021-n

zbMATH Keywords

logic programmingobject-oriented databasescomplex objectsdeducibe databasesMeier's \(O\)-logicobject identityobject logic

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Artificial intelligence (68T99) Logic programming (68N17)

Related Items (5)

Categorial graphs ⋮ On the expressive power of F-logic language ⋮ 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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: A logic for programming with complex objects