Buch, Englisch, Band 767, 141 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 242 g
Fundamentals and Pragmatics
Buch, Englisch, Band 767, 141 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 242 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-57648-8
Verlag: Springer Berlin Heidelberg
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.
Gogolla
An Extended Entity-Relationship Model jetzt bestellen!
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Wirtschaftswissenschaften Betriebswirtschaft Wirtschaftsinformatik, SAP, IT-Management
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Business Application Unternehmenssoftware SAP
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
- Medizin | Veterinärmedizin Medizin | Public Health | Pharmazie | Zahnmedizin Klinische und Innere Medizin Onkologie, Krebsforschung
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik EDV | Informatik Daten / Datenbanken Zeichen- und Zahlendarstellungen
Weitere Infos & Material
Structure of data and entities.- Extended Entity-Relationship calculus.- PROLOG implementation.- Formal semantics of SQL.- Conclusions.
Bitte ändern Sie das Passwort
