dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

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},
  editor    = {Moshe Y. Vardi},
  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, USA},
  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}
}

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 ...

Printed Edition

Moshe Y. Vardi (Ed.): Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California, USA. ACM 1987, ISBN 0-89791-223-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Online Edition: ACM Digital Library


References

[AV1]
Serge Abiteboul, Victor Vianu: Transactions in Relational Databases (Preliminary Report). VLDB 1984: 46-56 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AV2]
Serge Abiteboul, Victor Vianu: Equivalence and optimization of relational transactions. J. ACM 35(1): 70-120(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AV3]
Serge Abiteboul, Victor Vianu: Transactions and Integrity Constraints. PODS 1985: 193-204 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BG]
Philip A. Bernstein, Nathan Goodman: Concurrency Control in Distributed Database Systems. ACM Comput. Surv. 13(2): 185-221(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[B]
Michael L. Brodie: On Modelling Behavioural Semantics of Databases. VLDB 1981: 32-42 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CCF]
José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CW]
James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[DAZ]
Valeria De Antonellis, Bruna Zonta: Modelling Events a Data Base Application Design. VLDB 1981: 23-31 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[FUV]
Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[M]
David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[PBR]
...
[R]
...
[U]
...
[Uh]
Ulrich Schiel: An Abstract Introduction to the Temporal-Hierarchic Data Model (THM). VLDB 1983: 322-330 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[V]
Victor Vianu: Dynamic Constraints and Database Evolution. PODS 1983: 389-399 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Fri Sep 14 17:28:26 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page