Parallel processing of deductive databases on a commercial multiprocessor | IEEE Conference Publication | IEEE Xplore