Paolo Atzeni LOGIDATA+: Deductive Databases with Complex Objects Lecture Notes in Computer Science 701 Springer 1993 3-540-56974-X db/journals/lncs/lncs701.html