A logic for programming with complex objects
DOI10.1016/0022-0000(93)90021-NzbMATH Open0785.68023OpenAlexW1998775102MaRDI QIDQ686642FDOQ686642
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
Recommendations
- Logical foundations of object-oriented and frame-based languages
- Extended database logic: Complex objects and deduction
- [[:Publication:4287504|Title not available (Why is that?)]]
- A reasoning mechanism for deductive object-oriented databases
- [[:Publication:4858576|Title not available (Why is that?)]]
logic programmingcomplex objectsdeducibe databasesMeier's \(O\)-logicobject identityobject logicobject-oriented databases
Artificial intelligence (68T99) Logic programming (68N17) Database theory (68P15) Logic in artificial intelligence (68T27)
Cites Work
- Title not available (Why is that?)
- Object identity as a query language primitive
- Title not available (Why is that?)
- Title not available (Why is that?)
- `` Strong NP-Completeness Results
- The Specialization of Programs by Theorem Proving
- Title not available (Why is that?)
- Logical foundations of object-oriented and frame-based languages
- Extended algebra and calculus for nested relational databases
- A logic for reasoning with inconsistency
- Why not negation by fixpoint?
- Title not available (Why is that?)
- Login: a logic programming language with built-in inheritance
- An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines
- Title not available (Why is that?)
- On first-order-logic databases
- A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
Cited In (12)
- A logical framework for deductive objects
- Title not available (Why is that?)
- Title not available (Why is that?)
- Categorial graphs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- MGS: a rule-based programming language for complex objects and collections
- On the expressive power of F-logic language
- The expressive power of stratified logic programs with value invention
- The expressive power of cardinality-bounded set values in object-based data models
- A semideterministic approach to object creation and nondeterminism in database queries
This page was built for publication: A logic for programming with complex objects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q686642)
