A new text/reference presenting the theory and applications of "constraint database" 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 languages. An essential resource for advanced students, practitioners, and professionals in computer science, database systems, and information systems.