The collective index : a technique for efficient processing of progressive queries - Huang, Henry.; Medjahed, Brahim.; Sharma, Anshuman.; Zhu, Qiang.