Conceptualschematomultiplelogicalschemas

Bx Examples Repository

Title: Conceptual schema to multiple logical schemas

Version: 0.1

Type: Sketch

Overview

The EU Horizon 2020 project Typhon has the example of a distributed data storage system. A single conceptual model (CM) links to many different components including relational and no-SQL databases, file stores, etc. Each component has its own logical schema (LS_i) using the internal concepts of that component (e.g. relational db - relational schema; rbd tables, rdbms types and operations, etc.). However, to determine whether pairs, triples … (up to all LS_i) of LS_i are consistent requires reference to the CM, which abstracts the relationships between all concepts.

Models

Suppose we have one conceptual schema (CM) which is supposed to be represented using a collection of logical schemas (LS_1, LS_2, LS_3, LS_4, LS_5).

example.png

Consistency

The multidirectional consistency relation is to be: every entity in the conceptual schema is to be present in exactly one logical schema while every binary relation in the logical schema must be present either in one of the logical schemas, if both its ends are in the same one, or between two, if its ends are represented in different logical schemas.

example_general.png

Consistency Restoration

There is a bx between each LS_i and CM, which maintains consistency between CM and LS_i. In particular, R_e is the relation concerning data entities, whereas R_a is the relation concerning the management of data attributes. However, to determine whether pairs, triples … (up to all LS_i) of LS_i are consistent with respect to R_a requires reference to the CM, which abstracts the relationships between all concepts. Thus, consistency between LS_1 and LS_2 references CM to establish how concepts in each LS_i are related in the overall system. This is a multx.

example_relation_check.png

Discussion

See below.

References [optional section]

The example comes from the EU H2020 Typhon project (https://www.typhon-project.org/). No bibliographic references yet.

Author(s)

Davide Di Ruscio, Fiona A.C. Polack, Martin Gogolla, Anthony Cleve, Dominique Blouin, Nuno Macedo

Reviewer(s)

none yet

Comments

This is where any member of the wiki can comment.

Artefacts [optional section]

davide.jpg

Formal descriptions, perhaps downloadable code, example inputs and outputs, virtual machine instances, diagrams…

Unless otherwise stated, the content of this page is licensed under GNU Free Documentation License.