关系数据库 关系演算.pptVIP

一个例子 设：P表示：x是z学院的学生， c 表示学生选了y这门课。 第30页，共71页，编辑于2022年，星期二 二. 原子公式的构成 元组变元：s,t,x,y或加下标t1。 关系谓词：R（t),P(x),等。 算术比较谓词：s[I]与t[j]的比较。 如：s[2]t[4]. 第31页，共71页，编辑于2022年，星期二 三.合式公式的组成： 1. 原子公式是合式公式。 逻辑运算引入： 量词引入： 元组演算的基本形式： 其中：t为自由元组变元， 为合式公式。 第32页，共71页，编辑于2022年，星期二 四. 元组演算举例 交集： 并集： 差集`： 笛卡尔积： 第33页，共71页，编辑于2022年，星期二 应用举例：(见上节） 求学号为“200201234”的学生。 2.求信息学院学生所选课的课号，课名。 3.求还没有选任何课的学生学号。 4.求同时选了两门课以上的学生。 5.求每门课都及格了的学生。 6.求选了信息学院所开所有课程的学生学号。 第34页，共71页，编辑于2022年，星期二 答案 1. 3. 4. 6. 第35页，共71页，编辑于2022年，星期二 五. 元组演算规则 由元组演算所产生的关系必须是有限关系。 如： 是无效的。 第36页，共71页，编辑于2022年，星期二 第三节 域谓词演算 一：基本概念： 域变量：用来表示域的变量 域演算：由域变量谓词构成的逻辑公式。 演算格式： 第37页，共71页，编辑于2022年，星期二 二. 基本公式 域变量关系谓词： 算术比较谓词： 如 xy, x=8等。 第38页，共71页，编辑于2022年，星期二 三. 域演算合式公式 基本公式是合式公式。 用 组成的公式。 引入 组成的公式。 例如：R(x,y,z), 是合式公式。 不是合式公式。 第39页，共71页，编辑于2022年，星期二 域演算的一般方法： 定义域变量。 选择关系。 确定约束变量。 第40页，共71页，编辑于2022年，星期二 描述关系代数： . 1. 2. 3. 第41页，共71页，编辑于2022年，星期二 描述2 笛卡尔积： 选择 投影 第42页，共71页，编辑于2022年，星期二 五. 应用举例 1. 2. 第43页，共71页，编辑于2022年，星期二 六. 请说出下列描述的含义 1. 第44页，共71页，编辑于2022年，星期二 续 2. 第45页，共71页，编辑于2022年，星期二 第四节 数据逻辑 DATALOG 一 演算规则： 1. 比较谓词 2 . 关系谓词 导出关系谓词，基本关系谓词 3. 域变量与哑元 4. 规则： 规则头 规则体 5. 查询：由一组规则组成。 第46页，共71页，编辑于2022年，星期二 对规则的说明： 规则头：只能是导出关系谓词。 规则体：原子谓词 原子谓词的否定 用 (and)连接以上两类谓词。 例如：T(x,y,z) S(x,y,z) AND x1 R(x,y) NOT Q(x,y) 第47页，共71页，编辑于2022年，星期二 规则的语义 变量的作用域是一条规则。 关系谓词的作用域是一个查询（全局的) 每一个导出关系谓词都对应一个需要求解的关系，关系由所有满足规则体的元组构成。 例10 T(x,y,z) S(x,y,z) AND x1 T: S: A B D 1 2 3 2 3 1 A B D 2 3 1 第48页，共71页，编辑于2022年，星期二 又一例 例10. T(x,y) S(x,y,-) R: T(x,y) R(x,z,y) 请问：T的值是多少？ S: A B C 1 2 3 3 2 3 1 3 1 A B D 1 2 3 2 3 1 第49页，共7