C. Robert Carlson Adarsh K. Arora UPM: A Formal Tool for Expressing Database Update Semantics. 517-525 1983 ER db/conf/er/er83.html#CarlsonA83 er83/ER83-P517.pdf conf/er/83 db/conf/er/CarlsonA83.html journals/is/BatiniLS82 journals/tods/Bernstein76 conf/vldb/Brodie81 conf/er/Brodie81 ... journals/cj/CarlsonAC82 ... ... conf/er/ChiangB79 journals/tods/Codd79 ... conf/vldb/Date81 conf/vldb/LienST81 conf/sigmod/NavatheS78 conf/vldb/NavatheG82 conf/er/79 conf/er/81 journals/tods/SmithS77 conf/db-workshops/YaoNW78 ...