An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases

Cyril S. Ku, Heung D. Kim, Lawrence J. Henschen

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Abstract

We introduce an inference scheme, based on the compilation approach, that can answer “true,” provable-false,” “indefinite,” or “assumable-false” to a closed query in an indefinite deductive database under the generalized closed world assumption. The inference scheme proposed in this paper consists of a representation scheme and an evaluation process that uses one of two groups of positive indefinite ground clauses (PIGC's) derivable from the database for a given query. These two groups of PIGC's are base-PIGC's and descendants of base-PIGC's. We prove that the set of base-PIGC's derivable from the database is sufficient to infer the indefiniteness of a query. This newly proposed method offers many advantages over the existing compilation method. This new method outperforms the existing one in terms of the cost of compilation, ease in the handling of updates, and efficiency in query evaluation.

Original languageEnglish (US)
Pages (from-to)713-722
Number of pages10
JournalIEEE Transactions on Knowledge and Data Engineering
Volume6
Issue number5
DOIs
StatePublished - Oct 1994

Keywords

  • Compilation method
  • deductive database
  • generalized closed world assumption
  • indefinite deductive database
  • inference scheme
  • query evaluation

ASJC Scopus subject areas

  • Information Systems
  • Computer Science Applications
  • Computational Theory and Mathematics

Fingerprint Dive into the research topics of 'An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases'. Together they form a unique fingerprint.

Cite this