Sciweavers

Share
ADBIS
2007
Springer

A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases

10 years 6 months ago
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
Andreas Behrend
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Where ADBIS
Authors Andreas Behrend
Comments (0)
books