在MatBase中强制执行可满足、协调且最小的自映射约束集
数据库
2025-02-04 v2
摘要
本文在（初等）数学数据模型((E)MDM)的背景下，严格而简洁地定义了自映射、复合映射、全射性、单射性、非素性、满射性、双射性、默认值、（空）自反性、非自反性、（空）对称性、非对称性、（空）幂等性、反幂等性、（空）等价性、无环性、（空）代表系统映射等数学概念，以及它们之间的关系性质，以及关于由这些映射性质构成的集合（视为数据库约束）的协调性和最小性的相应推论。其主要贡献是伪代码算法，该算法被我们的智能数据库管理系统原型MatBase（基于(E)MDM、关系模型和实体-关系数据模型）用于强制执行自映射、原子映射和复合映射约束集。我们证明该算法保证了此类集合的可满足性、协调性和最小性，同时非常快速、可靠、完备且最小。随后，我们还展示了相关的MatBase用户界面以及该算法使用的元目录表。
引用
@article{arxiv.2412.14679,
title = {On Enforcing Satisfiable, Coherent, and Minimal Sets of Self-Map Constraints in MatBase},
author = {Christian Mancas},
journal= {arXiv preprint arXiv:2412.14679},
year = {2025}
}
备注
Submitted to the PriMera Scientific Engineering Journal on 18 Dec. 2024. arXiv admin note: substantial text overlap with arXiv:2410.23485