A New Partial Semantics for Disjunctive Deductive Databases

Article type: Research Article

Authors: Gire, Françoise | Plourde, Corinne

Affiliations: Université de Paris I, Centre de Recherche en Informatique, 90 rue de Tobliac, 75634 Paris cedex 13, France. E-mail: gire@univ-paris1.fr | Société ParaGraph, Parc Technopolis, 17 avenue du Parc, 91380 Chilly Mazarin, France. E-mail: plourde@paragraph.fr

Abstract: We propose a new partial semantics for disjunctive deductive databases that we call disjunctive well-founded semantics. This semantics extends the classical well-founded semantics of normal databases for disjunctive databases. We give a declarative definition as well as a computational procedure for this new semantics. We prove that, in the case of disjunctive positive databases, i.e. disjunctive databases without negation, the disjunctive well-founded semantics coincides with the intersection of the minimal models.

Keywords: Disjunctive deductive databases, normal deductive databases, partial semantics, well-founded semantics

Journal: Fundamenta Informaticae, vol. 67, no. 4, pp. 323-342, 2005