Using a query language to state consistency constraints for repositories

  • Andreas Henrich
  • Dirk Däberitz
Advanced Database and Information Systems Methods 1
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1134)


Modern system development environments usually deploy the object management facilities of a repository to store the documents created and maintained during system development. In this paper we present a pragmatic approach to express various levels of consistency for the data maintained in such a repository. The levels of consistency are achieved by means of a query language. Consistency constraints are stated as queries searching for inconsistent items in the repository. The queries are handled by a generic analyzer, which checks the defined constraints whenever appropriate. Furthermore, we present a general classification schema for consistency constraints and describe how different classes of constraints are handled by our approach.


Query Language Object Type Realization Mode Link Type Consistency Constraint 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    C. Bauzer-Medeiros and P. Pfeffer. Object Integrity Using Rules. In Proc. European Conf. on Object-Oriented Programming, volume 512 of LNCS, pages 219–230, Geneva, Switzerland, 1991.Google Scholar
  2. 2.
    R. Cattell, editor. The Object Database Standard: ODMG-93. Morgan Kaufmann, San Mateo, Calif., USA, 1993.Google Scholar
  3. 3.
    S. Ceri, P. Fraternali, and S. Paraboschi. Constraint Management in Chimera. Data Engineering Bulletin, 17(2):4–8, 1994.Google Scholar
  4. 4.
    S. Ceri and J. Widom. Deriving Production Rules for Constraint Maintenance. In Proc. 16th Intl. Conf. on VLDB, pages 566–577, Brisbane, Australia, 1990.Google Scholar
  5. 5.
    D. Däberitz and U. Kelter. Rapid prototyping of graphical editors in an open SDE. In Proc. 7th Conf. on Software Engineering Environments, pages 61–72, Noordwijkerhout, 1995.Google Scholar
  6. 6.
    O. Deux. The O2 System. Comm. of the ACM, 34(10):34–48, October 1991.CrossRefGoogle Scholar
  7. 7.
    W. Emmrich. Tool Construction for Process-Centered Software Development Environments based on Object Databases. University of Paderborn, Germany, 1995.Google Scholar
  8. 8.
    G. Engels and W. Schäfer. Program Development Environments — Concepts and Realization. Teubner, Stuttgart, 1989. (in German).Google Scholar
  9. 9.
    S. Gatziu and K.R. Dittrich. Events in an Active Object-Oriented Database System. In Proc. 1st Intl. Workshop on Rules in Database Systems, Workshops in Computing, pages 23–39, Edinburgh, Scotland, 1994.Google Scholar
  10. 10.
    A. Geppert and K.R. Dittrich. Specification and Implementation of Consistency Constraints in Object-Oriented Database Systems: Applying Programming By Contract. In Proc. GI-Fachtagung “Datenbanksysteme für Büro, Technik und Wissenschaft”, Springer, Informatik aktuell, pages 322–337, Dresden, Germany, 1995.Google Scholar
  11. 11.
    P.W.P.J. Grefen, R.A. de By, and P.M.G. Apers. Integrity Control in Advanced Database Systems. Data Engineering Bulletin, 17(2):9–13, 1994.Google Scholar
  12. 12.
    A. Henrich. P-OQL: an OQL-Oriented Query Language for PCTE. In Proc. 7th Conf. on Software Engineering Environments, pages 48–60, Noordwijkerhout, 1995.Google Scholar
  13. 13.
    Andreas Henrich and Dirk Däberitz. Using a query language to state consistency constraints for repository-based system development environments. Interner Bericht 96/3, Universität Siegen, 1996.Google Scholar
  14. 14.
    R. Marti. An Approach Towards the Design of Software Development Systems. Verlag der Fachvereine, Zürich, Schweiz, 1994. (in German).Google Scholar
  15. 15.
    Portable Common Tool Environment — Abstract Specification / C Bindings. Standards ECMA-149/-158, 3rd edition, and ISO IS 13719-1/-2, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Andreas Henrich
    • 1
  • Dirk Däberitz
    • 1
  1. 1.Praktische Informatik, Fachbereich Elektrotechnik und InformatikUniversität SiegenSiegenGermany

Personalised recommendations