A Compressed Transitive Closure Technique for Efficient Fixed-Point Query Processing