PriMera Scientific Engineering (ISSN: 2834-2550)

Research Article

Volume 6 Issue 2

On Enforcing Satisfiable, Coherent, and Minimal Sets of Self-Map Constraints in MatBase

Christian Mancas*

January 30, 2025

DOI : 10.56831/PSEN-06-179

View PDF

Abstract

This paper rigorously and concisely defines, in the context of our (Elementary) Mathematical Data Model ((E)MDM), the mathematical concepts of self-map, composite mapping, totality, one-to-oneness, non-primeness, ontoness, bijectivity, default value, (null-)reflexivity, irreflexivity, (null-)symmetry, asymmetry, (null-)idempotency, anti-idempotency, (null-)equivalence, acyclicity, (null-)representative system mapping, the properties that relate them, and the corresponding corollaries on the coherence and minimality of sets made of such mapping properties viewed as database constraints. Its main contribution is the pseudocode algorithm used by MatBase, our intelligent database management system prototype based on both (E)MDM, the relational, and the entity-relationship data models, for enforcing self-map, atomic, and composite mapping constraint sets. We prove that this algorithm guarantees the satisfiability, coherence, and minimality of such sets, while being very fast, solid, complete, and minimal. In the sequel, we also presented the relevant MatBase user interface as well as the tables of its metacatalog used by this algorithm.

Keywords: self-map properties; satisfiability; coherence, and minimality of constraint sets; (Elementary) Mathematical Data Model; MatBase; db and db software application design

References

  1. Mancas C. “The (Elementary) Mathematical Data Model Revisited”. PriMera Scientific Engineering 5.4 (2024): 78-91.
  2. Mancas C. “On Enforcing Satisfiable, Coherent, and Minimal Sets of Dyadic Relation Constraints in MatBase”. PriMera Scientific Engineering 5.6 (2024): 02-14.
  3. Mancas C. “MatBase - a Tool for Transparent Programming while Modeling Data at Conceptual Levels”. In: Proc. 5th Int. Conf. on Comp. Sci. & Inf. Techn. (CSITEC 2019), AIRCC Pub. Corp. Chennai, India (2019): 15-27.
  4. Chen PP. “The entity-relationship model: Toward a unified view of data”. ACM TODS 1.1 (1976):9-36.
  5. Thalheim B. “Entity-Relationship Modeling: Foundations of Database Technology”. Springer-Verlag, Berlin (2000).
  6. Mancas C. “Conceptual Data Modeling and Database Design: A Completely Algorithmic Approach. Volume I: The Shortest Advisable Path”. Apple Academic Press / CRC Press (Taylor & Francis Group), Palm Bay, FL (2015).
  7. Codd EF. “A relational model for large shared data banks”. CACM 13.6 (1970): 377-387.
  8. Abiteboul S, Hull R and Vianu V. “Foundations of Databases”. Addison-Wesley, Reading, MA (1995).
  9. Mancas C. “Conceptual Data Modeling and Database Design: A Completely Algorithmic Approach. Volume II: Refinements for an Expert Path”. Apple Academic Press / CRC Press (Taylor & Francis Group), Palm Bay, FL (2025).
  10. Mancas C. “MatBase Metadata Catalog Management”. Acta Scientific Computer Sciences 2.4 (2020): 25-29.
  11. Mancas C. “MatBase Constraint Sets Coherence and Minimality Enforcement Algorithms”. In: Benczur, A., Thalheim, B., Horvath, T. (eds.), Proc. 22nd ADBIS Conf. on Advances in DB and Inf. Syst., LNCS, Springer, Cham, Switzerland 11019 (2018): 263-277.
  12. Mancas C. “MatBase Autofunction Non-Relational Constraints Enforcement Algorithms”. Intl. J. of Comp. Sci. & Inf. Techn 11.5 (2019): 63-76.
  13. Mancas C. “On enforcing dyadic-type self-map constraints in MatBase”. Intl. J. of Frontiers in Eng. & Techn. Research 05.01 (2023): 014-026.
  14. Burghardt J. “Simple Laws about Nonprominent Properties of Binary Relations”. (2018)
  15. Thalheim B and Jaakkola H. “Models as Programs: The Envisioned and Principal Key to True Fifth Generation Programming”. In: Proc. 29th European-Japanese Conf. (2019): 170-189.
  16. Mancas C. “On Modelware as the 5th Generation Programming Languages”. Acta Scientific Computer Sciences 2.9 (2020): 24-26.
  17. Morgan T. “Business Rules and Information Systems: Aligning IT with Business Goals”. Addison-Wesley Professional, Boston, MA (2002).
  18. von Halle B and Goldberg L. “The Business Rule Revolution. Running Businesses the Right Way”. Happy About, Cupertino, CA (2006).
  19. IBM Corp. “Introducing Operational Decision Manager” (2024).
  20. Dyer L., et al. “Scaling BPM Adoption from Project to Program with IBM Business Process Manager” (2012).
  21. Red Hat Customer Content Services. “Getting Started with Red Hat Business Optimizer” (2024).
  22. Agiloft Inc. “Agiloft Reference Manual” (2022).
  23. Shoenfield JR. “Mathematical Logic”. A K Peters, Boca Raton, FL / CRC Press (Taylor & Francis Group), Waretown, NJ (2001).
  24. Mancas C. “MatBase E-RD Cycles Associated Non-relational Constraints Discovery Assistance Algorithm”. In: Arai, K., Bhatia, R., Kapoor, S. (eds) Intelligent Computing. CompCom 2019. Advances in Intelligent Systems and Computing. Springer, Cham 997 (2019): 390-409.