Total and Partial Well-Founded Datalog Coincide.

Jörg Flum Max Kubierschky Bertram Ludäscher

Published in: ICDT (1997)

Keyphrases

expressive power
deductive databases
query language
logic programming
datalog programs
query answering
real time
machine learning
integrity constraints
real world
information systems
data structure
transitive closure
fixpoint