数据库的访问控制.pptVIP

* (2)更新操作 访问等级为c的用户的更新操作可写成语句：UPDATE Rc SET Ai=si[,Aj=sj] [WHERE p]。其中sj是一标量表达式，p是谓词表达式，以确定要更新的元组。 更新操作对实例Rc的影响 设S是实例Rc中满足谓词p的元组集合，更新操作对每个元组t∈S的影响是两个方面的。 按用户要求用t’更替t,t’中除SET子句中出现的属性赋于新值外，所有属性值与t中相应属性值相同，即： 第63页，共93页。 * 为了避免隐蔽通道，每更新一个元组，可能要再插入一个元组，将此更新对那些访问等级低于c的用户隐藏起来，新插入的元组t’’定义如下： 更新操作时，对每个元组t∈S,是用t’和t’’来替换，如果更新结果满足多实例完整性，更新操作成功，否则，拒绝此更新操作，原关系不变。 第64页，共93页。 * 更新操作对实例R’c的影响 实例Rc更新操作的结果是按照最小传播策略传播到访问等级更高的实例R设S是实例Rc’c中的，即只将为维护实例间完整性所必须的元组插入实例Rc’c。插入实例Rc’c的元组是更新过的元组t’，可能还有元组t’’。 设Ai是SET子句中的一个属性，t[Ci]=c,t[Ai]=x,其中x是非空值。假定一个访问等级为c的用户要求将属性t[Ai]的值x修改为si。由于是多实例的原因，在Rc’c中可能存在几个元组，它们与t具有相同的外观主码，并且在属性