An algebra for inductive query evaluation | IEEE Conference Publication | IEEE Xplore