第3章关系数据库概论.pptVIP

安全限制的方法(1) 6.关系演算就不一定是安全的，因为存在无限关系和无穷验证过程 7.对关系演算进行安全限制的方法：定义一个?的有限符号集合，记作DOM(?)(不必是最小集合)，它由以下两类符号构成： ⑴ ?中的常量符号； ⑵ ?中涉及的所有关系的所有元组的各个分量值。 把{t | ┐R(t)}和(?t)(ω(t))中的t都限制在DOM(?)中取值，就不会出现无限关系和无穷验证过程，这时关系演算是安全的。 安全限制的方法(2) 8.一个元组演算表达式{t |?(t)}称为是安全的，如果它满足以下条件： ⑴ 如果元组t能使?(t)为真，则t的每个分量是DOM(?)中的元素。 (2)对于? 中的每一个形如(?t)ω(t)的子表达式，如果t使ω(t)为真，则t 的每一个分量是DOM(?)中的元素。 (3)对于? 中的每个形如(?t)ω(t)的子表达式，如果t使ω(t)为假，则t 的每个分量必属于DOM(?)，也可以说，若t的某个分量不属于DOM(?)，则ω(t)为真。 安全限制的方法(2) 设关系R如下，求元组演算表达式S={t | ┐R(t)} A B C a b 1 3 7 8 关系R 注意属性B和C的域是整数集，如不进行限制，S是一个无限关系。根据安全表达式的条件和DOM(?)的构造方法，令DOM(?)＝∏A(R)∪∏B(R)∪∏C(R)＝{