Wyniki wyszukiwania - BazTech

Ograniczanie wyników

3 Fundamenta Informaticae

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: disjunctive deductive databases

Sortuj według:

Ogranicz wyniki do:

A New Partial Semantics for Disjunctive Deductive Databases

Gire F, Plourde C.

Fundamenta Informaticae

2005

Vol. 67, nr 4

323--342

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.

Query compilation under the disjunctive well-founded semantics

Johnson C. A.

Fundamenta Informaticae

2004

Vol. 62, nr 3,4

343--368

A top-down method is presented for compiling queries in unstratified propositional disjunctive deductive databases under the disjunctive well-founded semantics. Compilation entails the construction of a set of compilation trees, and the run-time processing of the compiled query then amounts to checking that some such tree can be extended within the extensional database to yield a tree that encapsulates a proof of the original query. Issues surrounding the extension of our techniques to the first order level are discussed.

Processing deductive databases under the disjunctive stable model semantics

Johnson C.A.

Fundamenta Informaticae

1999

Vol. 40, Nr 1

31-51

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.