Skip to main content
SpringerLink
Log in
Book cover

International Conference on Database Theory

ICDT 1995: Database Theory — ICDT '95 pp 308–321Cite as

A first step towards implementing dynamic algebraic dependencies

  • Contributed Papers
  • Conference paper
  • First Online:

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

Abstract

We present a class of dynamic constraints (DADs) which are of pratical interest. The paper investigates in a constructive manner the definition of transaction-based specifications equivalent to DAD-constraint-based specifications. Our study shows the limitation of Abiteboul/Vianu's transaction schemas and proposes a generalization of transaction schemas based on regular expression on transactions.

This work is partially supported by the French Projects PRC BD3 and PRC IA.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. de Amo, S., Bidoit N.: Contraintes Dynamiques d'Inclusion et Schémas Transactionnels, Neuviemes Journées Bases de Donnees Avancéees (1993) 401–424

    Google Scholar 

  2. de Amo, S., Bidoit N.: Contraintes Dynamiques Algébriques et Schémas Transactionnels. Technical Report, LIPN, Université Paris 13, 1994.

    Google Scholar 

  3. Abiteboul, S., Vianu, V.: Transactions and Integrity Constraints, ACM SIGACT/SIGMOD Symp. on Principles of Database Systems (1985) 193–204.

    Google Scholar 

  4. Abiteboul, S., Vianu, V.: Transactions Languages for Database update and specification. I.N.R.I.A. Technical Report 715, September 1987.

    Google Scholar 

  5. Abiteboul, S., Vianu, V.: A Transaction-based Approach to Relational Database Specification, Journal of the ACM 36 4 (1989) 758–789.

    Google Scholar 

  6. Abiteboul, S., Vianu, V.: Procedural Languages for Database Queries and Updates, Proc. ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems (1988) 240–250

    Google Scholar 

  7. Abiteboul, S., Vianu, V.: The Connection of static constraints vith determinism and boundedness of dynamic specification, Proc. of the Third Int. Conf. on Data and Knowledge Bases (1988) 324–334

    Google Scholar 

  8. Brodie, M.L., Ridjanovic, D.: On the design and specification of database transactions, M.L. Brodie, J. Mylopoulos and J.W. Schmidt, editors, On Conceptual Modelling, Springer-Verlag(1984) 277–306

    Google Scholar 

  9. Chomicki, J.: History-less Checking of Dynamic Integrity Constraints, Int. Conf. on Data Engineering IEEE (1992) 557–564.

    Google Scholar 

  10. Castillo, I.M.V., Casanova, M.A., Furtado, A.L.: A Temporal Framework for Database Specifications, Proc. Int. Conf. on Very Large Data Bases(1982) 280–291.

    Google Scholar 

  11. Casanova, M.A., Furtado, A.L.: On the description of database transition constraints using temporal constraints, H. Gallaire, J. Minker and J.M. Nicolas, editors, Advances in Data Base Theory 2 Plenum Press, New York (1984) 221–236.

    Google Scholar 

  12. Casanova, M.A., Fagin, R., Papadimitriu, C.: Inclusion Dependencies and their Interaction with Functional Dependencies, 1st ACM SIGACT-SIGMOD Conf. on Principles of Database Systems (1982) 171–176.

    Google Scholar 

  13. Chomicki, J., Niwinski, D.: On the Feasibility of Checking Temporal Integrity Constraints, PODS 93.

    Google Scholar 

  14. Fiadeiro, J., Sernadas, A.: Specification and verification of Database Dynamics, Acta Informatica 25 (1988) 625–661

    Google Scholar 

  15. Lipeck, U.W., Saake, G.: Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems 12 (1987), s 255–269.

    Google Scholar 

  16. Kanellakis, P.C.: Elements of Relational Database Theory. Handbook of Theoretical Computer Science 2 1073–1156.

    Google Scholar 

  17. Maier, D.: The Theory of Relational Databases. Computer Science Press (1983)

    Google Scholar 

  18. Nicolas, J.-M.: Logic for improving integrity checking in relational databases, Acta Informaticae 18 (1982) 227–253

    Google Scholar 

  19. Su, J.: Dynamic Constraints and Object Migration, 17th Int. Conf. on Very Large Data Bases (1991) 233–242.

    Google Scholar 

  20. Ullman, J.D.: Principles of Database Systems, 2nd Edition, Computer Science Press (1982).

    Google Scholar 

  21. Vianu, V.: Dynamic Functional Dependencies and Database Aging., Journal of ACM 34-1 (1987) 28–59

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIPN - U.R.A. 1507 du CNRS, Av. Jean Baptiste Clément, 93430, Villetaneuse, France

    N. Bidoit & S. De Amo

  2. Universite Paris XIII - Institut Galilée, Av. Jean Baptiste Clément, 93430, Villetaneuse, France

    N. Bidoit & S. De Amo

Authors
  1. N. Bidoit
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. De Amo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Georg Gottlob Moshe Y. Vardi

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bidoit, N., De Amo, S. (1995). A first step towards implementing dynamic algebraic dependencies. In: Gottlob, G., Vardi, M.Y. (eds) Database Theory — ICDT '95. ICDT 1995. Lecture Notes in Computer Science, vol 893. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58907-4_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-58907-4_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58907-5

  • Online ISBN: 978-3-540-49136-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation