排序方式: 共有36条查询结果,搜索用时 46 毫秒
1.
SQL多表外连接查询 总被引:1,自引:0,他引:1
连育英 《科技情报开发与经济》2005,15(6):240-242
介绍了外连接查询的意义、外连接查询的实现步骤和方法,着重指出:SQL对一父多子的多个表进行外连接查询时,要特别注意FROM子句中连接对象和连接条件的先后位置。当子表中符合连接条件的记录有多条时,不要在SQL—SELECT语句中用SUMO函数和GROUP BY子句实现分组汇总,应汇总后再连接。否则,会导致汇总数据的错误,并且执行时间也大大增加。需对结果中值为NUIL的字段进行数学运算时。要对其进行替换处理。 相似文献
2.
徐志农 《暨南大学学报(自然科学与医学版)》1990,(3)
Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。 相似文献
3.
本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。 相似文献
4.
无回路规则系统的Petri网验证方法 总被引:1,自引:0,他引:1
构建了无回路规则系统的加标ω-Petri网模型,产生了相应的可达树,利用可达状态反映规则系统所包含的所有可达关系,并记录;提出了可达状态的反向推演森林及其算法,实现规则系统命题间可达路径的显式化.在此基础上,给出了规则系统错误的判定定理及其检测算法,实现了结构错误的有效判定和分析. 相似文献
5.
本文重新定义了有序子句的有序因子,证明了在这种有序因子定义下的提升引理,进而在理论上得到了多重取因子的线性序归结方法的完备性。 相似文献
6.
可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题。本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。 相似文献
7.
可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题。本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。 相似文献
8.
在命题逻辑中给出将re-Horn子句转化成Horn子句的条件与方法,用同态的方法证明转化前后2个子句集的可满足性或不可满足性的一致性,给出re-Horn子句集的可满足性的判定方法。 相似文献
9.
蒋映 《云南师范大学学报(自然科学版)》1998,18(2):29-31
在本文中我们将在分析一阶程序逻辑的求解过程的基础上,讨论可满足性与布尔阵的关系,并给了一元涵词Horn子句可满足性的矩阵描述。 相似文献
10.