A deductive database approach for complex objects

DOI10.1007/BF02945310MaRDI QIDQ2277840zbMATH OpenFDO

Authors Qiming Chen

Publication date 1990

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

deductive databaseHorn-clause implementation scheme

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• Extended database logic: Complex objects and deduction
• A reasoning mechanism for deductive object-oriented databases
• LOGIDATA+: deductive databases with complex objects
• An algebraic approach to databases with complex objects
• A basis for deductive database systems
• Query evaluation in deductive object oriented databases
• The deevolution of concurrent logic programming languages
• Designing deductive databases

Cites work

• scientific article; zbMATH DE number 3874667 (Why is no real title available?)
• scientific article; zbMATH DE number 4043318 (Why is no real title available?)
• A calculus for complex objects
• Compilation of set terms in the logic data language (LDL)

Cited in

(11)

• A logical framework for deductive objects
• Complex objects: Theory and practice from a data- and knowledge engineering perspective, as seen in and from Yellowstone Park
• Implication problems for functional constraints on databases supporting complex objects
• scientific article; zbMATH DE number 4106310 (Why is no real title available?)
• A rule-based approach to analyzing database schema objects with Datalog
• Novelty in deductive databases
• scientific article; zbMATH DE number 1674003 (Why is no real title available?)
• Extended database logic: Complex objects and deduction
• Meta-level control for deductive database systems
• KI 2004: Advances in Artificial Intelligence
• A reasoning mechanism for deductive object-oriented databases

This page was built for publication: A deductive database approach for complex objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2277840)