Three-Level-Specification of Databases using an extended Entity-Relationship Model

A great deal of (so-called) semantic data models has been proposed for the specification of conceptual schemas. Each of these offers many different, but semantically related constructs for modelling.

[1]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

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

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

[4]  Randy H. Katz,et al.  Version modeling concepts for computer-aided design databases , 1986, SIGMOD '86.

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

[6]  José Luiz Fiadeiro,et al.  The INFOLOG linear tense propositional logic of events and transactions , 1986, Inf. Syst..

[7]  Carl August Zehnder,et al.  Gambit: An Interactive Database Design Tool for Data Structures, Integrity Constraints, and Transactions , 1985, IEEE Transactions on Software Engineering.

[8]  Georges Gardarin,et al.  Proving Consistency Of Database Transactions , 1979, Fifth International Conference on Very Large Data Bases, 1979..

[9]  Martin Gogolla,et al.  Specification, Semantics, and Enforcement of Dynamic Database Constraints , 1984, VLDB.

[10]  Juris Hartmanis,et al.  The Programming Language Ada , 1983, Lecture Notes in Computer Science.

[11]  Daniel Bryce,et al.  SNAP: A graphics-based schema manager , 1986, 1986 IEEE Second International Conference on Data Engineering.

[12]  Hans-Dieter Ehrich.  Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics , 1985, CTCS.

[13]  Gunter Saake,et al.  Foundations of Temporal Integrity Monitoring , 1987, Temporal Aspects in Information Systems.

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

[15]  Bernhard Mitschang.  Charakteristiken des Komplex-Objekt-Begriffs und Ansätze zu dessen Realisierung , 1985, BTW.

[16]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[17]  Hans-Dieter Ehrich.  Algebraic (?) Specification of Conceptual Database Schemata , 1984, ADT.

[18]  Antonio Albano,et al.  Computer-Aided Database Design: The Dataid Project , 1985 .

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

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

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

[22]  Klaus R. Dittrich,et al.  DAMASCUS - ein Datenhaltungssystem für den VLSI-Entfurf , 1985, BTW.

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

[24]  Klaus Drosten.  Translating Algebraic Specifications to Prolog Programs: A Comparative Study , 1988, ALP.

[25]  Stefano Ceri,et al.  Methodology and tools for data base design , 1983 .

[26]  Thomas Neumann.  Konzepte zur Erweiterung von Datenbanksystemen für die Unterstützung von CAD/CAM-Anwendungen , 1983 .

[27]  Alejandro P. Buchmann,et al.  Molecular Objects, Abstract Data Types, and Data Models: A Framework , 1984, VLDB.

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

[29]  Franco P. Preparata.  The theory of databases , 1986 .

[30]  Julius T. Tou,et al.  Information Systems , 1973, GI Jahrestagung.

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