Deductive database