Safe computation of the well-founded semantics of datalog queries

• 31 January 1992
• journal article
• Published by Elsevier in Information Systems
• Vol. 17  (1) , 17-31
• https://doi.org/10.1016/0306-4379(92)90003-6

Abstract

Keywords

• DEDUCTIVE DATABASES
• NEGATION
• WELL-FOUNDED SEMANTICS
• QUERY EVALUATION