Slawomir Staworko Jan Chomicki Consistent Query Answers in the Presence of Universal Constraints http://arxiv.org/abs/0809.1551 2008 CoRR abs/0809.1551 db/journals/corr/corr0809.html#abs-0809-1551 informal publication