An Algorithmic Logic Approach to Formalizing Database Update Semantics.

James Brawner James Vorbach An Algorithmic Logic Approach to Formalizing Database Update Semantics. 1998 8 Journal of Applied Non-Classical Logics 3 db/journals/jancl/jancl8.html#BrawnerV98