ON DEDUCTIVE DATABASES WITH INCOMPLETE INFORMATION

In order to extend the ability to handle incomplete information in a d efinite deductive database, a Horn clause-based system representing in complete information as incomplete constants is proposed. By using the notion of incomplete constants the deductive database system handles incomplete information in the form of sets of possible values, thereby giving more information than null values. The resulting system extend s Horn logic to express a restricted form of indefiniteness. Although a deductive database with this kind of incomplete information is, in f act, a subset of an indefinite deductive database system, it represent s indefiniteness in terms of value incompleteness, and therefore it ca n make use of the existing Horn logic computation rules. The inference rules for such a system are presented, its model theory discussed, an d a model theory of indefiniteness proposed. The theory is consistent with minimal model theory and extends its expressive power.