20、数据库推理问题与安全约束处理

数据库推理问题与安全约束处理

1. 推理问题概述

在数据库安全领域，推理问题一直是研究的重点。除了Morgenstern、Hinke和Thuraisingham等人的工作外，还有其他学者在该领域做出了贡献。例如，Meadows展示了如何将Brewer和Nash的中国墙策略模型应用于推理问题；Lin反驳了应用中国墙策略模型的一些概念，并在推理问题上开展了早期工作，还应用了模糊逻辑；Lunt发表了一篇有趣的论文，讨论了推理问题的事实与谬误。此外，研究人员还研究了聚合问题，即元素集合被分类，而单个元素未被分类的情况。

下面是一个用于处理推理问题的逻辑数据库系统的结构：

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    A(知识, 约束) --> B(用户界面管理器)
    B --> C(演绎数据库管理器/推理引擎):::process
    C --> D(多级数据库)
    C --> E(多级数据库管理器)
    C -.-> |作为推理控制器| D

2. 推理问题的复杂性

Thuraisingham在1990年研究了推理问题的复杂性，这项工作被John Campbell博士引用，被认为是1990年安全数据库的重大发展之一。在研究中，从递归函数理论的角度探讨推理问题的复杂性是有意义的，因为递归函数理论是可计算性概念的来源，并且为计算复杂性和Kolmograv复杂性理论等抽象理论的发展提供了基础。

<