Consistency checking and querying in probabilistic databases under integrity constraints