Testing Strong Equivalence of Datalog Programs - Implementation and Examples.

Thomas Eiter Wolfgang Faber Patrick Traxler

Published in: LPNMR (2005)

Keyphrases

datalog programs
fixpoint
logic programs
stable models
artificial intelligence
special case
query answering
deductive databases
strong equivalence
database