Table of contents

  1. Front Matter
  2. Pages 1-4
  3. Pages 77-98
  4. Pages 121-122
  5. Back Matter

About this book

Introduction

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.

Keywords

Constraint Database Design Database Query Languauges Datenbank-Abfragesprache Entity-Relationship Model Entity-Relationship-Modell Formal Semantics SQL data model logic query language

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-57648-7
  • Copyright Information Springer-Verlag 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57648-8
  • Online ISBN 978-3-540-48301-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology