Towards a generalized theory of deductive databases with uncertainty