This textbook provides students with a course in the theory of databases. It is different from others in that the author presents the subject in the framework of constraint databases which provide a natural and powerful generalization of relational databases. An important theme running through the text is to show how relational databases can smoothly develop into constraint databses and so relational database users can easily become constraint database users. Switching to constraint databases requires sacrificing none of the benefits of relational databses whilst new advantages may be realised. Peter Revesz begins by discussing data models and how queries may be addressed to these models. From this, he develops the theory of relational and constraint databases including Datalog and the relational calculus. The book then discusses three sample constraint database systems, DISCO, DINGO, and RATHER. Advanced undergraduate students and graduate students in computer science will find this a clear introduction to the subject. Professionals and researchers will appreciate this novel perspective on their subject.
"This textbook provides students with a course in the theory of databases. It is different from others in that the author presents the subject in the framework of constraint databases which provide a natural and powerful generalization of relational databases. An important theme running through the text is to show how relational databases can smoothly develop into constraint databses and so relational database users can easily become constraint database users. Switching to constraint databases requires sacrificing none of the benefits of relational databses whilst new advantages may be realised. Peter Revesz begins by discussing data models and how queries may be addressed to these models. From this, he develops the theory of relational and constraint databases including Datalog and the relational calculus. The book then discusses three sample constraint database systems, DISCO, DINGO, and RATHER. Advanced undergraduate students and graduate students in computer science will find this a clear introduction to the subject. Professionals and researchers will appreciate this novel perspective on their subject."@en
"This textbook provides students with a course in the theory of databases. It is different from others in that the author presents the subject in the framework of constraint databases which provide a natural and powerful generalization of relational databases. An important theme running through the text is to show how relational databases can smoothly develop into constraint databses and so relational database users can easily become constraint database users. Switching to constraint databases requires sacrificing none of the benefits of relational databses whilst new advantages may be realised. Peter Revesz begins by discussing data models and how queries may be addressed to these models. From this, he develops the theory of relational and constraint databases including Datalog and the relational calculus. The book then discusses three sample constraint database systems, DISCO, DINGO, and RATHER. Advanced undergraduate students and graduate students in computer science will find this a clear introduction to the subject. Professionals and researchers will appreciate this novel perspective on their subject."
This is a placeholder reference for a Organization entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Thing entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
base de données contrainte (intelligence artificielle) logiciel - développement [manuel]
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
base de données programmation par contraintes [manuel]
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.