Constraint Databases

Gabriel Kuper, Leonid Libkin

444 pages, parution le 10/05/2000

Ajouter à une liste

Indisponible

Résumé

This book is the first comprehensive survey of the field of constraint databases. Constraint databases are a fairly new and active area of database research. The key idea is that constraints, such as linear or polynomial equations, are used to represent large, or even infinite, sets in a compact way. The ability to deal with infinite sets makes constraint; databases particularly promising as a technology for integrating spatial and temporal data with standard relational databases. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and computational geometry, as well as symbolic computation, to the design and analysis of data models and query languages.

The book is a collaborative effort involving many authors who have contributed chapters on their fields of expertise. Despite this, the book is designed to be read as a whole, as opposed to a collection of individual surveys. In particular, the terminology and the style of presentation have been standardized, and there are multiple cross-references between the chapters.

The idea of constraint databases goes back to the late Paris Kanellakis. While visiting the IBM T. J. Watson Research Center in 1988, he was shown a demonstration of the CLP(R) system. This system is an extension of logic programming in which rules may contain constraints over some domain, such as real or rational numbers with various arithmetic operations. Paris immediately wondered whether a database theory could be developed for such systems, analogous to the way deductive databases were inspired by logic programming. The direct consequence of this idea was his collaborative work on Constraint Query Languages [KKR90], which started the field of constraint databases. Over the years, Paris proposed many research directions that helped shape the field.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Gabriel Kuper, Leonid Libkin
Parution	10/05/2000
Nb. de pages	444
Format	16 x 24,2
Couverture	Relié
Poids	703g
Intérieur	Noir et Blanc
EAN13	9783540661511

Avantages Eyrolles.com

Livraison à partir de 0,01 € en France métropolitaine

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ d'un million et demi de livres disponibles

Constraint Databases

Résumé

Caractéristiques techniques

Consultez aussi