License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05161.8
URN: urn:nbn:de:0030-drops-4254
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/425/
Go to the corresponding Portal


Gogolla, Martin

Tales of ER and RE Syntax and Semantics

pdf-format:
05161.GogollaMartin.Paper.425.pdf (0.4 MB)


Abstract

This paper explains how four model transformations between database
models work: (1) An ER (Entity-Relationship) database schema is
transformed into a collection of ER database states, (2) a
RE (Relational) database schema into a collection of RE database
states, (3) an ER database schema into a RE database schema, and (4) a
collection of ER database states into a collection of RE database
states. These four separate transformations may be viewed as a single
transformation between the ER datamodel and the RE datamodel.

The schemas are regarded as determining the syntax of the datamodels,
and the set of associated states is regarded as being the semantics of
the datamodels, because the states associate meaning with the
schemas. When one usually considers database models, one formally only
treats syntactical aspects, i.e., schemas, and handles the semantics
merely informally. Our approach allows to formally handle syntax and
semantics of database models and their transformation within a single
and uniform framework. The approach thus allows to precisely describe
properties of the datamodels and properties of the transformation.

The method behind our approach is to divide a language into a syntax
and semantics part and to describe a transformation between two
languages as a direction-neutral affair. Formal properties of the
languages to be transformed and formal properties of the
transformation are described uniformly. Transformation properties can
be properties regarding syntax and semantics. The method can be
applied not only to database languages but to transformations between
common computer science languages.

BibTeX - Entry

@InProceedings{gogolla:DagSemProc.05161.8,
  author =	{Gogolla, Martin},
  title =	{{Tales of ER and RE Syntax and Semantics}},
  booktitle =	{Transformation Techniques in Software Engineering},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5161},
  editor =	{James R. Cordy and Ralf L\"{a}mmel and Andreas Winter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2006/425},
  URN =		{urn:nbn:de:0030-drops-4254},
  doi =		{10.4230/DagSemProc.05161.8},
  annote =	{Keywords: Datamodel transformation, ER datamodel, Relational datamodel, Syntax and semantics of datamodels, Syntax and semantics of transformations, Metamodel}
}

Keywords: Datamodel transformation, ER datamodel, Relational datamodel, Syntax and semantics of datamodels, Syntax and semantics of transformations, Metamodel
Collection: 05161 - Transformation Techniques in Software Engineering
Issue Date: 2006
Date of publication: 07.03.2006


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI