Axiomatization and Simplification Rules for Relational Transactions. - Almira Karabeg; Dino Karabeg; Kostoula Papakonstantinou; Victor Vianu (PODS, 1987)