Conceptual Modelling of Database Applications Using an Extended Er Model H.2.1 Database Management] Logical Design { Data Modelss Schema and Subschema. H.2.3 Database Management] Languages { Data Description Languages (ddl)) Data Manipulation Languages (dml))

In this paper we motivate and present a data model for conceptual design of structural and behavioural aspects of databases We follow an object centered design paradigm in the spir it of semantic data models The speci cation of structural aspects is divided into modelling of object structures and modelling of data types used for describing object properties The speci cation of object structures is based on an Extended Entity Relationship EER model The speci cation of behavioural aspects is divided into the modelling of admissible database state evolutions by means of temporal integrity constraints and the formulation of database trans actions The central link for integrating these design components is a descriptive logic based query language for the EER model The logic part of this language is the basis for static constraints and descriptive action speci cations by means of pre and postconditions A tem poral extension of this logic is the speci cation language for temporal integrity constraints We emphasize that the various aspects of a database application are speci ed using several appro priate but yet compatible formalisms which are integrated by a unifying common semantic CR

[1]  Karl Neumann,et al.  Modelling and Manipulating Objects in Geoscientific Databases , 1986, ER.

[2]  Alberto O. Mendelzon,et al.  A Graphical Query Language for Entity-Relationship Databases , 1983, ER.

[3]  Antonio L. Furtado,et al.  Formal data base specification: an eclectic perspective , 1984, PODS '84.

[4]  Amílcar Sernadas,et al.  A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification , 1987, Temporal Aspects in Information Systems.

[5]  Irving L. Traiger,et al.  System R: relational approach to database management , 1976, TODS.

[6]  Erich J. Neuhold,et al.  Towards multi-level and modular conceptual schema specifications , 1984, Inf. Syst..

[7]  Udo W. Lipeck.  Stepwise specification of dynamic database behaviour , 1986, SIGMOD '86.

[8]  Gregor Engels,et al.  Elementary Actions on an Extended Entity-Relationship Database , 1990, Graph-Grammars and Their Application to Computer Science.

[9]  Setrag Khoshafian,et al.  A calculus for complex objects , 1985, PODS '86.

[10]  Gunter Saake,et al.  Monitoring dynamic integrity constraints based on temporal logic , 1987, Inf. Syst..

[11]  Hans-Jörg Schek,et al.  Remarks on the algebra of non first normal form relations , 1982, PODS.

[12]  Uwe Hohenstein.  Ein Kalkül für ein erweitertes Entity-Relationship-Modell und seine Übersetzung in einen relationalen Kalkül , 1989 .

[13]  Liz Sonenberg,et al.  Integrity Constraint Checking in Stratified Databases , 1987, J. Log. Program..

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

[15]  Victor Vianu.  Dynamic functional dependencies and database aging , 1987, JACM.

[16]  Fernando Vélez.  Lambda: An Entity-Relationship Based Query Language for the Retrieval of Structured Documents , 1985, ER.

[17]  Richard J. Waldinger,et al.  A transaction logic for database specification , 1988, SIGMOD '88.

[18]  Cristina Sernadas,et al.  Object-Oriented Specification of Databases: An Algebraic Approach , 1987, VLDB.

[19]  DianeC . P. Smith,et al.  Database Abstractions: Aggregation and Generalization , 1989 .

[20]  John Mylopoulos,et al.  Some Features of the TAXIS Data Model , 1980, VLDB.

[21]  David Chenho Kung,et al.  A Temporal Framework for Database Specification and Verification , 1984, VLDB.

[22]  Gunter Saake.  Descriptive Specification of Database Object Behaviour , 1991, Data Knowl. Eng..

[23]  F. Brown.  The frame problem in artificial intelligence , 1987 .

[24]  C. J. Date.  A critique of the SQL database language , 1984, SGMD.

[25]  Karl-Heinz Neumann.  Eine geowissenschaftliche Datenbanksprache mit benutzerdefinierbaren geometrischen Datentypen , 1988 .

[26]  Gunter Saake,et al.  Sorting, Grouping and Duplicate Elimination in the Advanced Information Management Prototype , 1989, VLDB.

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

