Login / Signup

Simplification Rules and Complete Axiomatization for Relational Update Transactions.

Dino KarabegVictor Vianu
Published in: ACM Trans. Database Syst. (1991)
Keyphrases
  • complete axiomatization
  • update transactions
  • relational databases
  • data model
  • active databases
  • fine grained
  • integrity constraints
  • distributed environment
  • relational model
  • inclusion dependencies