A first step towards implementing dynamic algebraic dependencies

  • N. Bidoit
  • S. De Amo
Contributed Papers Constraints and Dependencies
Part of the Lecture Notes in Computer Science book series (LNCS, volume 893)


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.

Key words

Dynamic constraint Transaction schema Declarative and Operational specification of database schema 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    de Amo, S., Bidoit N.: Contraintes Dynamiques d'Inclusion et Schémas Transactionnels, Neuviemes Journées Bases de Donnees Avancéees (1993) 401–424Google Scholar
  2. 2.
    de Amo, S., Bidoit N.: Contraintes Dynamiques Algébriques et Schémas Transactionnels. Technical Report, LIPN, Université Paris 13, 1994.Google Scholar
  3. 3.
    Abiteboul, S., Vianu, V.: Transactions and Integrity Constraints, ACM SIGACT/SIGMOD Symp. on Principles of Database Systems (1985) 193–204.Google Scholar
  4. 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. 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. 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–250Google Scholar
  7. 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–334Google Scholar
  8. 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–306Google Scholar
  9. 9.
    Chomicki, J.: History-less Checking of Dynamic Integrity Constraints, Int. Conf. on Data Engineering IEEE (1992) 557–564.Google Scholar
  10. 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. 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. 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. 13.
    Chomicki, J., Niwinski, D.: On the Feasibility of Checking Temporal Integrity Constraints, PODS 93.Google Scholar
  14. 14.
    Fiadeiro, J., Sernadas, A.: Specification and verification of Database Dynamics, Acta Informatica 25 (1988) 625–661Google Scholar
  15. 15.
    Lipeck, U.W., Saake, G.: Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems 12 (1987), s 255–269.Google Scholar
  16. 16.
    Kanellakis, P.C.: Elements of Relational Database Theory. Handbook of Theoretical Computer Science 2 1073–1156.Google Scholar
  17. 17.
    Maier, D.: The Theory of Relational Databases. Computer Science Press (1983)Google Scholar
  18. 18.
    Nicolas, J.-M.: Logic for improving integrity checking in relational databases, Acta Informaticae 18 (1982) 227–253Google Scholar
  19. 19.
    Su, J.: Dynamic Constraints and Object Migration, 17th Int. Conf. on Very Large Data Bases (1991) 233–242.Google Scholar
  20. 20.
    Ullman, J.D.: Principles of Database Systems, 2nd Edition, Computer Science Press (1982).Google Scholar
  21. 21.
    Vianu, V.: Dynamic Functional Dependencies and Database Aging., Journal of ACM 34-1 (1987) 28–59Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • N. Bidoit
    • 1
    • 2
  • S. De Amo
    • 1
    • 2
  1. 1.LIPN - U.R.A. 1507 du CNRSVilletaneuseFrance
  2. 2.Universite Paris XIII - Institut GaliléeVilletaneuseFrance

Personalised recommendations