On Enforcing Existence and Non-Existence Constraints in MatBase
Abstract
Existence constraints were defined in the Relational Data Model, but, unfortunately, are not provided by any Relational Database Management System, except for their NOT NULL particular case. Our (Elementary) Mathematical Data Model extended them to function products and introduced their dual non-existence constraints. MatBase, an intelligent data and knowledge base management system prototype based on both these data models, not only provides existence and non-existence constraints, but also automatically generates code for their enforcement. This paper presents and discusses the algorithms used by MatBase to enforce these types of constraints.
Keywords
Cite
@article{arxiv.2403.14726,
title = {On Enforcing Existence and Non-Existence Constraints in MatBase},
author = {Christian Mancas},
journal= {arXiv preprint arXiv:2403.14726},
year = {2024}
}
Comments
Submitted to the BOHR International Journal of Computer Science (BIJCS), ISSN: 2583-455X, on March 20, 2024; withdrawn on April 22, 2024 for lack of reply. Submitted to the PriMera Scientific Engineering Journal (ISSN: 2834-2550) on 22/4/2024 and published on 18/5/2024