View-Based Query Processing and Constraint Satisfaction