Conceptual Schema Optimisation – Database Optimisation before sliding down the Waterfall

05/26/2021
by   Henderik A. Proper, et al.
0

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 specification 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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/14/2020

A new approach for extracting the conceptual schema of texts based on the linguistic Thematic Progression theory

The purpose of this article is to present a new approach for the discove...
research
04/11/2023

Static Analysis of Graph Database Transformations

We investigate graph transformations, defined using Datalog-like rules b...
research
07/02/2020

ER model Partitioning: Towards Trustworthy Automated Systems Development

In database development, a conceptual model is created, in the form of a...
research
10/24/2019

Toward Co-existing Database Schemas based on Bidirectional Transformation

According to strong demands for rapid and reliable software delivery, co...
research
02/13/2023

Right-Adjoints for Datalog Programs, and Homomorphism Dualities over Restricted Classes

A Datalog program can be viewed as a syntactic specification of a functo...
research
05/20/2021

Generating Significant Examples for Conceptual Schema Validation

This report bases itself on the idea of using concrete examples to verif...
research
11/24/2022

Enhanced Inversion of Schema Evolution with Provenance

Long-term data-driven studies have become indispensable in many areas of...

Please sign up or login with your details

Forgot password? Click here to reset