在MatBase中强制满足、一致且极小的二元关系约束集
数据库
2024-12-02 v2
摘要
本文在我们（初等）数学数据模型（(E)MDM）的背景下，严格而简洁地定义了二元关系、自反性、反自反性、对称性、反对称性、传递性、反传递性、欧几里得性、反欧几里得性、等价性、无环性、连通性等数学概念，以及关联这些概念的性质，并给出了关于由这些被视为数据库约束的二元关系性质构成的集合的一致性和极小性的相应推论。本文的主要贡献是MatBase（我们基于(E)MDM、关系数据模型和实体-联系数据模型的智能数据库管理系统原型）用于强制二元关系约束集的伪代码算法。我们证明了该算法能保证此类集合的可满足性、一致性和极小性，同时具有非常快速、可靠、完备和极小的特点。随后，我们还展示了相关的MatBase用户界面以及该算法所使用的元目录表。
引用
@article{arxiv.2410.23485,
title = {On Enforcing Satisfiable, Coherent, and Minimal Sets of Dyadic Relation Constraints in MatBase},
author = {Christian Mancas},
journal= {arXiv preprint arXiv:2410.23485},
year = {2024}
}
备注
submitted to Primera Scientific Engineering Journal on 10/29/2024; published on 11/26/2024