Database querying and constraint programming.

The declarative programming paradigms used in constraint languages can lead to powerful extensions of relational database query languages. This is an overview of recent progress on such constraint query languages, with a list of related open theoretical computer science questions.