Home
DCC eCatalog
Dinc__Karabeg
Simplification rules and complete axiomatization for relational update transactions
