An Extended Entity-Relationship Model [electronic resource] : Fundamentals and Pragmatics /
This text presents a comprehensive introduction to an extended Entity-Relationship model both on a conceptual and on a formal, mathematicallevel. In addition to the primitives given by the data model the text introduces a language for the formulation of constraints in order to restrict database states to consistent ones. The text explains an implementation of the approach chosen in the logic programing language PROLOG and discusses in this context the computational power of the proposedcalculus. The extended Entity-Relationship calculus is used to define the meaning of the relational query language SQL. A nice feature of the approach is that it becomes possible to prove language properties on a sound mathematical basis.
Saved in:
Main Authors: | Gogolla, Martin. editor., SpringerLink (Online service) |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1994
|
Subjects: | Computer science., Oncology., Software engineering., Programming languages (Electronic computers)., Computers., Computer logic., Database management., Computer Science., Theory of Computation., Programming Languages, Compilers, Interpreters., Database Management., Logics and Meanings of Programs., Software Engineering., |
Online Access: | http://dx.doi.org/10.1007/3-540-57648-7 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
An Extended Entity-Relationship Model [electronic resource] : Fundamentals and Pragmatics /
by: Gogolla, Martin. editor., et al.
Published: (1994) -
Static Analysis [electronic resource] : 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings /
by: Hermenegildo, Manuel V. editor., et al.
Published: (2002) -
Static Analysis [electronic resource] : 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings /
by: Hermenegildo, Manuel V. editor., et al.
Published: (2002) -
Object-Oriented Technology ECOOP’99 Workshop Reader [electronic resource] : ECOOP’99 Workshops, Panels, and Posters Lisbon, Portugal, June 14–18, 1999 Proceedings /
by: Demeyer, Serge. author., et al.
Published: (1999) -
Object-Oriented Technology ECOOP’99 Workshop Reader [electronic resource] : ECOOP’99 Workshops, Panels, and Posters Lisbon, Portugal, June 14–18, 1999 Proceedings /
by: Demeyer, Serge. author., et al.
Published: (1999)