Procedural and declarative database update languages. (1988)

by S Abiteboul, V Vianu
Venue:In Proceedings 7th ACM Symposium on Principles of Database Systems,