Designing deductive databases

DOI10.1007/BF00244512MaRDI QIDQ1104781zbMATH OpenOpenAlexFDO

Authors Paul Helman, Robert Veroff

Publication date 1988

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00244512

zbMATH Keywords

relational databasestheorem proverdeductive databasesdatabase designintensional databasephysical optimization

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Data structures (68P05)

Recommendations

• Conceptual schemas applied to deductive databases
• scientific article; zbMATH DE number 545140
• The deevolution of concurrent logic programming languages
• scientific article; zbMATH DE number 62656
• On the efficiency of transforming database logic programs

Cited in

(8)

• A deductive database approach for complex objects
• A family of NP-complete data aggregation problems
• Conceptual schemas applied to deductive databases
• scientific article; zbMATH DE number 1875358 (Why is no real title available?)
• scientific article; zbMATH DE number 4074545 (Why is no real title available?)
• Novelty in deductive databases
• KI 2004: Advances in Artificial Intelligence
• An empirical analysis of algorithms for partially Clairvoyant scheduling

This page was built for publication: Designing deductive databases

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