On enforcing function diagram commutativity and anti-commutativity constraints in MatBase
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909281373126656 |
|---|---|
| author | Mancas, Christian Mancas, Diana Christina |
| author_facet | Mancas, Christian Mancas, Diana Christina |
| contents | Presented are algorithms for enforcing function diagram commutativity and anti-commutativity database constraints, using the database software application constraint-driven design and development methodology, in the realm of the (Elementary) Mathematical Data Model ((E)MDM). MatBase, an intelligent data and knowledge management system prototype mainly based on the (E)MDM, uses these algorithms to automatically generate corresponding code in both its versions (i.e., the MS Access and the .NET and SQL Server ones). Of course, any software developer may also use these algorithms manually. The paper also discusses the code generated to enforce two such constraints from a Geography database. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_16082 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On enforcing function diagram commutativity and anti-commutativity constraints in MatBase Mancas, Christian Mancas, Diana Christina Databases Presented are algorithms for enforcing function diagram commutativity and anti-commutativity database constraints, using the database software application constraint-driven design and development methodology, in the realm of the (Elementary) Mathematical Data Model ((E)MDM). MatBase, an intelligent data and knowledge management system prototype mainly based on the (E)MDM, uses these algorithms to automatically generate corresponding code in both its versions (i.e., the MS Access and the .NET and SQL Server ones). Of course, any software developer may also use these algorithms manually. The paper also discusses the code generated to enforce two such constraints from a Geography database. |
| title | On enforcing function diagram commutativity and anti-commutativity constraints in MatBase |
| topic | Databases |
| url | https://arxiv.org/abs/2406.16082 |