Safe computation of the well-founded semantics of datalog queries

DOI10.1016/0306-4379(92)90003-6zbMath0752.68027OpenAlexW2033042609MaRDI QIDQ1198101

Pasquale Rullo, Nicola Leone

Publication date: 16 January 1993

Published in: Information Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0306-4379(92)90003-6

zbMATH Keywords

well-founded semanticsnegationquery evaluationdeductive databases

Mathematics Subject Classification ID

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

Related Items (4)

Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation ⋮ An algebraic construction of the well-founded model ⋮ Bottom-up evaluation and query optimization of well-founded models ⋮ Well-founded semantics and stratification for ordered logic programs

Uses Software

• Datalog

This page was built for publication: Safe computation of the well-founded semantics of datalog queries