Belnap-Dunn logic and query answering in inconsistent databases with null values
Belnap-Dunn logic and query answering in inconsistent databases with null values
复制标题
具有空值的不一致数据库中的 Belnap-Dunn 逻辑和查询应答
DOI：
--
复制
发表时间：
2023
影响因子：
0.9
通讯作者：
K. Middelburg
中科院分区：
文献类型：
--
作者：
K. Middelburg
本文讨论了一阶Belnap-Dunn逻辑的一种扩展，称为BD^{supset，F}_{ot}，以及这种逻辑在关系数据库理论领域中的应用。关系数据库的概念，适用于关系数据库的查询的概念，以及关于关系数据库的查询的答案的几个概念从这个逻辑的角度考虑，考虑到数据库可能是不一致的数据库和/或具有空值的数据库。所选择的视角使得能够定义关于可能不一致的数据库的查询的一致答案的概念，而无需诉诸数据库修复。对于所考虑的答案的每个概念，作为关于所考虑的类型的数据库的查询的答案是可判定的。
This paper concerns an expansion of first-order Belnap-Dunn logic, called BD^{supset,F}_{ot}, and an application of this logic in the area of relational database theory. The notion of a relational database, the notion of a query applicable to a relational database, and several notions of an answer to a query with respect to a relational database are considered from the perspective of this logic, taking into account that a database may be an inconsistent database and/or a database with null values. The chosen perspective enables among other things the definition of a notion of a consistent answer to a query with respect to a possibly inconsistent database without resort to database repairs. For each of the notions of an answer considered, being an answer to a query with respect to a database of the kind considered is decidable.
DOI：
10.1145/3196959.3196966
发表时间：
2018
期刊：
--
影响因子：
--
作者：
Calautti M
通讯作者：
Calautti M