[28]  Zohar Manna,et al.  The Modal Logic of Programs , 1979, ICALP.

[29]  Wolffried Stucky,et al.  The INCOME Approach for Conceptual Modelling and Prototyping of Information Systems , 1989, CASE.

[30]  Gerti Kappel,et al.  BIER - The Behaviour Integrated Entity Realtionship Approach , 1986, ER.

[31]  José L. Encarnação,et al.  Engineering databases: connecting islands of automation through databases , 1990 .

[32]  Dzenan Ridjanovic,et al.  On the Design and Specification of Database Transactions , 1982, On Conceptual Modelling.

[33]  Arie Shoshani,et al.  CABLE: A language based on the entity-relationship model , 1978 .

[34]  Udo W. Lipeck.  Transformation of Dynamic Integrity Constraints into Transaction Specifications , 1988, ICDT.

[35]  Martin Gogolla,et al.  Algebraische Spezifikation abstrakter Datentypen , 1989 .

[36]  Jean-Marie Nicolas.  Logic for improving integrity checking in relational data bases⋆ , 2004, Acta Informatica.

[37]  Hartmut Ehrig,et al.  Equations and initial semantics , 1985 .

[38]  Gio Wiederhold,et al.  Knowledge-based Integrity Constraint Validation , 1986, VLDB.

[39]  Ramez Elmasri,et al.  GORDAS: A Formal High-Level Query Language for the Entity-Relationship Model , 1981, ER.

[40]  Amílcar Sernadas,et al.  Temporal aspects of logical procedure definiton , 1980, Inf. Syst..

[41]  Karl Neumann,et al.  Geoscientific Database System Supporting Cartography and Application Programming , 1990, BNCOD.

[42]  David W. Stemple,et al.  Database theory for supporting specification-based database system development , 1985, ICSE '85.

[43]  Peter Scheuermann,et al.  Abstraction Capabilities and Invariant Properties Modelling within the Entity-Relationship Approach , 1979, ER.

[44]  Edmund M. Clarke,et al.  Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data , 1980, VLDB.

[45]  Robert A. Kowalski,et al.  Integrity Checking in Deductive Databases , 1987, VLDB.

[46]  Jacques Loeckx,et al.  Algorithmic specifications: a constructive specification method for abstract data types , 1987, TOPL.

[47]  Hendrik Decker,et al.  Integrity Enforcement on Deductive Databases , 1986, Expert Database Conf..

[48]  Michael L. Brodie.  On the Development of Data Models , 1982, On Conceptual Modelling.

[49]  Peter C. Lockemann,et al.  Design of engineering databases: a case for more varied semantic modelling concepts , 1988, Inf. Syst..

[50]  Johann A. Makowsky,et al.  Entity-Relationship Consistency for Relational Schemas , 1986, ICDT.

[51]  William Kent,et al.  A Data Modeling Methodology for the Design and Implementation of Information Systems , 1986, On Object-Oriented Database System.

[52]  Carl August Zehnder,et al.  HIQUEL: An Interactive Query Language to Define and Use Hierarchies , 1983, ER.

[53]  Dennis McLeod,et al.  Semantic integrity in a relational data base system , 1975, VLDB '75.

[54]  Victor M. Markowitz,et al.  ERROL: An Entity-Relationship, Role Oriented, Query Language , 1983, ER.

[55]  Martin Gogolla,et al.  Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic , 1985, TFAIS.

[56]  David W. Embley,et al.  A Relationally Complete Query Language for an Entity-Relationship Model , 1985, ER.

[57]  Andreas Oberweis,et al.  On the Representation of Temporal Knowledge in Office Systems , 1987, Temporal Aspects in Information Systems.

[58]  Victor Vianu.  Dynamic constraints and database evolution , 1983, PODS '83.

[59]  Antonio L. Furtado,et al.  A Temporal Framework for Database Specifications , 1982, VLDB.

[60]  T. J. Teorey,et al.  A logical design methodology for relational databases using the extended entity-relationship model , 1986, CSUR.

[61]  Martin Gogolla,et al.  Drafting Extended Entity-Relationship Schemas with QUEER , 1991, ER.

[62]  Donald D. Chamberlin,et al.  Functional specifications of a subsystem for data base integrity , 1975, VLDB '75.

