|
|||||
|
|
| 部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解 | |
| 作者姓名： | 潘久辉 |
| 作者单位： | 中南矿冶学院计算机科学系 |
| 摘 要： | 部分赋值的一阶逻辑公式的条件求值问题是在关系数据库应用，尤其是在分布式环境下应用中经常遇到的问题．此问题在一般意义下的解是NP完全的．本文首先证明此问题的解存在的充要条件，从而推知其NP完全性．然后给出该问题在一种特定情况下的求解方法。 |
| 关 键 词： | 条件求值问题 公式 情况 赋值 特定 证明 一般 NP完全 一阶逻辑 关系数据库 |
| 本文献已被 维普 等数据库收录！ | |