Constraint Databases

Theoretical Foundations

Spatial and Temporal Data

Algorithmic Aspects

Prototypes

maintained by Schloss Dagstuhl LZI, founded at University of Trier