Classification and compilation of linear recursive queries in deductive databases | IEEE Journals & Magazine | IEEE Xplore