Introduction to Constraint Databases

A new text/reference presenting the theory and applications of "e;constraint database"e; systems, which provide new methods for the design of data models and query languages. 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 langua...