Seol mar théacs é seo: Descriptive Complexity Theory for Constraint Databases