Stéphane Grumbach Victor Vianu Tractable Query Languages for Complex Object Databases. 149-167 1995 51 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss51.html#GrumbachV95