Procedural and declarative database update languages (1988)

by S Abiteboul, V Vianu
Venue:In Symposium on Principles of Database Systems