A basis for deductive database systems II

DOI10.1016/0743-1066(86)90004-XzbMath0591.68087OpenAlexW2051223322MaRDI QIDQ3719865

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

PROLOGrelational databaselogic programmingtyped theorynonflounderingnormal query evaluation

Mathematics Subject Classification ID

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

Related Items

Domain-independent formulas and databases, Inferring negative information from disjunctive databases, Answer Set Programming for Single-Player Games in General Game Playing, Protected completions of first-order general logic programs, Acyclic logic programs and the completeness of SLDNF-resolution, Automated verification of state sequence invariants in general game playing, Simulation of Action Theories and an Application to General Game-Playing Robots, Logical-epistemic foundations of general game descriptions, Strict completion of logic programs, Negation in rule-based database languages: A survey, Minimal and consistent evolution of knowledge bases