Bottom-up evaluation of datalog with negation

DOI10.1007/BF02939504zbMath0808.68053OpenAlexW1978516371MaRDI QIDQ1333369

Baile Shi, Aoying Zhou

Publication date: 13 September 1994

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02939504

zbMATH Keywords

deductive databasedeclarative semanticsbottom-up evaluationoscillating fixpoint model semantics

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• Datalog

Cites Work

• Unnamed Item
• Negation by default and unstratifiable logic programs
• Efficient bottom-up computation of queries on stratified databases
• A procedural semantics for well-founded negation in logic programs
• The Semantics of Predicate Logic as a Programming Language

This page was built for publication: Bottom-up evaluation of datalog with negation