Equivalence, query-reachability, and satisfiability in datalog extensions (1993)

by A Y Levy, I Singh Mumick, Y Sagiv, O Shmueli
Venue:In Proc. 12th Symposium on Principles of Database Systems