Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions

Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli. Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. In Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC. pages 109-122, ACM Press, 1993. [doi]

Authors

Alon Y. Levy

This author has not been identified. Look up 'Alon Y. Levy' in Google

Inderpal Singh Mumick

This author has not been identified. Look up 'Inderpal Singh Mumick' in Google

Yehoshua Sagiv

This author has not been identified. Look up 'Yehoshua Sagiv' in Google

Oded Shmueli

This author has not been identified. Look up 'Oded Shmueli' in Google