Data partition: a practical parallel evaluation of datalog programs | IEEE Conference Publication | IEEE Xplore