Paraconsistent Logics viewed as a Foundation of Data Warehouses

摘要

Data warehouse can be seen as a large database in which we can use several techniques from data mining and knowledge discovery in database (KDD). Data warehouses store many data which may have features related to incomplteness and inconsistency. To provide a foundation of data warehouses, paraconsistent logics are useful. In this paper, we sketch an outline of data warehouses using existing systems of paraconsistent logics. We compare these systems in several respects and claim that most systems are suitable to KDD. We also argue that some extensions of paraconsistent logics can be developed to show the mechanism of data mining.