Axiomatization and Simplification Rules for Relational Transactions.

Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu

Browse the full PODS paper archive.