20、高效数据处理：XML视图更新与RDF知识库实体搜索

高效数据处理：XML视图更新与RDF知识库实体搜索

1. XML视图更新

在XML数据处理中，视图更新是一个重要的问题。例如，当我们要对XML视图进行更新时，需要将更新操作准确地转换为对源数据的更新。

假设有一个视图的连接条件为 /v/e/C 及其源路径 y ，满足 y/D = z 。那么转换后的源更新如下：

δS:
for x in doc("r")/r/A, y in x/C, z in x/H
where y/D=z and z="1"
update y (insert (K 5))

可以很容易验证，这个转换后的更新操作是正确的，即 V (δS(S) = δV (V (S)) 。

在关系数据库中，视图更新问题也有类似的情况。假设有三个关系： Student(sid, name, tel) 、 Course(cid, name, credit) 和 Enrolment(stud, crs, year, semester, mark) ，定义了一个视图 Vr = Student ▷◁sid=stud Enrolment ▷◁crs=cid Course 。当执行更新语句 update Vr set mark="90" where sid="s01" 时，由于更新条件属性 si