EER Designer for Deductive Databases