Query optimization by semantic reasoning / - King, Jonathan J. (UMI Research Press,, 1984)