|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466016403316 |
|
|
Autore |
Gogolla Martin |
|
|
Titolo |
An Extended Entity-Relationship Model [[electronic resource] ] : Fundamentals and Pragmatics / / by Martin Gogolla |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1994.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 141 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 767 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Oncology |
Programming languages (Electronic computers) |
Database management |
Computer logic |
Software engineering |
Theory of Computation |
Oncology |
Programming Languages, Compilers, Interpreters |
Database Management |
Logics and Meanings of Programs |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Structure of data and entities -- Extended Entity-Relationship calculus -- PROLOG implementation -- Formal semantics of SQL -- Conclusions. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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 |
|
|
|
|