The inclusion of inferencing capabilities in traditional database quer
y supports recursion, allows Prolog as a language, and uses predicate
calculus as a tool. We have studied the extended disjunctive normal fo
rm and propose a method to process query efficiently. This proposed te
chnique is simple, easily implemented, and time efficient.