They maintain the view of a database programmer for a user or application is almost as simple as in the relational database. This book reveals how constraint databases bring together techniques from various fields, such as logic and model theory, algebraic and computational geometry, and symbolic computation, for the design and analysis of the data model and query language. Constraint databases are shown to be a very useful tool for modeling and simple querying of data and applications in areas such as environmental modeling, bioinformatics, and computer vision - which is not suitable for relational databases. Topics and features: * Offers a database perspective and focus on simplicity at the user level * Using a simple tool to determine whether the query is safe or not * Combining the scientist-provided description of the application * Describe the problem from the perspective of database developers * Provides an extensive set of exercises, and sample system software, which facilitates faster learning real-world topics in the context of software This volume presents a comprehensive introduction to the theory and application of constraint database system, which provides a new method to design the data model and query language.