David DeHaan Equivalence of nested queries with mixed semantics. 207-216 2009 PODS http://doi.acm.org/10.1145/1559795.1559828 conf/pods/2009 db/conf/pods/pods2009.html#DeHaan09