Precise conclusions under uncertainty and incompleteness in deductive database systems