Formal De nition of a Conceptual Language for theDescription and Manipulation of Information

Conceptual data modelling 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 (constraints) 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 deened 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]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

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

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

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

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

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

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

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

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

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

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

[12]  Erich J. Neuhold,et al.  Formal techniques for data base design , 1986 .

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

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

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

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

[17]  Henk Barendregt,et al.  The Lambda Calculus: Its Syntax and Semantics , 1985 .

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

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

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

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

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

[23]  W. Shipman David,et al.  The functional data model and the data language DAPLEX , 1988 .

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

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

[26]  Henderik Alex Proper,et al.  An Information System organized as Stratied Hypermedia , 1993 .

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

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

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

[30]  Peter P. Chen.  The Entity-Relationship Model: Towards a unified view of Data , 1976 .

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

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

[33]  Helmut A. Partsch,et al.  Specification and transformation of programs , 1990 .

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

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

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

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

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

[39]  Azriel Levy.  Basic set theory , 1979 .