排序方式: 共有23条查询结果,搜索用时 625 毫秒
11.
关系代数中“除法”运算的SQL查询实现 总被引:5,自引:0,他引:5
利用离散数学作为分析工具,给出了关系代数中除法运算的各种查询原理,特别阐述了SQL查询语句的实现,无论是教学还是实际应用具有一定的指导意义. 相似文献
12.
利用离散数学作为分析工具,给出了关系代数中除法运算的各种查询原理,特别阐述了SQL查询语句的实现,无论是教学还是实际应用具有一定的指导意义. 相似文献
13.
一个新的模糊谓词演算形式系统 总被引:6,自引:0,他引:6
首先,在模糊逻辑命题演算形式系统Ω^*的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K^*,基于R0代数的基本理论,给出了系统K^*的若干语义概念,包括M-解释I,I-赋值,公式的值,真,M-逻辑有效性等,从而形成了模糊谓词演算一种新的语构与语义体系。其次,研究了系统K^*的基本性质,指出了系统Ω^*的定理都是系统K^*的定理,给出了系统K^*与量词有关的一些重要定理,证明了系统Ω^*的重言式在系统K^*中的代换实例都是系统K^*中的定理关于任何R0链也是逻辑有效的;系统K^*的强可靠性定理也成立,即系统K^*在任何理论T下的定理关于任何R0链也是逻辑有效的。最后给出并证明了系统K^*的一种新的演绎定理,一阶系统K^*及其重要的性质,为模糊推理提供了一种更为合理的逻辑框架。 相似文献
14.
关系数据库是具有严格数学模型的一种数据库系统,该系统有效地解决了数据存储和数据应用问题;除法运算是关系数据库的基本运算之一,在MS SQL里面较难实现相关操作.文章利用谓词逻辑的基本推理方法有效地分解了除法运算的基本过程,给出了除法运算的基本语义,并对除法运算提供了有效的SQL实现手段,从而提供了MS SQL实现除法运算的有效手段,也为MS SQL有关的教学提供了操作模式. 相似文献
15.
16.
一阶形式系统K*及其完备性 总被引:5,自引:0,他引:5
模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性. 相似文献
17.
本文介绍了PowerBuilder7.0中谓词逻辑演算功能 ,并举例分析了其应用。 相似文献
18.
中介逻辑的谓词演算系统(Ⅱ) 总被引:1,自引:1,他引:0
本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF的形式定理。定理10 MF:[1]x~A(x)~xA(x),[2]~xA(x)x~A(x)[3]~xA(x)x~A(x). 定理11 F:[1]x[A(x)→B(x)],xA(x)xB(x),[2]x[A(x)→B(x)],~xA(x)xB(x),[3]x[A(x)→B(x)],x~A(x)(x)B(x),[4]x[A(x)→B(x)],xA(x)xB(x),[5]x[A(x)→B(x)],x~A(x)xB(x),[6]x[A(x)→B(x)],xA(x)xB(x). 定理12 MF:[1]xA(x)∧Bx[A(x)∧B],x不在B中出现,[2]xA(x)∧BxA(x)∧B],x不在B中出现.[3]xA(x)∨Bx[A(x)∨B],x不在B中出现.[4]xA(x)∨Bx[A(x)∨B],x不在B中出现. 定理14 MF:[1]xA(x)∧xB(x)x[A(x)∧B(x)],[2]xA(x)∨xB(x)x[A(x)∨B(x)],[3]xA(x)∨xB(x)x[A(x)∨B(x)],[4]x[A(x)∧B(x)]xA(x)∧xB(x). 定理17 MF:[1]x[A(x)B(x)],x[B(x)C(x)x[A(x)C(x)],[2]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∧A_2(x)B_1(x)∧B_2(x)],[3]x[A_1(x) B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∨A_2(x)B_1(x)∨B_2(x)]. 相似文献
19.
谓词演算作为一种智能表示的语言,箕优点是精确定义的形式语义,合理而完备的推理规则.使用谓词演算来进行知识的表示和推理,能代表实际应用中的许多问题.现就基于谓词逻辑的金融投资辅助决策系统加以分析与研究. 相似文献
20.
本文提出一种具有智能的积木式建模方法,将模型分解成基本单元,用原子公式表示其结构,并用谓词表示模型的基本要素,通过谓词演算产生复合模型,由关系框架把子模型连接在一起。积木式建模方法依靠建模知识库的支持。对于新的问题求解环境,系统具有学习的功能,使用户能在变化的环境中直接建模。从而体现了模型能跟踪环境变化的特点。 相似文献