On the semantics of updates in databases
Ronald Fagin, Jeffrey David Ullman, Moshe Y. Vardi · 1983
We suggest here a methodology for updating data bases with integrity constrain & and rules for deriving inex plicit information. First we consider the problem of updating arbitrary theories by inserting inu, them or delet