Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Bases de données relationnelles --- PROLOG (Computer program language) --- PROLOG (Computer programmeertaal) --- PROLOG (Langage de programmation) --- Relational databases --- Relationele databases --- SQL (Computer program language) --- SQL (Langage de programmation) --- SQL (Programmeertaal) --- Relational databases. --- Information theory. --- Oncology  . --- Computer science. --- Database management. --- Logic design. --- Software engineering. --- Theory of Computation. --- Oncology. --- Programming Languages, Compilers, Interpreters. --- Database Management. --- Logics and Meanings of Programs. --- Software Engineering. --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Informatics --- Science --- Tumors --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory