Gamma 无环性、注释关系与一致性见证函数
数据库
2025-09-25 v1
摘要
在关系数据库理论的早期，人们认识到“无环”数据库模式具有许多理想的语义特性。事实上，在 20 世纪 80 年代，三种不同的“无环性”概念被识别并广泛研究，即 alpha-无环性、beta-无环性和 gamma-无环性。最近，对 alpha-无环性的研究被扩展到注释关系，其中注释是来自某个正交换幺半群的值。关于 alpha-无环模式和注释关系的最新结果引出了关于 beta-无环模式和注释关系的结果，因为一个模式是 beta-无环的当且仅当其每个子模式都是 alpha-无环的。在此，我们研究 gamma-无环模式和注释关系。我们的主要发现是，gamma-无环模式的理想语义特性可以扩展到注释关系，前提是注释来自具有传输性质的正交换幺半群。此外，本文报告的结果阐明了两个标准关系连接的作用。具体来说，我们的结果揭示了两个标准关系连接唯一相关的性质是：如果这两个关系是一致的，那么该连接就是它们一致性的一个见证。对于更抽象的注释关系设置，标准连接的这一性质被“一致性见证函数”的概念所捕获，我们在本工作中系统地研究了这一概念。
引用
@article{arxiv.2509.19621,
title = {Gamma Acyclicity, Annotated Relations, and Consistency Witness Functions},
author = {Albert Atserias and Phokion G. Kolaitis},
journal= {arXiv preprint arXiv:2509.19621},
year = {2025}
}