30、XML 中基于视图的树语言重写与功能约束研究

XML 中基于视图的树语言重写与功能约束研究

1. 功能约束的公理化与结论

1.1 功能约束公理化的完整性

功能约束的公理化若移除自反性、增强性、传递性、不一致性、模式修改或左修改等公理中的任何一个，就不再是完整的。这表明这些公理对于功能约束公理化的完整性至关重要，缺一不可。

1.2 研究成果与未来方向

从 RDF 数据模型的功能和等式生成约束出发，对任意关系上的功能约束进行了研究。取得的第一个成果是证明了功能约束存在保对称追赶。利用保对称追赶，推导出了功能约束的一个可靠且完整的公理化，解决了 RDF 数据模型功能约束研究中的一个主要开放问题。

未来工作仍存在一些开放问题，例如功能约束的 Armstrong 关系是否存在。另一个研究方向是功能约束的泛化，特别是在功能约束的右侧添加常量，会产生一类非常强大的约束，它同时泛化了功能约束和条件功能依赖。此外，与功能依赖和等式生成约束相比，处理功能约束的复杂度尚不清楚。

2. XML 中基于视图的查询重写（QRV）

2.1 QRV 的重要性与背景

查询重写使用视图（QRV）是一个基本问题，在查询优化、数据集成、数据仓库、安全和其他关键数据库服务中有着广泛的应用。在 XML 树的节点选择查询和视图方面对 QRV 进行了研究。

2.2 经典 QRV 问题示例

假设有一个非常大的电影集合，如 imdb.com 上的电影数据，组织成一个超级树，每部电影是一个包含标题、年份和角色的子树。角色节点会分支到扮演该角色的演员。有些电影包含由多个演员扮演的角色，称为“多演员角色（MAC）”。一个查询