A basis for deductive database systems

DOI10.1016/0743-1066(85)90013-5zbMath0583.68056OpenAlexW4210435783MaRDI QIDQ3706525

Rodney W. Topor, John W. Lloyd

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

PROLOGrelational databaselogic programmingintegrity constraints

Mathematics Subject Classification ID

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

Related Items

Domain-independent formulas and databases, A logic programming system for nonmonotonic reasoning, Handling database updates in two-dimensional temporal logic, Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions, The anatomy of vampire. Implementing bottom-up procedures with code trees, Inferring negative information from disjunctive databases, Abduction over 3-valued extended logic programs, Partition-based logical reasoning for first-order and propositional theories, Relevant logic programming, Legality concepts for three-valued logic programs, Negation in rule-based database languages: A survey