TYPE DATA-BASES WITH INCOMPLETE INFORMATION

被引：4

作者：

LENZERINI, M

机构：

[1] Dipartimento di Informatica e Sistemistica, Università di Roma La Sapienza, I-00185 Roma

来源：

INFORMATION SCIENCES | 1991年 / 53卷 / 1-2期

关键词：

D O I：

10.1016/0020-0255(91)90058-3

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The type data base is the part of the data base in which all the information about classes, membership relationships between objects and classes and interdependencies among classes are collected. We study specific type data bases, which allow for representing different kinds of incomplete information, such as existential and disjunctive assertions. In particular, we address the problems of consistency checking and query answering, proposing efficient solutions for both of them. Our analysis is carried out in the context of the logical approach to data bases and knowledge representation, which provides a suitable formal basis for the treatment of incomplete information. © 1991.

引用

页码：61 / 87

页数：27