条件求值

作品数：80被引量：6H指数：1
导出分析报告
相关领域：文化科学理学更多>>
相关作者：邱艳平潘久辉李国靖章玉龙刘春更多>>
相关机构：深圳市光明中学承德县一中国际商业机器公司阳新县白沙中学更多>>
相关期刊：更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机应用技术x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解
《中南矿冶学院学报》1989年第2期204-211,共8页潘久辉 
部分赋值的一阶逻辑公式的条件求值问题是在关系数据库应用,尤其是在分布式环境下应用中经常遇到的问题。此问题在一般意义下的解是NP完全的。本文首先证明此问题的解存在的充要条件,从而推知其NP完全性。然后给出该问题在一种特定情况...
关键词：条件求值问题 公式 情况 赋值 特定 证明 一般 NP完全 一阶逻辑 关系数据库 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部