On the Semantics of Updates in Databases (1983)

by R Fagin, J D Ullman, M Y Vardi
Venue:In Proceedings PODS-83