Automatic Verification of Transactions on an Object-Oriented Database.

@inproceedings{DBLP:conf/dbpl/SpeltB97,
  author    = {David Spelt and
               Herman Balsters},
  editor    = {Sophie Cluet and
               Richard Hull},
  title     = {Automatic Verification of Transactions on an Object-Oriented
               Database},
  booktitle = {Database Programming Languages, 6th International Workshop, DBPL-6,
               Estes Park, Colorado, USA, August 18-20, 1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1369},
  year      = {1997},
  isbn      = {3-540-64823-2},
  pages     = {396-412},
  ee        = {db/conf/dbpl/SpeltB97.html},
  crossref  = {DBLP:conf/dbpl/97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• 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/An2-5 or /cdrom

• 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

References

[1]

Piero Fraternali, Stefano Paraboschi: A Review of Repairing Techniques for Integrity Maintenance. Rules in Database Systems 1993: 333-346 BibTeX

[2]

Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368(1989) BibTeX

[3]

Véronique Benzaken, Anne Doucet: Thémis: a database programming language with integrity constraints. DBPL 1993: 243-262 BibTeX

[4]

Véronique Benzaken, Anne Doucet: Thémis: A Database Programming Language Handling Integrity Constraints. VLDB J. 4(3): 493-517(1995) BibTeX

[5]

Véronique Benzaken, Xavier Schaefer: Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. POS 1996: 72-87 BibTeX

[6]

Herman Balsters, Rolf A. de By, Roberto Zicari: Typed Sets as a Basis for Object-Oriented Database Schemas. ECOOP 1993: 161-184 BibTeX

[7]

...

[8]

Luca Cardelli: A Semantics of Multiple Inheritance. Inf. Comput. 76(2/3): 138-164(1988) BibTeX

[9]

Herman Balsters, Chris C. de Vreeze: A Semantics of Object-Oriented Sets. DBPL 1991: 203-217 BibTeX

[10]

R. G. G. Cattell: The Object Database Standard: ODMG-93 (Release 1.1). Morgan Kaufmann 1994
BibTeX

[11]

...

[12]

Joachim W. Schmidt, Ingrid Wetzel, Alexander Borgida, John Mylopoulos: Database Programming by Formal Refinement of Conceptual Designs. IEEE Data Eng. Bull. 12(3): 53-61(1989) BibTeX

[13]

...

[14]

...

[15]

Peter Buneman, Atsushi Ohori: A Type System that Reconsiles Classes and Extents. DBPL 1991: 191-202 BibTeX

[16]

Man Hon Wong, Divyakant Agrawal: Context-Specific Synchronization for Atomic Data Types in Object-Based Databases. Theor. Comput. Sci. 149(1): 179-199(1995) BibTeX

[17]

William E. Weihl: The Impact of Recovery on Concurrency Control. J. Comput. Syst. Sci. 47(1): 157-184(1993) BibTeX

[18]

David W. Stemple, Subhasish Mazumdar, Tim Sheard: On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference 1987: 374-386 BibTeX

Referenced by

1. Suad Alagic: A Family of the ODMG Object Models. ADBIS 1999: 14-30