A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases

In this paper we 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 hyperesolution is introduced which extends Minker's operator for positive disjunctive Datalog rules. In contrast to already existing model generation methods our approach results in a means for efficient computation of the perfect model of stratifiable disjunctive Datalog

• Type: Conference
• Year: 2007
• Where: ADBIS
• Authors: Andreas Behrend
• Keywords: ADBIS 2007, Database, Disjunctive Datalog Rules, Disjunctive Deductive Databases, Positive Disjunctive Datalog