Axiomatization and Simplification Rules for Relational Transactions.
Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu:
Axiomatization and Simplification Rules for Relational Transactions.
PODS 1987: 254-259@inproceedings{DBLP:conf/pods/KarabegKPV87,
author = {Almira Karabeg and
Dino Karabeg and
Kostoula Papakonstantinou and
Victor Vianu},
title = {Axiomatization and Simplification Rules for Relational Transactions},
booktitle = {Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on
Principles of Database Systems, March 23-25, 1987, San Diego,
California},
publisher = {ACM},
year = {1987},
isbn = {0-89791-223-3},
pages = {254-259},
ee = {http://doi.acm.org/10.1145/28659.28687, db/conf/pods/KarabegKPV87.html},
crossref = {DBLP:conf/pods/87},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98.
and ...
Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings.
and ...
BibTeX
Printed Edition
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California.
ACM 1987, ISBN 0-89791-223-3
Contents BibTeX
References
- [AV1]
- Serge Abiteboul, Victor Vianu:
Transactions in Relational Databases (Preliminary Report).
VLDB 1984: 46-56 BibTeX
- [AV2]
- Serge Abiteboul, Victor Vianu:
Equivalence and optimization of relational transactions.
J. ACM 35(1): 70-120(1988) BibTeX
- [AV3]
- Serge Abiteboul, Victor Vianu:
Transactions and Integrity Constraints.
PODS 1985: 193-204 BibTeX
- [BG]
- Philip A. Bernstein, Nathan Goodman:
Concurrency Control in Distributed Database Systems.
ACM Comput. Surv. 13(2): 185-221(1981) BibTeX
- [B]
- Michael L. Brodie:
On Modelling Behavioural Semantics of Databases.
VLDB 1981: 32-42 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
- [DAZ]
- 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
- [M]
- David Maier:
The Theory of Relational Databases.
Computer Science Press 1983, ISBN 0-914894-42-0
Contents BibTeX
- [PBR]
- ...
- [R]
- ...
- [U]
- ...
- [Uh]
- Ulrich Schiel:
An Abstract Introduction to the Temporal-Hierarchic Data Model (THM).
VLDB 1983: 322-330 BibTeX
- [V]
- Victor Vianu:
Dynamic Constraints and Database Evolution.
PODS 1983: 389-399 BibTeX
Referenced by
- 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
- Dino Karabeg, Victor Vianu:
Parallel Update Transactions (Extended Abstract).
ICDT 1988: 307-321
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
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:33:52 2009