Logical query optimization by proof-tree transformationRaghu RamakrishnanYehoshua Sagivet al.1993Journal of Computer and System Sciences