A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases

In this paper, the authors present a new fixpoint-based approach to bottom-up state generation for stratifiable disjunctive deductive databases. To this end, a new consequence operator based on hyperresolution is introduced which extends Minker's operator for positive disjunctive Datalog rules. In contrast to already existing model generation methods their approach for efficiently computing perfect models is based on state generation. Additionally, it enhances model state computation based on Minker's operator for positive disjunctive Datalog rules.