Sciweavers

6 search results - page 2 / 2
» Correctness, Completeness and Termination of Pattern-Based M...
Sort
View
ISMIS
2000
Springer
13 years 8 months ago
Top-Down Query Processing in First Order Deductive Databases under the DWFS
A top-down query processing method for first order deductive databases under the disjunctive well-founded semantics (DWFS) is presented. The method is based upon a characterisation...
C. A. Johnson