FORMAL DEFINITION OF A CONCEPTUAL LANGUAGE FOR THE DESCRIPTION AND MANIPULATION OF INFORMATION MODELS

Conceptual data modelhng techniques aim at the representation of data at a high level of abstraction. This implies that conceptual data modelling techniques should not only be capable of naturally representing complex structures, but also the rules (constraint) that must hold for these structures. Contemporary data modelling techniques, however, do not provide a language, which on the one hand has a formal semantics and on the other hand leads to natural looking expressions, for formulating these constraints. In this paper such a language is defined for an existing data modelling technique (PSM), which is a generalisation of object-role models (such as ER or NIAM). In this language not only constraints, but also queries and updates can be expressed on a conceptual level.

[1]  William C. Gorham,et al.  COMRADE data management system , 1973, AFIPS National Computer Conference.

[2]  Eckhard D. Falkenberg,et al.  A Conceptual Framework for Evolving Information Systems , 1991, DMIS.

[3]  Serge Abiteboul,et al.  IFO: A Formal Semantic Database Model , 1987, ACM Trans. Database Syst..

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

[5]  JungleA,et al.  Formalisation of Techniques : Chopping down the Methodology , 1993 .

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

[7]  Peter Bruza,et al.  Stratified Hypermedia Structures for Information Disclosure , 1992, Comput. J..

[8]  J. J. van Griethuysen,et al.  A Logic-Based Information Modelling Language , 1987, Data Knowl. Eng..

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

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

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

[12]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[13]  Ronald Regan,et al.  Basic Set Theory , 2000 .

[14]  David W. Shipman.  The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

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

[16]  Edgar H. Sibley,et al.  Evolution of Data-Base Management Systems , 1976, CSUR.

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

[18]  Arthur H. M. ter Hofstede,et al.  Task structure semantics through process algebra , 1993, Softw. Eng. J..

[19]  Edward Yourdon,et al.  Modern structured analysis , 1989 .

[20]  E. Boiten.  Views of Formal Program Development , 1992 .

[21]  Art Lew.  Computer science, a mathematical introduction , 1985 .

[22]  Benjamin Pfaff.  Formal Techniques For Data Base Design , 2016 .

[23]  Eckhard D. Falkenberg,et al.  Evolving Information Systems: Beyond Temporal Information Systems , 1992, DEXA.

[24]  J. J. V. R. Wintraecken,et al.  The NIAM Information Analysis Method , 1990, Springer Netherlands.

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

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

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

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

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

[30]  Helmuth Partsch,et al.  Specification and Transformation of Programs - A Formal Approach to Software Development , 1990, Texts and Monographs in Computer Science.

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

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

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

[34]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

[35]  Maria E. Orlowska,et al.  Fact‐oriented modelling for data analysis , 1992, Inf. Syst. J..

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

[37]  A.H.M. ter Hofstede,et al.  Information modelling in data intensive domains , 1993 .

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