28、功能约束的蕴含与公理化及其在RDF数据模型中的应用

功能约束的蕴含与公理化及其在RDF数据模型中的应用

1. 事务并发冲突识别与功能约束基础

在事务并发由快照隔离控制的场景中，有一种用于识别导致违反完整性约束冲突的方法被提出。与确保完全可串行化的方法不同，该识别方法仅涉及成对的事务，且可全面测试，无需担心误报。这在不适合中止或延迟事务执行的环境中具有应用潜力。

在数据管理领域，数据通常会受到由其语义所隐含的完整性约束。将这些约束形式化，有助于对数据进行推理，并识别数据中的不一致性。因此，形式约束在自动维护数据完整性和优化查询评估的数据库管理系统中起着重要作用。

对于关系数据模型，已经研究了多种类型的约束。其中，函数依赖是最简单的约束之一，它在著名的Boyce - Codd范式和关系模式规范化中都起着重要作用。除了函数依赖，还研究了许多其他依赖关系，如等式生成依赖。

而对于RDF和XML图数据模型，大量关于数据完整性的工作集中在数据的模式上，如RDF模式、XML数据模型中的DTD和XSD。不过，在这些数据模型中，使用类似依赖的约束并不常见，尽管已经有了一些初步的尝试。

Akhtar等人引入的等式生成约束和功能约束就是RDF数据模型中类似依赖约束的例子。等式生成约束指定了RDF数据中可能出现的模式，以及这些模式上应满足的等式。功能约束是三元RDF关系上函数依赖的推广，形式为 (P, L →R) ，其中 P 指定了RDF数据中的一个模式， L 和 R 是该模式中出现的变量集。其语义与函数依赖类似：如果RDF数据的两部分匹配该模式，并且在 L 上相等，