Introduction to Constraint Databases

From the reviews: "Constraints, such as linear or polynomial equalities, are used to finitely represent possibly infinite sets of points. They provide an elegant way to combine classical relational data with, for instance, spatial or temporal data'.This book'will certainly play an important role in spreading the ideas behind constraint databases among a wider audience, especially among students'it offers a strong background in constraint-database theory and comprehensively addresses developer's issues." --SIGMOD Records "The textbook provides comprehensive coverage of constraint databases. The primary audience ... is for advanced undergraduate and beginning graduate students, but it is also very good reading for all who are interested in database problems. For students it is mainly the extensive set of exercises at the end of each chapter that is useful. ... database experts will also find the rich bibliographic notes after each chapter to be valuable references ... . A special strength of the book is that it allows course design." (Ing. Jaroslav Vesely, Neural Network World, Vol. 14 (6), 2004) "An interesting book from many views. ... The book summarises interesting information about constraint databases. It is useful for practitioners, researchers and students working in the fields of databases, GIS systems, computer vision systems and any other large information systems with requirements of complex queries, especially with respect to optimization tasks. The book presents an unusual view of database systems and suggests relations to many different areas so that it can be inspirable to anybody using a computer not only as a typewriter." (Tomas Brandejsky, Neural Network World, Vol. 14 (2), 2004) "This book is the first textbook on constraint databases. ... extensive exercise sets are provided and sample software systems of real-world applications are available on the author's web page. ... The chapters contain valuable bibliographical references for further reading. ... This book takes a unique place and will certainly play an important role in spreading the ideas behind constraint databases ... . There is certainly a need for a book like this. ... I would certainly recommend this book for teaching constraint databases ... ." (Bart Kuipers, Theory and Practice of Logic Programming, Vol. 3, November, 2003)

• Infinite Relational Databases.- Constraint Databases.- Relational Algebra and SQL.- Datalog Queries.- Aggregation and Negation Queries.- Constraint Automata.- Refinement Queries.- Safe Query Languages.- Evaluation of Queries.- Computational Complexity.- Certification.- Implementation Methods.- Spatiotemporal Databases.- Interoperability.- Approximation by Constraints.- Data Visualization.- Indexing.- The MLPQ System.- The DISCO System.- The PReSTO System.- Computer Vision.- Bioinformatics.- Environmental Modeling.