A minimal-model based horizontal fragmentation algorithm for disjunctive deductive databases | IEEE Conference Publication | IEEE Xplore