[63]  P Pistor,et al.  A database language for sets, lists and tables , 1986, Inf. Syst..

[64]  Michael Schrefl,et al.  Comparison-criteria for semantic data models , 1984, 1984 IEEE First International Conference on Data Engineering.

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

[66]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[67]  James A. Larson,et al.  A Graphical Query Facility for ER Databases , 1985, ER.

[68]  Martin Gogolla,et al.  Towards an Algebraic Semantics for Database Specification , 1986, DS-2.

[69]  Hans Weigand,et al.  Specifying Dynamic and Deontic Integrity Constraints , 1989, Data Knowl. Eng..

[70]  Wolfgang Roesner,et al.  SESPATH: An ER Manipulation Language , 1985, ER.

[71]  Antonio L. Furtado,et al.  Towards Simpler and Yet Complete Formal Specifications , 1986, TFAIS.

[72]  Pierre Wolper,et al.  Synthesis of Communicating Processes from Temporal Logic Specifications , 1981, Logic of Programs.

[73]  Serge Abiteboul,et al.  Transactions and integrity constraints , 1985, PODS '85.

[74]  Forouzan Golshani,et al.  A Modal System of Algebras for Database Specification and Query/Update Language Support , 1983, VLDB.

[75]  François Bry,et al.  Checking Consistency of Database Constraints: a Logical Basis , 1986, VLDB.

[76]  Ramez Elmasri,et al.  The Category Concept: An Extension to the Entity-Relationship Model , 1985, Data Knowl. Eng..

[77]  Michael Stonebraker,et al.  Implementation of integrity constraints and views by query modification , 1975, SIGMOD '75.

[78]  Gregor Engels,et al.  Formal Semantics of an Entity-Relationship Query Language , 1990 .

[79]  B. E. Eckbo,et al.  Appendix , 1826, Epilepsy Research.

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

[81]  Bernhard Schiefer,et al.  Eine Anfragesprache für ein strukturell-objektorientiertes Datenmodell , 1989, BTW.

[82]  G. Barbara Demo,et al.  An Entity-Relationship Query Language , 1985, TFAIS.

[83]  Gunter Saake,et al.  Three-Level-Specification of Databases using an extended Entity-Relationship Model , 1987, EMISA.

[84]  Gunter Saake,et al.  Proof-Theoretic Semantics of Object-Oriented Specification Constructs , 1990, DS-4.

[85]  Peter Pistor,et al.  Designing A Generalized NF2 Model with an SQL-Type Language Interface , 1986, VLDB.

[86]  Karl Neumann,et al.  An Experimental Geoscientific Database System , 1992 .

[87]  Martin Gogolla,et al.  A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions , 1988, International Conference on Conceptual Modeling.

[88]  Martin Gogolla,et al.  Towards a semantic view of an extended entity-relationship model , 1991, TODS.

[89]  Klaus R. Dittrich,et al.  DAMOKLES - A Database System for Software ENgineering Environments , 1986, Advanced Programming Environments.

[90]  W. T. Harwood,et al.  The specification of complex systems , 1986 .

[91]  José Luiz Fiadeiro,et al.  Specification and verification of database dynamics , 1988, Acta Informatica.

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

[93]  James Martin,et al.  Fourth generation languages , 1985 .

[94]  Won Kim,et al.  Object-Oriented Concepts, Databases, and Applications , 1989 .

[95]  Hartmut Ehrig,et al.  Algebraic Specification Schemes for Data Base Systems , 1978, VLDB.

[96]  Michel Kuntz,et al.  Ergonomic Schema Design and Browsing with More Semantics in the Pasta-3 Interface for E-R DBMSs , 1989, ER.

[97]  Gunter Saake,et al.  Conceptual Modeling of Database Applications , 1990, IS/KI.

[98]  Joan Peckham,et al.  Semantic data models , 1988, CSUR.

[99]  Gunter Saake,et al.  Representation of the Historical Information Necessary for Temporal Integrity Monitoring , 1990, EDBT.

[100]  Gunter Saake,et al.  Theoretical foundations of handling large substitution sets in temporal integrity monitoring , 2005, Acta Informatica.