Transactions in Relational Databases (Preliminary Report).

Serge Abiteboul, Victor Vianu: Transactions in Relational Databases (Preliminary Report). VLDB 1984: 46-56

@inproceedings{DBLP:conf/vldb/AbiteboulV84,
  author    = {Serge Abiteboul and
               Victor Vianu},
  editor    = {Umeshwar Dayal and
               Gunter Schlageter and
               Lim Huat Seng},
  title     = {Transactions in Relational Databases (Preliminary Report)},
  booktitle = {Tenth International Conference on Very Large Data Bases, August
               27-31, 1984, Singapore, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1984},
  isbn      = {0-934613-16-8},
  pages     = {46-56},
  ee        = {db/conf/vldb/AbiteboulV84.html},
  crossref  = {DBLP:conf/vldb/84},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

A large class of relational database update transactions is investigated with respect to equivalence and optimization. Several basic results are obtained. It is shown that transaction equivalence can be decided in polynomial time. A number of optimality criteria for transactions are then proposed, as well as two normal forms. Polynomial algorithms for transaction optimization and normalization are exhibited. Also, an intuitively appealing system of axioms for proving transaction equivalence is introduced. Finally, a simple, natural subclass of transactions, called 2-acyclic, is shown to have particularly desirable properties.

Copyright © 1984 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/vldb7588 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

Printed Edition

Umeshwar Dayal, Gunter Schlageter, Lim Huat Seng (Eds.): Tenth International Conference on Very Large Data Bases, August 27-31, 1984, Singapore, Proceedings. Morgan Kaufmann 1984, ISBN 0-934613-16-8
Contents

References

[AH]: Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. PODS 1984: 119-132
[AV]: ...
[BS]: François Bancilhon, Nicolas Spyratos: Update Semantics of Relational Views. ACM Trans. Database Syst. 6(4): 557-575(1981)
[BG]: Philip A. Bernstein, Nathan Goodman: Concurrency Control in Distributed Database Systems. ACM Comput. Surv. 13(2): 185-221(1981)
[Br]: Michael L. Brodie: On Modelling Behavioural Semantics of Databases. VLDB 1981: 32-42
[C]: E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970)
[CCF]: José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291
[CW]: James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983)
[DeAZ]: Valeria De Antonellis, Bruna Zonta: Modelling Events a Data Base Application Design. VLDB 1981: 23-31
[FUV]: Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365
[HK]: ...
[INGRES]: ...
[M]: David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents
[PBR]: ...
[R]: ...
[Ul]: Jeffrey D. Ullman: Principles of Database Systems, 1st Edition. Computer Science Press 1980
[Uh]: Ulrich Schiel: An Abstract Introduction to the Temporal-Hierarchic Data Model (THM). VLDB 1983: 322-330
[Ve]: Anne Verroust: Characterization of Well-Behaved Database Schemata and Their Update Semantics. VLDB 1983: 312-321
[Vi1]: Victor Vianu: Dynamic Constraints and Database Evolution. PODS 1983: 389-399
[Vi2]: Victor Vianu: Object Projection Views in the Dynamic Relational Model. PODS 1984: 214-220