On Enforcing Existence and Non-Existence Constraints in MatBase

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autor principal: Mancas, Christian
Formato: Preprint
Publicado: 2024
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866910452343111680
author Mancas, Christian
author_facet Mancas, Christian
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2403_14726
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle On Enforcing Existence and Non-Existence Constraints in MatBase
Mancas, Christian
Databases
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.
title On Enforcing Existence and Non-Existence Constraints in MatBase
topic Databases
url https://arxiv.org/abs/2403.14726