Limit search to available items
Book Cover
Author Gogolla, Martin, 1954-

Title An extended entity-relationship model : fundamentals and pragmatics / Martin Gogolla
Published Berlin ; New York : Springer-Verlag, ©1994


Description 1 online resource (x, 136 pages) : illustrations
Series Lecture notes in computer science ; 767
Lecture notes in computer science ; 767.
Contents 1. Introduction -- 2. Structure of Data and Entities -- 3. Extended Entity-Relationship Calculus -- 4. PROLOG Implementation -- 5. Formal Semantics of SQL -- 6. Conclusions
Summary 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
Bibliography Includes bibliographical references (pages 123-133) and index
Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL
Print version record
Subject Entity-relationship modeling.
Prolog (Computer program language)
SQL (Computer program language)
Relational databases.
Relational databases
Entity-relationship modeling
Prolog (Computer program language)
SQL (Computer program language)
Relationele databanken.
Bases de données relationnelles.
Prolog (langage de programmation)
SQL (langage de programmation)
Genre/Form Congressen (vorm)
Form Electronic book
ISBN 9783540483014