Algebraic semantics of ER-models in the context of the calculus of relations

We provide a detailed analysis of the insertion operations for an ER-model represented in terms of the map calculus. This continues our previous study of compiling an ER model into the abstract setting of what might be called logic without variables.

[1]  Rudolf Hettler.  Zur ?bersetzung von E/R-Schemata nach SPECTRUM , 1994 .

[2]  Meilir Page-Jones,et al.  Fundamentals of object-oriented design in UML , 1999 .

[3]  Gunther Schmidt,et al.  Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .

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

[5]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[6]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[7]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[8]  Michael Winter,et al.  Heterogeneous Relation Algebra , 1997, Relational Methods in Computer Science.

[9]  Gunther Schmidt,et al.  Relational Methods in Computer Science , 1999, Inf. Sci..

[10]  Ernst-Erich Doberkat,et al.  Algebraic semantics of ER-models in the context of the calculus of relations , 2001, Electron. Notes Theor. Comput. Sci..

[11]  Bernhard Thalheim,et al.  Entity-relationship modeling - foundations of database technology , 2010 .

[12]  A. Tarski,et al.  A Formalization Of Set Theory Without Variables , 1987 .

[13]  Gunther Schmidt,et al.  Relations and Graphs , 1993, EATCS Monographs on Theoretical Computer Science.

[14]  Ernst-Erich Doberkat.  Generating an Algebraic Specification from an ER-Model , 1997 .

[15]  E. Doberkat.  Generating an Algebraic Speci cation from an ER-Model , 2002 .

[16]  Professor Dr. Bernhard Thalheim.  Entity-Relationship Modeling , 2000, Springer Berlin Heidelberg.

[17]  Gio Wiederhold,et al.  Databases , 1984, Computer.

[18]  Stephan Merz,et al.  Model Checking , 2000 .

[19]  Domenico Cantone,et al.  Set Theory for Computing , 2001, Monographs in Computer Science.

[20]  Uwe Hohenstein.  Formale Semantik eines erweiterten Entity-Relationship-Modells , 1993 .