Transaction-Based Specification of Database Evolution.

@inproceedings{DBLP:conf/er/Baekgaard97,
  author    = {Lars B{\ae}kgaard},
  editor    = {David W. Embley and
               Robert C. Goldstein},
  title     = {Transaction-Based Specification of Database Evolution},
  booktitle = {Conceptual Modeling - ER '97, 16th International Conference on
               Conceptual Modeling, Los Angeles, California, USA, November 3-5,
               1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1331},
  year      = {1997},
  isbn      = {3-540-63699-4},
  pages     = {127-140},
  ee        = {db/conf/er/Baekgaard97.html},
  crossref  = {DBLP:conf/er/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-1 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]

Michael L. Brodie: The application of data types to database semantic integrity. Inf. Syst. 5(4): 287-296(1980) BibTeX

[2]

Michael L. Brodie, Dzenan Ridjanovic: On the Design and Specification of Database Transactions. On Conceptual Modelling (Intervale) 1982: 277-312 BibTeX

[3]

...

[4]

José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291 BibTeX

[5]

...

[6]

Jan Chomicki: History-less Checking of Dynamic Integrity Constraints. ICDE 1992: 557-564 BibTeX

[7]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[8]

...

[9]

Jim Gray: The Transaction Concept: Virtues and Limitations (Invited Paper). VLDB 1981: 144-154 BibTeX

[10]

Gary Hall, Ranabir Gupta: Modeling Transition. ICDE 1991: 540-549 BibTeX

[11]

Michael Hammer, Dennis McLeod: Database Description with SDM: A Semantic Database Model. ACM Trans. Database Syst. 6(3): 351-386(1981) BibTeX

[12]

...

[13]

Gerti Kappel, Michael Schrefl: Object/Behavior Diagrams. ICDE 1991: 530-539 BibTeX

[14]

Setrag Khoshafian, George P. Copeland: Object Identity. OOPSLA 1986: 406-416 BibTeX

[15]

Won Kim (Ed.): Modern Database Systems: The Object Model, Interoperability, and Beyond. ACM Press and Addison-Wesley 1995, ISBN 0-201-59098-0
Contents BibTeX

[16]

Won Kim, Frederick H. Lochovsky (Eds.): Object-Oriented Concepts, Databases, and Applications. ACM Press and Addison-Wesley 1989, ISBN 0-201-14410-7
Contents BibTeX

[17]

David Chenho Kung: On Verification of Database Temporal Constraints. SIGMOD Conference 1985: 169-179 BibTeX

[18]

Michel Léonard, B. T. Luong: Information Systems Design Approach Integrating Data and Transactions. VLDB 1981: 235-246 BibTeX

[19]

Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397 BibTeX

[20]

Udo W. Lipeck, Gunter Saake: Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12(3): 255-269(1987) BibTeX

[21]

Hervé Martin, Michel E. Adiba, Bruno Defude: Consistency Checking in Object Oriented Databases: a Behavioral Approach. CIKM 1992: 53-68 BibTeX

[22]

Amihai Motro: Integrity = Validity + Completeness. ACM Trans. Database Syst. 14(4): 480-502(1989) BibTeX

[23]

Thomas A. Mück, Günther Vinek: Modelling dynamic constraints using augmented place transition nets. Inf. Syst. 14(4): 327-340(1989) BibTeX

[24]

...

[25]

Anne H. H. Ngu: Transaction Modeling. ICDE 1989: 234-241 BibTeX

[26]

Anne H. H. Ngu: Specification and verification of temporal relationships in transaction modelling. Inf. Syst. 15(2): 257-267(1990) BibTeX

[27]

Xiaolei Qian, Richard J. Waldinger: A Transaction Logic for Database Specification. SIGMOD Conference 1988: 243-250 BibTeX

[28]

C. J. Rosenquist: Entity Life Cycle Models and Their Applicability to Information Systems Development Life Cycles. Comput. J. 25(3): 307-315(1982) BibTeX

[29]

David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX

[30]

Eric Simon, Patrick Valduriez: Design and Implementation of an Extendible Integrity Subsystem. SIGMOD Conference 1984: 9-17 BibTeX

[31]

Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78 BibTeX

[32]

Victor Vianu: Database Survivability Under Dynamic Constraints. Acta Inf. 25(1): 55-84(1987) BibTeX

[33]

Roel Wieringa, John-Jules Ch. Meyer, Hans Weigand: Specifying Dynamic and Deontic Integrity Constraints. Data Knowl. Eng. 4: 157-189(1989) BibTeX