Abstract
For a database application, conceptual design methods such as fact-oriented modelling and entity-relationship modelling are commonly used to specify a conceptual schema, which may then be mapped to a structure in a chosen data model (e.g. a relational database schema). Since conceptual data models support a rich variety of constraints, and these constraints may impact on one another, the task of ensuring mat the constraints expressed in a conceptual schema are consistent is non-trivial. Moreover, because different constraint patterns may be equivalent, some optimization may be needed to select the best constraint pattern for explicit assertion. With reference to conceptual schemas expressed in FOrML (an enhanced version of NIAM) mis paper discusses metarules for strong satisfiability and constraint preference, and outlines an efficient algorithm for validating four main types of constraints. Complexity analyses and benchmarks of the implemented algorithm are included.
Chapter PDF
References
Bry, F. & Manthey, R. 1986, ‘Checking Consistency of Database Constraints: a Logical Basic', Proc. Twelfth Int. Conf. on Very Large Data Bases, VLDB, Kyoto, pp. 13–20.
De Troyer, O., Meersman, R. & Verlinden, P. 1988, ‘RIDL* on the CRIS Case: a Workbench for NIAM', Computerized Assistance during the Information Systems Life Cycle: Proc. CRIS88, eds T.W. Olle, A.A. Verrijn-Stuart & L. Bhabuta, North-Holland, Amsterdam.
De Troyer, O. 1989, ‘RIDL*: A Tool for the Computer-Assisted Engineering of Large Databases in the Presence of Integrity Constraints', Proc. ACM-SIGMOD Int. Conf. on Management of Data, Oregon.
De Troyer, O. 1991, ‘The OO-Binary Relationship Model: a truly object-oriented conceptual model', Advanced Information Systems Engineering: Proc. CAiSE-91, Springer-Verlag Lecture Notes in Computer Science, no. 498, Trondheim.
Halpin, T.A. 1989, ‘A Logical Analysis of Information Systems: static aspects of the data-oriented perspective', PhD thesis, University of Queensland.
Halpin, T.A. 1991a, ‘Optimizing Global Conceptual Schemas', Databases in the 1990s: 2, eds B. Srinivasan & J. Zeleznikov, World Scientific, Singapore.
Halpin, T.A. 1991b, ‘WISE: a Workbench for Information Systems Engineering', Proc. 2nd Workshop on Next Generation of CASE Tools, Trondheim.
Halpin, T.A. 1991c, ‘A Fact-Oriented Approach to Schema Transformation', Proc. MFDBS-91, Springer-Verlag Lec. Notes in Computer Science, no. 495, Rostock.
Halpin, T.A. 1992, ‘Fact-oriented schema optimization', to appear in Proc. CISMOD-92, India, July 1992.
Halpin, T.A. & Orlowska, M. E. 1992, ‘Fact-Oriented Modelling for Data Analysis', Journal of Information Systems, vol. 2, no. 2, Blackwell Scientific, Oxford.
Halpin, T.A. & Ritson, P.R. 1992, ‘Fact-Oriented Modelling and Null Values', Research and Practical Issues in Databases: Proc. 3rd Australian Database Conf., eds B. Srinivasan & J. Zeleznikov, World Scientific, Singapore.
Lundberg, B. 1983, ‘On Correctness of Information Models', Information Systems, vol. 8, no. 2, pp. 87–93, Pergamon Press.
Meyer, J., Weigand, H. & Wieringa, R. 1988, ‘Specifying Dynamic and Deontic Integrity Constraints', Rapport IR-175, Vrije Universiteit, Amsterdam.
Nijssen, G.M. & Halpin, T.A. 1989, Conceptual Schema and Relational Database Design: a fact-oriented approach, Prentice Hall, Sydney.
Qian, X. & Wiederhold, G. 1986, ‘Knowledge-based Integrity Constraint Validation', Proc. Twelfth Int. Conf. on Very Large Data Bases, Kyoto, pp. 3–12.
Rajagopalan, P. & Ling, T.W. 1987, ‘A method for semantic validation of a class of integrity constraints', Tech. Report, Uni. of Singapore.
Zhang, Y. & Orlowska, M.E. 1991, 'synthesizer+: an automatic tool for relational database design', Proc. 14th Australian Computer Science Conf., Sydney.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Halpin, T.A., McCormack, J.I. (1992). Automated validation of conceptual schema constraints. In: Loucopoulos, P. (eds) Advanced Information Systems Engineering. CAiSE 1992. Lecture Notes in Computer Science, vol 593. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035147
Download citation
DOI: https://doi.org/10.1007/BFb0035147
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55481-3
Online ISBN: 978-3-540-47099-1
eBook Packages: Springer Book Archive