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 programmingrelational databasePROLOGtyped theorynonflounderingnormal query evaluation

Mathematics Subject Classification ID

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

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

(14)

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

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)