On the Equivalence of Recursive and Nonrecursive Datalog Programs On the Equivalence of Recursive andNonrecursive Datalog Programs