Partial evidential stable models for disjunctive deductive databases

1998 ◽  
pp. 66-84 ◽  
Author(s):  
Dietmar Seipel
Keyword(s):  
Deductive Databases ◽  
Disjunctive Deductive Databases ◽  
Stable Models

QUERY EVALUATION IN PARTITIONED DISJUNCTIVE DEDUCTIVE DATABASES

1994 ◽  
Vol 03 (04) ◽  
pp. 385-413 ◽  
Author(s):  
ADNAN YAHYA ◽  
JACK MINKER
Keyword(s):  
Query Processing ◽  
Evaluation Process ◽  
Deductive Databases ◽  
Deductive Database ◽  
Query Evaluation ◽  
Disjunctive Deductive Databases ◽  
Special Cases ◽  
The Individual

Query evaluation in disjunctive deductive databases is in general computationally hard. The class of databases for which the process is tractable is severely limited. The complexity of the process depends on the structure of the database as well as on the type of query being evaluated. In this paper we study the issue of simplified query processing in disjunctive deductive databases. We address the possibility of evaluating general queries by independently processing their atomic components and describe the class of databases for which this approach is possible. We also discuss the issue of dividing a disjunctive deductive database into a set of disjoint components then answering queries and computing database completions by combining the results obtained against the individual components. Some practical special cases are considered. The methods developed in this paper can be utilized to introduce parallelism into the query evaluation process.

Ordered model trees: A normal form for disjunctive deductive databases

1994 ◽  
Vol 13 (1) ◽  
pp. 117-143 ◽  
Author(s):  
Adnan Yahya ◽  
Jos� Alberto Fern�ndez ◽  
Jack Minker
Keyword(s):  
Normal Form ◽  
Deductive Databases ◽  
Model Trees ◽  
Disjunctive Deductive Databases
Sign in / Sign up

Export Citation Format

Share Document