扩展（基本）数学数据模型与MatBase：引入两种新约束类型——不存在约束与反不存在约束

本研究论文介绍了两种新的约束类型及其四个子类型的约束，这些约束是存在性约束和非存在性约束的对立面，已添加到我们（基本）数学数据模型中。它们被正式定义、特征化，并以真实实例进行示例。研究了所有7种存在性约束子类型的完备性、可满足性、一致性和最小性。提供了用于管理此类约束集的嵌入SQL伪代码算法，并证明其常数复杂度、正确性、完备性和最优性。还提供了用于执行这些新型约束（称为不存在约束和反不存在约束）的算法。其特征表明，这些算法在涉及的函数（笛卡尔积）之和上的线性复杂度，并且也是正确的、完备的和最优的。所有这些算法都实现了我们原型MatBase系统的两个版本中，该系统自动生成用于执行所有7种存在性约束子类型约束的强制代码。