A First Practical Algorithm for High Levels of Relational Consistency (AAAI10)