Abstract | ||
---|---|---|
The use of negative information and the unrestricted use of quantifiers in the body of a rule enhances the expressive power of deductive database systems. The authors introduce a more relaxed version of conventional (Skolem) function-free databases, called acceptable databases which generalize the class of allowed databases by accepting occurrences of universal quantifiers for variables occurring in positive literals and existential quantifiers for variables occurring in negative literals in the body of an IDB rule. The compilation technique suitable for compiling acceptable IDB rules based on the substitution rule is addressed. They show the correctness of the substitution-based compilation by proving completeness and soundness of the substitution rule |
Year | DOI | Venue |
---|---|---|
1992 | 10.1109/SEKE.1992.227940 | SEKE |
Keywords | Field | DocType |
knowledge based systems,queries,quantifiers,acceptable databases,substitution rule,function-free databases,knowledge representation,deductive databases,allowed databases,deductive database,negative information,knowledge base systems,query processing,rule based,algebra,knowledge based system,expressive power,terminology | Data mining,Knowledge representation and reasoning,Computer science,Correctness,Knowledge-based systems,Knowledge base,Soundness,Expressive power,Completeness (statistics),Integration by substitution | Conference |
Citations | PageRank | References |
1 | 0.41 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jonghoon Chun | 1 | 175 | 21.31 |
Lawrence J. Henschen | 2 | 478 | 280.94 |