Axiomatization and simplification rules for relational transactions

  • Authors:

  • A. Karabeg;D. Karabeg;K. Papakonstantinou;V. Vianu

  • Affiliations:

  • Dept of EE & CS, University of California at San Diego, La Jolla, California ;-;Dept of EE & CS, University of California at San Diego, La Jolla, California ;Dept of EE & CS, University of California at San Diego, La Jolla, California

  • Venue:
  • PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
  • Year:
  • 1987

Quantified Score

Hi-index 0.00

Visualization

Abstract