Amazon cover image
Image from Amazon.com
Image from Google Jackets

An Extended Entity-Relationship Model [electronic resource] : Fundamentals and Pragmatics / edited by Martin Gogolla.

Contributor(s): Material type: TextTextSeries: Lecture Notes in Computer Science ; 767Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Description: XI, 141 p. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540483014
Subject(s): Additional physical formats: Printed edition:: No titleDDC classification:
  • 005.74 23
LOC classification:
  • QA76.9.D3
Online resources:
Contents:
Structure of data and entities -- Extended Entity-Relationship calculus -- PROLOG implementation -- Formal semantics of SQL -- Conclusions.
In: Springer eBooksSummary: 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.
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Home library Call number Materials specified URL Status Date due Barcode
IMSc Library Link to resource Available EBK6406

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.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India