第三章数据库查询答案.ppt

第三章数据库查询技术 1. 关系数据库中的递归查询. 2. 对象数据库查询语言(OQL) 3. 基于XML的查询技术(XSLT,Xquery) 第一节 数据逻辑 DATALOG 一 演算规则： 1. 比较谓词 2 . 关系谓词 导出关系谓词，基本关系谓词 3. 域变量与哑元 4. 规则： 规则头 规则体 5. 查询：由一组规则组成。 对规则的说明： 规则头：只能是导出关系谓词。 规则体：原子谓词 原子谓词的否定 用 (and)连接以上两类谓词。 例如：T(x,y,z) S(x,y,z) AND x1 R(x,y) NOT Q(x,y) 规则的语义 变量的作用域是一条规则。 关系谓词的作用域是一个查询（全局的) 每一个导出关系谓词都对应一个需要求解的关系，关系由所有满足规则体的元组构成。 例10 T(x,y,z) S(x,y,z) AND x1 T: S: 又一例 例10. T(x,y) S(x,y,-) R: T(x,y) R(x,z,y) 请问：T的值是多少？ S: 二. 逻辑公式的转化 1. 非内置否定的转化： NOT（A AND B）=NOT A AND NOT B OR 条件的转化： A OR B 转化为两条规则。 如：T(x) S(x,y,z) and (x=1 or x=2) 变为 T(x) S(x,y,z) and x=1 T(x) S(x,y,z) and x=2 三 规则的安全性条件 作用：排除无限关系。 安全条件： 在规则中所出现的变量必须在规则体中非 否定的关系谓词中出现。如： Q(x,y) R(x) and y0 P(x,y) not S(x,y,z) and z=1 Q(x,y) R(x) 四 规则的求解 建立各关系的笛卡尔积 一致性检查。 若规则体为真，将元组加入导出关系中。 例12 设R={1,2,5,3,3,3},S={2,2,3,4} 求 规则 Q(x,y) R(x,z) and S(z,y) and x1 not S(x,y). 求解过程 R S 一致性 X1 NOT S(x,y) (1,2) (2,2) t f (1,2) (3,4) f (5,3) (2,2) f (5,3) (3,4) t t t (3,3) (2,2) f (3, 3) (3,4) ? ? ? 五 描述关系代数 并集： 交集： 差集： 续 笛卡尔集： Q(x,y,s,t) R(x,y) and S(s,t) 投影：Q(x,y) R(x,y,z) 自然连接：设 R(A,B),S(B,C) Q(x,y,z) R(x,y) and S(y,z) 其它的运算请同学自己考虑。 Datalog的应用 求信息和会计学院的学生 求选了数据库的学生学号 SJK(x) XK(x,y,-) and KC(y,z,-) and z=“数据库“ 第二节关系不动点与递归查询 一 . 关系代数的不动点 设： y=f(x)是关于x的代数式子，若有r使得r=f(r) 成立，则称r为该关系式的不动点。 在所有不动点中行数最小的关系称为最小不动点。 例：求下列式子的不动点： f(r )=S r 设 s={1,2,1,3}，r与s同模式。则： r0= ,r1=s是不动点。 DATALOG中的 递归查询 递归查询：在规则中，导出关系谓词在规则头和规则体中同时出现。 如：Q(x,y) R(x,y) and Q(y,z) 二递归查询的求解 递归查询的解是