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.

Bibliographic Information

Book Title: An Extended Entity-Relationship Model
Book Subtitle: Fundamentals and Pragmatics
Editors: Martin Gogolla
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-57648-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1994
Softcover ISBN: 978-3-540-57648-8Published: 28 January 1994
eBook ISBN: 978-3-540-48301-4Published: 01 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 141
Topics: Theory of Computation, Oncology, Programming Languages, Compilers, Interpreters, Database Management, Logics and Meanings of Programs, Software Engineering

Publish with us

Policies and ethics

An Extended Entity-Relationship Model

Overview

Access this book

Other ways to access

Table of contents (6 chapters)

Front Matter

Introduction

Structure of data and entities

Extended Entity-Relationship calculus

PROLOG implementation

Formal semantics of SQL

Conclusions

Back Matter

Keywords

About this book

Bibliographic Information

Publish with us

Search

Navigation