On the complexity of equivalence between recursive and nonrecursive Datalog programs

Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '94 ◽

10.1145/182591.182604 ◽

1994 ◽

Author(s):

Surajit Chaudhuri ◽

Moshe Y. Vardi

Download Full-text