Enhancing the quality of conceptual database specifications through validation

  • Andreas Zamperoni
  • Perdita Löhr-Richter
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 823)


In this article, we present a validation approach and method to support the development of database applications. We explain how validation can cope both with the need for a formalized evaluation of correctness as well as the need for prototyping of conceptual database schemata. We define different levels of correctness for such schemata and show how these levels can be achieved through validation methods. Furthermore, we describe how our validation framework can be applied to other conceptual specifications.


Dependency Graph Object Class Entity Type Integrity Constraint Relationship Type 
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. [Be 84]
    Beizer, B.: Software System Testing and Quality Assurance. Van Nostrand Reinhold Company, USA 1984Google Scholar
  2. [Be 91]
    Bernot, G.: Testing Against Formal Specifications: a Theoretical View. Rapport de Recherche du Laboratoire d'Informatique, URA 1327 du CNRS, Departement de Mathematique ed d'Informatique, Ecole Normale Superieure, Paris, January 1991Google Scholar
  3. [BrMa 86]
    Bry, F.; Manthey, R.: “Checking Consistency of Database Constraints: A Logical Basis”, Proc. 12th Int. Conf. Very Large Data Bases, Kyoto, Japan 1986 (13–20)Google Scholar
  4. [Ch 76]
    Chen, P.: “The Entity-Relationship Model — Toward a Unified View of Data” In: ACM Transactions on Database Systems, Vol.1, No.1, March 1976 (9–36)CrossRefGoogle Scholar
  5. [DeDa 89]
    Delcambre, L.; Davis, K.: “Automatic Validation of Object-Oriented Database Structures”, Proc. 5th Int. Conf. Data Engineering, Los Angeles, California, IEEE Computer Society, 1989 (2–9)Google Scholar
  6. [EGHH+ 92]
    Engels, G.; Gogolla, M.; Hohenstein, U.; Hülsmann, K.; Löhr-Richter, P.; Saake, G.; Ehrich, H.-D.: “Conceptual Modelling of Database Applications Using an Extended ER Model”, In: Data & Knowledge Engineering, North-Holland, 9(2), 1992 (157–204)Google Scholar
  7. [GhJM 91]
    Ghezzi, C.; Jazayeri, M.; Mandrioli, D.: Fundamentals of Software Engineering. Prentice-Hall International, USA 1991Google Scholar
  8. [HuKi 89]
    Hull, R.; King, R.: “Semantic Database Modeling: Survey, Applications, and Research Issues”, In: ACM Computing Surveys, Vol.19, No. 3, 1989 (201–260)CrossRefGoogle Scholar
  9. [JSHa 91]
    Jungclaus, R.; Saake, G.; Hartmann, T.: “Language Features for Object-Oriented Conceptual Modeling”, Proc. 10th Int. Conf. on Entity-Relationship Approach, Teory, T. (ed.), San Mateo (CA), 1991 (309–324)Google Scholar
  10. [NMLo 93]
    Neufeld, A.; Moerkotte, G.; Lockemann, D.: “Generating Consistent Test Data: Restricting the Search Space by a Generator Formula”, In: The VLDB Journal, 2(2), 1993, (173–213)CrossRefGoogle Scholar
  11. [LeNo 90]
    Lenzerini, M.; Nobili, P.: “On the Satisfiability of Dependency Constraints in Entity-Relationship Schemata”, In: Information Systems, Vol.15, No.4, 1990 (453–461)CrossRefGoogle Scholar
  12. [Lö 92]
    Löhr-Richter, P.: “Basic Units for the Database Design Process”, Studer, R. (Hrsg.): Proc. 2nd Workshop Informationssysteme und Künstliche Intelligenz: Modellierung, Ulm, Feb. 1992, Informatik-Fachberichte 303, Springer-Verlag, 1992 (56–67)Google Scholar
  13. [Ma 74]
    Manna, Z.: Mathematical Theory of Computation. Mc Graw-Hill, USA 1974Google Scholar
  14. [OsCl 92]
    Osterweil, L.; Clark, L.A.: “A Proposed Testing and Analysis Research Initiative”, In: IEEE Software, Vol.9, No.5, 1992 (89–96)CrossRefGoogle Scholar
  15. [PaSt 82]
    Papadimitriou, C. / Steiglitz, K.: Combinatorial Optimization — Algorithms and Complexity. Prentice-Hall, USA 1982Google Scholar
  16. [WaFu 89]
    Wallace, D.R., Fuji, R.U.: “Software Verification and Validation: An Overview”, In: IEEE Software, Vol.6, No.3, 1989 (10–17)CrossRefGoogle Scholar
  17. [Za 92]
    Zamperoni, A.: “A Conceptual Framework for the Generation of Logical Models for EER Schemata”, Diploma Thesis (german), Technical University of Braunschweig, 1992Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Andreas Zamperoni
    • 1
  • Perdita Löhr-Richter
    • 2
  1. 1.Dept. of Computer ScienceLeiden UniversityCA LeidenThe Netherlands
  2. 2.Dept. of Computer ScienceTechnical University of BraunschweigBraunschweigGermany

Personalised recommendations