Alpha: an extension of relational algebra to express a class of recursive queries | IEEE Journals & Magazine | IEEE Xplore