Dirk Leinders Jan Van den Bussche On the complexity of division and set joins in the relational algebra. 76-83 2005 conf/pods/2005 PODS http://doi.acm.org/10.1145/1065167.1065178 db/conf/pods/pods2005.html#LeindersB05