Conceptual Schema Optimisation - Database Optimisation before sliding down the Waterfall

In this article we discuss an approach to database optimisation in which a conceptual schema is optimised by applying a sequence of transformations. By performing these optimisations on the conceptual schema, a large part of the database optimisation can be done before actually sliding down the software development waterfall. When optimising schemas, one would like to preserve some level of equivalence between the schemas before and after a transformation. We distinguish between two classes of equivalence, one based on the mathematical semantics of the conceptual schemas, and one on conceptual preference by humans. As a medium for the schema transformations we use the universe of all (correct) conceptual schemas. A schema transformation process can then be seen as a journey (a schema- time worm) within this universe. The underlying theory is conveyed intuitively with sample transformations, and formalised within the framework of Object-Role Modelling. A metalanguage is introduced for the specication of transformations, and more importantly their semantics. While the discussion focusses on the data perspective, the approach has a high level of generality and is extensible to process and behaviour perspectives.

[1]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[2]  Linda Campbell Adding a New Dimension to Flat Conceptual Modeling , 1994, ORM.

[3]  Peretz Shoval,et al.  ADDS: A System for Automatic Database Schema Design Based on the Binary-Relationship Model , 1987, Data Knowl. Eng..

[4]  John F. Roddick,et al.  Temporal semantics in information systems - a survey , 1992, Inf. Syst..

[5]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[6]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[7]  Arthur H. M. ter Hofstede,et al.  Expressiveness in Conceptual Data Modelling , 1993, Data Knowl. Eng..

[8]  Shamkant B. Navathe,et al.  Conceptual Database Design: An Entity-Relationship Approach , 1991 .

[9]  Peretz Shoval,et al.  Database Reverse Engineering: From the Relational to the Binary Relationship model , 1993, Data Knowl. Eng..

[10]  Henderik Alex Proper,et al.  A unifying object role modelling theory , 1995, Inf. Syst..

[11]  G. M. Nijssen An Axiom and Architecture for Information Systems , 1989, ISCO.

[12]  Sonia Berman A semantic data model as the basis for an automated database design tool , 1986, Inf. Syst..

[13]  Friedrich L. Bauer,et al.  Systematics of Transformation Rules , 1978, Program Construction.

[14]  Veda C. Storey,et al.  Reverse Engineering of Relational Databases: Extraction of an EER Model from a Relational Database , 1994, Data Knowl. Eng..

[15]  Henderik Alex Proper,et al.  Information Disclosure in Evolving Information Systems: Taking as Shot at a Moving Target , 1995, Data Knowl. Eng..

[16]  Linda Campbell,et al.  Abstraction techniques for Conceptual Schema , 1994, Australasian Database Conference.

[17]  Gill Smith,et al.  Object-oriented analysis , 1988, WADAS '88.

[18]  M. A.H.,et al.  FORMAL DEFINITION OF A CONCEPTUAL LANGUAGE FOR THE DESCRIPTION AND MANIPULATION OF INFORMATION MODELS , 2017 .

[19]  Terry A. Halpin,et al.  Automated Mapping of Conceptual Schemas to Relational Schemas , 1993, CAiSE.

[20]  Isamu Kobayashi,et al.  Losslessness and semantic correctness of database schema transformation: another look of schema equivalence , 1986, Inf. Syst..

[21]  Katalin Kalman,et al.  Implementation and Critique of an Algorithm which Maps a Relational Database to a Conceptual Model , 1991, CAiSE.

[22]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[23]  Terry Halpin,et al.  Conceptual Schema and Relational Database Design , 1995 .

[24]  Arthur H. M. ter Hofstede,et al.  Exploiting Fact Verbalisation in Conceptual Information Modelling , 1997, Inf. Syst..

[25]  Ramez Elmasri,et al.  The Category Concept: An Extension to the Entity-Relationship Model , 1985, Data Knowl. Eng..

[26]  A.H.M. ter Hofstede,et al.  Deriving Identity from Extensionality , 1998, Int. J. Softw. Eng. Knowl. Eng..

[27]  Isamu Kobayashi Classification and transformations of binary relationship relation schemata , 1986, Inf. Syst..

[28]  Peter Ronald Ritson Use of conceptual schemas for a relational implementation , 1994 .

[29]  Naphtali Rishe,et al.  A Methodology and Tool for Top-Down Relational Database Design , 1993, Data Knowl. Eng..

[30]  Patrick van Bommel,et al.  Implementation Selection for Object-Role Models , 1994, ORM.

[31]  J. V. R. Wintraecken,et al.  The NIAM Information Analysis Method: Theory and Practice , 1990 .

[32]  Arthur H. M. ter Hofstede,et al.  Data Modelling in Complex Application Domains , 1992, CAiSE.

[33]  Henderik Alex Proper,et al.  Subtyping and Polymorphism in Object-Role Modelling , 1995, Data Knowl. Eng..

[34]  Friedrich L. Bauer,et al.  Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming , 1989, IEEE Trans. Software Eng..

[35]  Gerald Kristen Object orientation - the KISS method: from information architecture to information system , 1994 .

[36]  Henderik Alex Proper,et al.  Conceptual Schemas with Abstractions: Making Flat Conceptual Schemas More Comprehensible , 1996, Data Knowl. Eng..

[37]  Ralf Steinbrüggen,et al.  Program Transformation Systems , 1983, CSUR.

[38]  Patrick van Bommel,et al.  Reducing the search space for conceptual schema transformation , 1992, Data Knowl. Eng..

[39]  C. M. R. Leung,et al.  Relational database design using the NIAM conceptual schema , 1988, Inf. Syst..

[40]  Olga De Troyer On data schema transformations , 1993 .

[41]  W. Alex Gray,et al.  An Approach to Eliciting the Semantics of Relational Databases , 1992, CAiSE.

[42]  H. A. Proper,et al.  A General Theory for the Evolution of Application Models -- Full version , 2021, 2105.11308.

[43]  Peter N. Creasy,et al.  A Generic Model for 3-Dimensional Conceptual Modelling , 1996, Data Knowl. Eng..

[44]  Terry Halpin A Logical Analysis of Information Systems: static aspects of the data-oriented perspective , 1989 .

[45]  H. A. Proper,et al.  A note on Schema Equivalence , 1992 .

[46]  Henderik Alex Proper,et al.  EVORM: A Conceptual Modelling Technique for Evolving Application Domains , 1994, Data Knowl. Eng..

[47]  Terry A. Halpin A Fact-Oriented Approach to Schema Transformation , 1991, MFDBS.

[48]  Henderik Alex Proper,et al.  A theory for conceptual modelling of evolving application domains , 1994 .

[49]  Arthur H. M. ter Hofstede,et al.  Fact Orientation in Complex Object Role Modelling Techniques , 1994, ORM.