Deductive Databases / Abduction in Deductive Databases