List of Chapters

1. Infinite Relational Databases

2. Constraint Databases

3. Relational Algebra and SQL

4. Datalog Queries

5. Aggregation and Negation Queries

6. Constraint Automata

7. Refinement Queries

8. Safe Query Languages

9. Evaluation of Queries

10. Computational Complexity

11. Certification

12. Implementation Methods

13. Spatiotemporal Databases

14. Interoperability

15. Approximation by Constraints

16. Data Visualization

17. Indexing

18. The MLPQ System

19. The DISCO System

20. The PReSTO System

21. Computer Vision

22. Bioinformatics

23. Environmental Modeling