<E-Book>
An Extended Entity-Relationship Model : Fundamentals and Pragmatics / by Martin Gogolla
(Lecture Notes in Computer Science. ISSN:16113349 ; 767)
Edition | 1st ed. 1994. |
---|---|
Publisher | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
Year | 1994 |
Language | English |
Size | XI, 141 p : online resource |
Authors | *Gogolla, Martin author SpringerLink (Online service) |
Subjects | LCSH:Computer science LCSH:Oncology LCSH:Compilers (Computer programs) LCSH:Database management LCSH:Software engineering FREE:Theory of Computation FREE:Oncology FREE:Compilers and Interpreters FREE:Database Management FREE:Computer Science Logic and Foundations of Programming FREE:Software Engineering |
Notes | Structure of data and entities -- Extended Entity-Relationship calculus -- PROLOG implementation -- Formal semantics of SQL -- Conclusions 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 HTTP:URL=https://doi.org/10.1007/3-540-57648-7 |
TOC
Hide book details.
E-Book | Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
---|---|---|---|---|---|---|---|---|---|---|---|---|
E-Book | オンライン | 電子ブック |
|
Springer eBooks | 9783540483014 |
|
電子リソース |
|
EB00225581 |
Hide details.
Material Type | E-Book |
---|---|
Classification | LCC:QA75.5-76.95 DC23:004.0151 |
ID | 4001090355 |
ISBN | 9783540483014 |