Skip to main content
SpringerLink
Log in

Transaction-based specification of database evolution

  • Session 4a: Languages
  • Conference paper
  • First Online:
Conceptual Modeling — ER '97 (ER 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1331))

Included in the following conference series:

Abstract

We present a two-layer language for the specification of database evolution in terms of transaction-based, dynamic integrity constraints. The first language layer is based on first-order logic and it is used to express dynamic constraints in terms of queries on the transaction history of a database. The second layer uses a customizable combination of text and graphics and its semantics are defined in terms of the first-order language. Our language is orthogonal to state-based constraint languages and it can be used as a supplement to these. Also, our language can be used in combination with all object-based or entity-based data models. We use examples to illustrate the use of the specification language.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Brodie, M. L. (1980). “The Application of Data Types to Database Semantic Integrity.” Information Systems 5: 287–296.

    Google Scholar 

  • Brodie, M. L. and D. Ridjanovic (1984). “On the Design and Specification of Database Transactions”. Topics in Information Systems. On Conceptual Modeling. M. L. Brodie, J. Mylopoulos and J. W. Schmidt, Springer-Verlag: 277–312.

    Google Scholar 

  • Bækgaard, L. (1993). “Specification and Efficient Monitoring of Transaction Dependencies. Ph.D. Thesis”. Department of Mathematics and Computer Science, Aalborg University.

    Google Scholar 

  • Castilho, J. M. V. D., M. A. Casanova, et al. (1982). “A Temporal Framework for Database Specifications”. 8th International Conference on Very Large Databases, Mexico City, Mexico.

    Google Scholar 

  • Cervasato, I. and C. F. Eick (1992). “Specification and Enforcement of Dynamic Consistency Constraints”. CIKM'92. ISSM International Conference on Information and Knowledge Management, Baltimore, Maryland, USA.

    Google Scholar 

  • Chomicki, J. (1992). “History-Less Checking of Dynamic Integrity Constraints”. 8th International Conference on Data Engineering, Tempe, Arizona, USA, Computer Society Press.

    Google Scholar 

  • Codd, E. F. (1970). “A Relational Model of Data for Large Shared Data Banks.” Communications of the ACM 13(6): 377–387.

    Google Scholar 

  • Formica, A. and M. Missikoff (1992). “Adding Integrity Constraints to Object-Oriented Models”. CIKM'92. ISSM International Conference on Information and Knowledge Management, Baltimore, Maryland, USA.

    Google Scholar 

  • Gray, J. (1981). “The Transaction Concept. Virtues and Limitations”. VLDB'81. 7th International Conference on Very Large Databases, Cannes, France.

    Google Scholar 

  • Hall, G. and R. Gupta (1991). “Modeling Transition”. 7th International Conference on Data Engineering, Kobe, Japan, Computer Society Press.

    Google Scholar 

  • Hammer, H. and D. McLeod (1981). “Database Description with SDM. A Semantic Database Model.” ACM Transactions of Database Systems 6(3): 351–386.

    Google Scholar 

  • Jackson, M. (1983). System Development, Prentice-Hall.

    Google Scholar 

  • Kappel, G. and M. Schrefl (1991). “Object/Behavior Diagrams”. 7th International Conference on Data Engineering, Kobe, Japan, Computer Society Press.

    Google Scholar 

  • Khoshafian, S. and G. P. Copeland (1986). “Object Identity”. Object-Oriented Programming Systems, Languages, and Applications-86, ACM.

    Google Scholar 

  • Kim, W., Ed. (1995). Modern Database Systems. The Object Model, Interoperability, and Beyond, Addison-Wesley.

    Google Scholar 

  • Kim, W. and F. H. Lochocsky, Eds. (1989). Object-Oriented Concept, Databases, and Applications, ACM Press, Addison-Wesley Publishing Company.

    Google Scholar 

  • Kung, C. H. (1985). “On Verification of Temporal Database Constraints”. SIGMOD'85. International Conference on Management of Data, Austin, Texas, USA.

    Google Scholar 

  • Leonard, M. and B. Y. Luong (1981). “Information Systems Design Approach Integrating Data and Transactions”. VLDB'81. 7th International Conference on Very Large Databases, Cannes, France.

    Google Scholar 

  • Lipeck, U. W. (1986). “Stepwise Specification of Dynamic Database Behaviour”. SIGMOD'86. International Conference on Management of Data, Washington, D.C.

    Google Scholar 

  • Lipeck, U. W. and G. Saake (1987). “Monitoring Dynamic Integrity Constraints Based on Temporal Logic.” Information Systems 12(3): 255–269.

    Google Scholar 

  • Martin, H., M. Abida, et al. (1992). “Consistency Checking in Object-Oriented Databases. A Behavioral Approach”. CIKM'92. ISSM International Conference on Information and Knowledge Management, Baltimore, Maryland, USA.

    Google Scholar 

  • Motro, A. (1989). “Integrity = Validity + Completeness.” ACM Transaction on Database Systems 14(4): 480–502.

    Google Scholar 

  • Mück, T. and G. Vinek (1989). “Modeling Dynamic Constraints Using Augmented Place Transition Nets.” Information Systems 14(4): 327–340.

    Google Scholar 

  • Mylopoulos, J. (1992). “Conceptual Modeling and Telos”. Conceptual Modeling, Databases, and CASE. An Integrated View of Information Systems. P. Loucopoulos and R. Zicari, John Wiley & Sons.

    Google Scholar 

  • Ngu, A. H. H. (1984). “Transaction Modeling”. 5th International Conference on Data Engineering, Los Angeles, USA, Computer Society Press.

    Google Scholar 

  • Ngu, A. H. H. (1990). “Specification and Verification of Temporal Relationships in Transaction Modeling.” Information Systems 15(2): 257–267.

    Google Scholar 

  • Qian, X. (1988). “A Transaction Logic for Database Specification”. SIGMOD'88. International Conference on Management of Data, Chicago, Illinois, USA.

    Google Scholar 

  • Rosenquist, C. J. (1982). “Entity Life Cycle Models and their Applicability to Information Systems Development Life Cycles.” Computer Journal 25(3).

    Google Scholar 

  • Shipman, D. W. (1981). “The Functional Data Model and the Data Language DAPLEX.” ACM Transactions on Database Systems 6(1): 140–173.

    Google Scholar 

  • Simon, E. and P. Valduriez (1984). “Design and Implementation of an Extendible Integrity Subsystem”. SIGMOD'84. International Conference on Management of Data, Boston, USA.

    Google Scholar 

  • Stonebraker, M. (1975). “Implementation of Integrity Constraints and Views by Query Modification”. SIGMOD'75. Workshop on Management of Data, San Jose, California, USA.

    Google Scholar 

  • Vianu, V. (1988). “Database Survivability Under Dynamic Constraints.” Acta Informatica 25: 55–84.

    Google Scholar 

  • Wieringa, R., J.-J. Meyer, et al. (1989). “Specifying Dynamic and Deontic Integrity Constraints.” Data & Knowledge Engineering 4: 157–189.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Science, the Aarhus School of Business, Fuglesangs A116 4, DK-8210, Aarhus V, Denmark

    Lars Bækgaard

Authors
  1. Lars Bækgaard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

David W. Embley Robert C. Goldstein

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bækgaard, L. (1997). Transaction-based specification of database evolution. In: Embley, D.W., Goldstein, R.C. (eds) Conceptual Modeling — ER '97. ER 1997. Lecture Notes in Computer Science, vol 1331. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63699-4_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-63699-4_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63699-1

  • Online ISBN: 978-3-540-69630-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation