Relational Consistency by Constraint Filtering (ACM SAC 2010)