A sound and complete query evaluation for implicit predicate which is a semantic descriptor of unknown values (Q1183411)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A sound and complete query evaluation for implicit predicate which is a semantic descriptor of unknown values |
scientific article; zbMATH DE number 33273
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A sound and complete query evaluation for implicit predicate which is a semantic descriptor of unknown values |
scientific article; zbMATH DE number 33273 |
Statements
A sound and complete query evaluation for implicit predicate which is a semantic descriptor of unknown values (English)
0 references
28 June 1992
0 references
Implicit Predicate is a logically formulated descriptor of unknown values for expressing the semantics of them. The purpose of this paper is to propose the query evaluation supporting it. We also demonstrate that (1) our formulation has technical meanings in that it directly corresponds to the well-implemented inferencing mechanism, SLD resolution, and (2) it is sound and complete.
0 references
information retrieval
0 references
deductive databases
0 references
unknown values
0 references
