On the Equivalence of Recursive and Nonrecursive Datalog Programs

Surajit Chaudhuri, Moshe Y. Vardi. On the Equivalence of Recursive and Nonrecursive Datalog Programs. J. Comput. Syst. Sci., 54(1):61-78, 1997.

Abstract

Abstract is missing.