This text presents a comprehensive introduction to anextended Entity-Relationship model both on a conceptual andon a formal, mathematicallevel. In addition to theprimitives given by the data model the text introduces alanguage for the formulation of constraints in order torestrict database states to consistent ones. The textexplains an implementation of the approach chosen in thelogic programing language PROLOG and discusses in thiscontext the computational power of the proposedcalculus.The extended Entity-Relationship calculus is used to definethe meaning of the relational query language SQL. A nicefeature of the approach is that it becomes possible to provelanguage properties on a sound mathematical basis.
Structure of data and entities.- Extended Entity-Relationship calculus.- PROLOG implementation.- Formal semantics of SQL.- Conclusions.
Series: Lecture Notes in Computer Science
Number Of Pages: 141
Published: 28th January 1994
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6
Weight (kg): 0.23