Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - Vianu, Victor (ACM Conferences, 1994)