On the semantics of updates in databases (1983)

by R Fagin, J D Ullman, M Y Vardi
Venue:In Proceedings of the Second ACM SIGACT-SIGMOD Conference