On The Semantic of Updates in Databases (1983)

by R Fagin, J D Ullman, M Y Vardi
Venue:In Proceedings of the 2nd ACM Symp. on Principles of Data Base Systems