Processing Deductive Databases under the Disjunctive Stable Model Semantics

Article type: Research Article

Authors: Johnson, C.A.

Affiliations: Department of Computer Science, University of Keele, Staffordshire, England. chrisj@cs.keele.ac.uk

Note: [] Address for correspondence: Department of Computer Science, University of Keele, Staffordshire, England

Abstract: 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.

Keywords: Disjunctive deductive databases, disjunctive stable models, cyclic covers, query processing, query compilation, view updates

DOI: 10.3233/FI-1999-40103

Journal: Fundamenta Informaticae, vol. 40, no. 1, pp. 31-51, 1999