LOGIDATA+: Deductive Databases with Complex Objects