ON THE SEMANTICS OF UPDATES IN DATABASES.Ronald FaginJeffrey D. Ullmanet al.1982SIGMOD/PODS 1982Conference paper