On the Equivalence of Logical Databases

Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi. On the Equivalence of Logical Databases. In Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada. pages 221-228, ACM, 1984. [doi]

Abstract

Abstract is missing.