Procedural and declarative database update languages (1988)

by S Abiteboul, V Vianu
Venue:Proc. of ACM Symp. on Principles of Database Systems, ACM