A basis for deductive database systems

DOI10.1016/0743-1066(85)90013-5MaRDI QIDQ3706525zbMATH OpenOpenAlexFDO

Authors John W. Lloyd, Rodney W. Topor

Publication date 1985

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(85)90013-5

zbMATH Keywords

logic programmingrelational databaseintegrity constraintsPROLOG

Mathematics Subject Classification ID

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

Cited in

(20)

• The anatomy of vampire. Implementing bottom-up procedures with code trees
• Legality concepts for three-valued logic programs
• Inferring negative information from disjunctive databases
• A deductive database approach for complex objects
• Handling database updates in two-dimensional temporal logic
• Domain-independent formulas and databases
• A logic programming system for nonmonotonic reasoning
• scientific article; zbMATH DE number 966595 (Why is no real title available?)
• scientific article; zbMATH DE number 4074545 (Why is no real title available?)
• Partition-based logical reasoning for first-order and propositional theories
• Prolegomena to logic programming for non-monotonic reasoning
• scientific article; zbMATH DE number 870410 (Why is no real title available?)
• Novelty in deductive databases
• Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions
• scientific article; zbMATH DE number 545140 (Why is no real title available?)
• Relevant logic programming
• Negation in rule-based database languages: A survey
• Abduction over 3-valued extended logic programs
• COMPUTING THE WELL-FOUNDED MODEL OF DEDUCTIVE DATABASES
• A reasoning mechanism for deductive object-oriented databases

This page was built for publication: A basis for deductive database systems

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