Skip to main content
SpringerLink
Log in

Enhancing the quality of conceptual database specifications through validation

  • Conference paper
  • First Online:
Entity-Relationship Approach — ER '93 (ER 1993)

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

Included in the following conference series:

Abstract

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.

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

  1. Beizer, B.: Software System Testing and Quality Assurance. Van Nostrand Reinhold Company, USA 1984

    Google Scholar 

  2. 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 1991

    Google Scholar 

  3. 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. 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)

    Article  Google Scholar 

  5. 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. 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. Ghezzi, C.; Jazayeri, M.; Mandrioli, D.: Fundamentals of Software Engineering. Prentice-Hall International, USA 1991

    Google Scholar 

  8. Hull, R.; King, R.: “Semantic Database Modeling: Survey, Applications, and Research Issues”, In: ACM Computing Surveys, Vol.19, No. 3, 1989 (201–260)

    Article  Google Scholar 

  9. 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. 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)

    Article  Google Scholar 

  11. Lenzerini, M.; Nobili, P.: “On the Satisfiability of Dependency Constraints in Entity-Relationship Schemata”, In: Information Systems, Vol.15, No.4, 1990 (453–461)

    Article  Google Scholar 

  12. 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. Manna, Z.: Mathematical Theory of Computation. Mc Graw-Hill, USA 1974

    Google Scholar 

  14. Osterweil, L.; Clark, L.A.: “A Proposed Testing and Analysis Research Initiative”, In: IEEE Software, Vol.9, No.5, 1992 (89–96)

    Article  Google Scholar 

  15. Papadimitriou, C. / Steiglitz, K.: Combinatorial Optimization — Algorithms and Complexity. Prentice-Hall, USA 1982

    Google Scholar 

  16. Wallace, D.R., Fuji, R.U.: “Software Verification and Validation: An Overview”, In: IEEE Software, Vol.6, No.3, 1989 (10–17)

    Article  Google Scholar 

  17. Zamperoni, A.: “A Conceptual Framework for the Generation of Logical Models for EER Schemata”, Diploma Thesis (german), Technical University of Braunschweig, 1992

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, Leiden University, Niels Bohrweg 2, 2333, CA Leiden, The Netherlands

    Andreas Zamperoni

  2. Dept. of Computer Science, Technical University of Braunschweig, Gaußstr. 12, 38106, Braunschweig, Germany

    Perdita Löhr-Richter

Authors
  1. Andreas Zamperoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Perdita Löhr-Richter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ramez A. Elmasri Vram Kouramajian Bernhard Thalheim

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zamperoni, A., Löhr-Richter, P. (1994). Enhancing the quality of conceptual database specifications through validation. In: Elmasri, R.A., Kouramajian, V., Thalheim, B. (eds) Entity-Relationship Approach — ER '93. ER 1993. Lecture Notes in Computer Science, vol 823. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024359

Download citation

  • DOI: https://doi.org/10.1007/BFb0024359

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-48575-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation