D. Karabeg;V. Vianu
Univ. of California, La Jolla, CA;Univ. of California, La Jolla, CA
Simplification rules and complete axiomatization for relational update transactions
ACM Transactions on Database Systems (TODS)
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering