Expressiveness in Conceptual Data Modelling

Abstract Conceptual data modelling techniques aim at the representation of data at a high level of abstraction. The Conceptualisation Principle states that only those aspects are to be represented that deal with the meaning of the Universe of Discourse. Conventional conceptual data modelling techniques, as e.g. ER or NIAM, have to violate the Conceptualisation Principle when dealing with objects with a complex structure. In order to represent these objects conceptually irrelevant choices have to be made. It is even worse: sometimes the Universe of Discouse has to be adapted to suit the modelling technique. These objects typically occur in domains as meta-modelling, hypermedia and CAD/CAM. In this paper extensions to an existing data modelling technique (NIAM) will be discussed and formally defined, that make it possible to naturally represent objects with complex structures without having to violate the Conceptualisation Principle. These extensions will be motivated from a practical point of view by examples and from a theoretical point of view by a comparison with the expressive power of formal set theory and grammar theory.

[1]  Arthur H. M. ter Hofstede,et al.  Formalization of techniques: chopping down the methodology jungle , 1992, Inf. Softw. Technol..

[2]  Arthur H. M. ter Hofstede,et al.  Uniquest: Determining the Semantics of Complex Uniqueness Constraints , 1992, Comput. J..

[3]  Bertrand Meyer,et al.  Introduction to the Theory of Programming Languages , 1990 .

[4]  Peter Bruza,et al.  A Transaction Model for Hypertext , 1991, DEXA.

[5]  Richard S. Bird,et al.  Introduction to functional programming , 1988, Prentice Hall International series in computer science.

[6]  Hans-Jörg Schek,et al.  The relational model with relation-valued attributes , 1986, Inf. Syst..

[7]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

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

[9]  Michael A. Arbib,et al.  An Introduction to Formal Language Theory , 1988, Texts and Monographs in Computer Science.

[10]  Gert Scheschonk.  Eine auf Petri-Netzen basierende Konstruktions-, Analyse- und (Teil-)Verifikationsmethode zur Modellierungsunterstützung bei der Entwicklung von Informationssystemen , 1984 .

[11]  Ron Weber,et al.  An Ontological Analysis of some Fundamental Information Systems Concepts , 1988, ICIS.

[12]  Olga De Troyer.  On Rule-Based Generation of Conceptual Database Updates , 1986, DS-2.

[13]  Serge Abiteboul,et al.  IFO: a formal semantic database model , 1987, TODS.

[14]  D. A Jardine,et al.  Concepts and terminology for the conceptual schema and the information base , 1984 .

[15]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[16]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[17]  G. M. Nijssen,et al.  Conceptual schema and relational database design - a fact oriented approach , 1989 .

[18]  Arthur H. M. ter Hofstede,et al.  Structuring Modelling Knowledge for CASE Shells , 1991, CAiSE.

[19]  Gabriel M. Kuper,et al.  On the expressive power of the logical data model: prelimiary report , 1985, SIGMOD '85.

[20]  Peter Bruza,et al.  Two Level Hypermedia An Improved Architecture for Hypertext , 1990, DEXA.

[21]  Richard J. Welke,et al.  The case repository: more than another database application , 1992 .

[22]  W. Hatcher.  The logical foundations of mathematics , 1981 .

[23]  Arthur H. M. ter Hofstede,et al.  Semantics and verification of object-role models , 1991, Inf. Syst..

[24]  Robert Meersman,et al.  RIDL on the CRIS Case: A Workbench for NIAM , 1988, Computerized Assistance During the Information Systems Life Cycle.

[25]  Joan M. Smith,et al.  Standard Generalized Markup Language and related standards , 1989, Comput. Commun..

[26]  David Maier,et al.  The Theory of Relational Databases , 1983 .

[27]  R. Hunter,et al.  ODA: a document architecture for open systems , 1989, Comput. Commun..