Query Processing in Deductive Databases