Table of Contents:
  • 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.