SQL多表外连接查询

介绍了外连接查询的意义、外连接查询的实现步骤和方法，着重指出：SQL对一父多子的多个表进行外连接查询时，要特别注意FROM子句中连接对象和连接条件的先后位置。当子表中符合连接条件的记录有多条时，不要在SQL—SELECT语句中用SUMO函数和GROUP BY子句实现分组汇总，应汇总后再连接。否则，会导致汇总数据的错误，并且执行时间也大大增加。需对结果中值为NUIL的字段进行数学运算时。要对其进行替换处理。     

Asymptotic structure of Einstein-Gauss-Bonnet theory in lower dimensions

Recently,an action principle for the D→4 limit of Einstein-Gauss-Bonnet gravity has been proposed.It is a special scalar-tensor theory that belongs to the family of Horndeski gravity.It also has well defined D→3 and D→2 limits.In this work,we examine this theory in three and four dimensions in the Bondi-Sachs framework.In both three and four dimensions,we find that there is no news function associated with the scalar field,which means that there is no scalar propagating degree of freedom in the theory.In four dimensions,the mass-loss formula is not affected by the Gauss-Bonnet term.This is consistent with the fact that there is no scalar radiation.However,the effects of the Gauss-Bonnet term are quite significant in the sense that they arise just one order after the integration constants and also arise in the quadrupole of the gravitational source.     

Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。     

λ-Horn集上的λ-单元锁归结

本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。     

Horn集上的有向调解法

本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。     

无回路规则系统的Petri网验证方法

构建了无回路规则系统的加标ω-Petri网模型，产生了相应的可达树，利用可达状态反映规则系统所包含的所有可达关系，并记录；提出了可达状态的反向推演森林及其算法，实现规则系统命题间可达路径的显式化．在此基础上，给出了规则系统错误的判定定理及其检测算法，实现了结构错误的有效判定和分析．     

Horn集上的语义正单元归结

Ｌ． Ｈｅｎｓｃｈｅｎ证明了语义归结对 Ｈｏｒｎ集是完备的［１］。但是语义归结不是正单元归结。本文的主要结果是不可满足的Ｈｏｒｎ子句集合Ｓ有这样一个反驳，对于这个反驳的每一个归结来说，或者一个祖先子句是正单元，而且该正单元在 Ｉ上是假的；或者一个祖先子句是正单元，而且从另一个祖先子句和这个归结式中删去他们的正义字后剩下的子句在 Ｉ上都是假的．其中 Ｉ是 Ｓ的任何一个解释。     

基于GAG的Horn逻辑分布式推导模型

分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径,问题求解被转换为对GAG的搜索.还讨论了广义与或图搜索算法在Horn逻辑推理当中的应用.     

基于数据转换的数据集成技术

随着信息化的持续深入发展，大多数组织内部都有由过去遗留下来的许多分布、自治、异构的应用系统，大家都迫切期望能够实现不同类型、内容和格式的数据相互转换。类型转换将数据表达式从一种类型转换成另外一种类型，SELECT列表、WHERE子句以及允许引用表达式的任何地方都有可能需要进行类型转换。并不是所有的数据类型之间都可以进行数据转换，比如在SYBASE数据库下不能在DATETIME和1NT之间进行类型转换。根据数据类型之间是否能自动执行数据类型的转换，又分为显式类型转换和隐式类型转换。显式类型转换是指数据类型之间不能自动执行数据类型的转换，必须使用系统内部转换函数来显式地请求转换成其他数据类型。隐式类型转换是指数据库系统能够根据需要自动执行数据类型的转换，比如比较字符串表达式和日期表达式，或者比较整数表达式和长整数表达式，或者比较具有不同长度的字符串表达式，系统就会自动将一种类型转换成另外一种数据类型。在进行数据转换处理时还会遇到根据条件分支选择进行内容转换，就是根据输入的值和某种匹配规则来计算所有输出的值。不同的数据库平台支持条件分支选择的方式也不同，比如在SYBASE中用CASE语句，而在ORACLE中却使用DECODE函数。内容转换函数DECODE是按照值进行替换，TRANSLATE函数则是按照顺序逐个替换每位字符，最后实现了简单的密码机制。如果数据库不支持条件分支选择内容转换，则需要重复多次使用WHERE语句来处理。     

可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题。本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。