Rona Machlin Index-based multidimensional array queries: safety and equivalence. 175-184 2007 conf/pods/2007 PODS http://doi.acm.org/10.1145/1265530.1265555 db/conf/pods/pods2007.html#Machlin07