Processing Deductive Databases under the Disjunctive Stable Model Semantics
Chris Johnson · Fundamenta Informaticae · 1999
Cyclic covers are shown to characterise disjunctive stable models of unstratified deductive databases, and to facilitate top-down query processing, query compilation and view updating under the disjunctive stable model semantics. Such processing is shown to be more complex than comparable processing of stratified databases.