![](/img/cover-not-exists.png)
Simplification rules and complete axiomatization for relational update transactions
Karabeg, Dino, Vianu, VictorVolume:
16
Language:
english
Journal:
ACM Transactions on Database Systems
DOI:
10.1145/111197.111208
Date:
September, 1991
File:
PDF, 2.21 MB
english, 1991