%0 Journal Article %1 journals/tods/KarabegV91 %A Karabeg, Dino %A Vianu, Victor %D 1991 %J ACM Trans. Database Syst. %K dblp %N 3 %P 439-475 %T Simplification Rules and Complete Axiomatization for Relational Update Transactions. %U http://dblp.uni-trier.de/db/journals/tods/tods16.html#KarabegV91 %V 16

@article{journals/tods/KarabegV91, added-at = {2018-11-06T00:00:00.000+0100}, author = {Karabeg, Dino and Vianu, Victor}, biburl = {https://www.bibsonomy.org/bibtex/28a999ae4eae6df56719f71d9e6c04cca/dblp}, cdrom = {TODS16/P439.PDF}, cite = {books/cs/Ullman80}, ee = {https://doi.org/10.1145/111197.111208}, interhash = {0b953b5a1e081adbb685f8bd53950199}, intrahash = {8a999ae4eae6df56719f71d9e6c04cca}, journal = {ACM Trans. Database Syst.}, keywords = {dblp}, number = 3, pages = {439-475}, timestamp = {2018-11-07T11:50:13.000+0100}, title = {Simplification Rules and Complete Axiomatization for Relational Update Transactions.}, url = {http://dblp.uni-trier.de/db/journals/tods/tods16.html#KarabegV91}, volume = 16, year = 1991 }