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}
}
BibTeX
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
CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
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 BibTeX
References
- [AH]
- Serge Abiteboul, Richard Hull:
IFO: A Formal Semantic Database Model.
PODS 1984: 119-132 BibTeX
- [AV]
- ...
- [BS]
- François Bancilhon, Nicolas Spyratos:
Update Semantics of Relational Views.
ACM Trans. Database Syst. 6(4): 557-575(1981) BibTeX
- [BG]
- Philip A. Bernstein, Nathan Goodman:
Concurrency Control in Distributed Database Systems.
ACM Comput. Surv. 13(2): 185-221(1981) BibTeX
- [Br]
- Michael L. Brodie:
On Modelling Behavioural Semantics of Databases.
VLDB 1981: 32-42 BibTeX
- [C]
- E. F. Codd:
A Relational Model of Data for Large Shared Data Banks.
Commun. ACM 13(6): 377-387(1970) BibTeX
- [CCF]
- José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado:
A Temporal Framework for Database Specifications.
VLDB 1982: 280-291 BibTeX
- [CW]
- James Clifford, David Scott Warren:
Formal Semantics for Time in Databases.
ACM Trans. Database Syst. 8(2): 214-254(1983) BibTeX
- [DeAZ]
- Valeria De Antonellis, Bruna Zonta:
Modelling Events a Data Base Application Design.
VLDB 1981: 23-31 BibTeX
- [FUV]
- Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi:
On the Semantics of Updates in Databases.
PODS 1983: 352-365 BibTeX
- [HK]
- ...
- [INGRES]
- ...
- [M]
- David Maier:
The Theory of Relational Databases.
Computer Science Press 1983, ISBN 0-914894-42-0
Contents BibTeX
- [PBR]
- ...
- [R]
- ...
- [Ul]
- Jeffrey D. Ullman:
Principles of Database Systems, 1st Edition.
Computer Science Press 1980
BibTeX
- [Uh]
- Ulrich Schiel:
An Abstract Introduction to the Temporal-Hierarchic Data Model (THM).
VLDB 1983: 322-330 BibTeX
- [Ve]
- Anne Verroust:
Characterization of Well-Behaved Database Schemata and Their Update Semantics.
VLDB 1983: 312-321 BibTeX
- [Vi1]
- Victor Vianu:
Dynamic Constraints and Database Evolution.
PODS 1983: 389-399 BibTeX
- [Vi2]
- Victor Vianu:
Object Projection Views in the Dynamic Relational Model.
PODS 1984: 214-220 BibTeX
Referenced by
- Dino Karabeg, Victor Vianu:
Simplification Rules and Complete Axiomatization for Relational Update Transactions.
ACM Trans. Database Syst. 16(3): 439-475(1991)
- Ken-Chih Liu, Rajshekhar Sunderraman:
A Generalized Relational Model for Indefinite and Maybe Information.
IEEE Trans. Knowl. Data Eng. 3(1): 65-77(1991)
- Ken-Chih Liu, Rajshekhar Sunderraman:
On Representing Indefinite and Maybe Information in Relational Databases: A Generalization.
ICDE 1990: 495-502
- Victor Vianu, Gottfried Vossen:
Goal-Oriented Concurrency Control.
MFDBS 1989: 398-414
- Victor Vianu, Gottfried Vossen:
Conceptual Level Concurrency Control of Relational Update Transactions.
ICDT 1988: 353-367
- Ken-Chih Liu, Rajshekhar Sunderraman:
On Representing Indefinite and Maybe Information in Relational Databases.
ICDE 1988: 250-257
- Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu:
Axiomatization and Simplification Rules for Relational Transactions.
PODS 1987: 254-259
- Serge Abiteboul, Victor Vianu:
A Transcation Language Complete for Database Update and Specification.
PODS 1987: 260-268
- Joachim Biskup, Uwe Räsch:
The Equivalence Problem For Relational Database Schemes.
MFDBS 1987: 42-70
- Serge Abiteboul, Victor Vianu:
Deciding Properties of Transactional Schemas.
PODS 1986: 235-239
- Serge Abiteboul, Gösta Grahne:
Update Semantics for Incomplete Databases.
VLDB 1985: 1-12
- Serge Abiteboul, Victor Vianu:
Transactions and Integrity Constraints.
PODS 1985: 193-204
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:45:21 2009