期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解
1
作者
潘久辉
《中南矿冶学院学报》
CSCD
1989年第2期204-211,共8页
部分赋值的一阶逻辑公式的条件求值问题是在关系数据库应用,尤其是在分布式环境下应用中经常遇到的问题。此问题在一般意义下的解是NP完全的。本文首先证明此问题的解存在的充要条件,从而推知其NP完全性。然后给出该问题在一种特定情况...
部分赋值的一阶逻辑公式的条件求值问题是在关系数据库应用,尤其是在分布式环境下应用中经常遇到的问题。此问题在一般意义下的解是NP完全的。本文首先证明此问题的解存在的充要条件,从而推知其NP完全性。然后给出该问题在一种特定情况下的求解方法。
展开更多
关键词
条件求值问题
公式
情况
赋值
特定
证明
一般
NP完全
一阶逻辑
关系数据库
在线阅读
下载PDF
职称材料
题名
部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解
1
作者
潘久辉
机构
中南矿冶学院计算机科学系
出处
《中南矿冶学院学报》
CSCD
1989年第2期204-211,共8页
文摘
部分赋值的一阶逻辑公式的条件求值问题是在关系数据库应用,尤其是在分布式环境下应用中经常遇到的问题。此问题在一般意义下的解是NP完全的。本文首先证明此问题的解存在的充要条件,从而推知其NP完全性。然后给出该问题在一种特定情况下的求解方法。
关键词
条件求值问题
公式
情况
赋值
特定
证明
一般
NP完全
一阶逻辑
关系数据库
Keywords
predicate logic
database
relational algebra
分类号
G633 [文化科学—教育学]
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解
潘久辉
《中南矿冶学院学报》
CSCD
1989
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
