A basis for deductive database systems II

DOI10.1016/0743-1066(86)90004-XMaRDI QIDQ3719865zbMATH OpenOpenAlexFDO

Authors John W. Lloyd, Rodney W. Topor

Publication date 1986

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

Full work available at URL https://doi.org/10.1016/0743-1066(86)90004-x

zbMATH Keywords

logic programmingnonflounderingnormal query evaluationPROLOGrelational databasetyped theory

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 545140
• scientific article; zbMATH DE number 4147465
• Conceptual schemas applied to deductive databases
• scientific article; zbMATH DE number 3874667
• The deevolution of concurrent logic programming languages

Cited in

(15)

• Domain-independent formulas and databases
• Inferring negative information from disjunctive databases
• Acyclic logic programs and the completeness of SLDNF-resolution
• Automated verification of state sequence invariants in general game playing
• Logical-epistemic foundations of general game descriptions
• Minimal and consistent evolution of knowledge bases
• scientific article; zbMATH DE number 4074545 (Why is no real title available?)
• scientific article; zbMATH DE number 49786 (Why is no real title available?)
• Simulation of action theories and an application to general game-playing robots
• Answer Set Programming for Single-Player Games in General Game Playing
• Prolegomena to logic programming for non-monotonic reasoning
• Designing a safe forward chaining tactic using productive proofs
• Strict completion of logic programs
• Negation in rule-based database languages: A survey
• Protected completions of first-order general logic programs

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

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