A transaction language complete for database update and specification (1987)

by S Abiteboul, V Vianu
Venue:In Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems