PriMera Scientific Engineering (ISSN: 2834-2550)

Research Article

Volume 5 Issue 6

On Enforcing Satisfiable, Coherent, and Minimal Sets of Dyadic Relation Constraints in MatBase

Christian Mancas*

November 26, 2024

DOI : 10.56831/PSEN-05-166

View PDF

Abstract

This paper rigorously and concisely defines, in the context of our (Elementary) Mathematical Data Model ((E)MDM), the mathematical concepts of dyadic relation, reflexivity, irreflexivity, symmetry, asymmetry, transitivity, intransitivity, Euclideanity, inEuclideanity, equivalence, acyclicity, connectivity, the properties that relate them, and the corresponding corollaries on the coherence and minimality of sets made of such dyadic relation 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 dyadic relation constraint sets. We proved 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: dyadic relation 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. “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.
  3. Chen PP. “The entity-relationship model: Toward a unified view of data”. ACM TODS 1.1 (1976):9-36.
  4. Thalheim B. “Entity-Relationship Modeling: Foundations of Database Technology”. Springer-Verlag, Berlin (2000).
  5. 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).
  6. Codd EF. “A relational model for large shared data banks”. CACM 13.6 (1970): 377-387.
  7. Abiteboul S., Hull R., Vianu V. “Foundations of Databases”. Addison-Wesley, Reading, MA (1995).
  8. 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 in press (2025).
  9. Mancas C. “MatBase Metadata Catalog Management”. Acta Scientific Computer Sciences 2.4 (2020): 25-29.
  10. 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.
  11. Mancas C. “On Detecting and Enforcing the Non-Relational Constraints Associated to Dyadic Relations in MatBase”. J. of Electronic & Inf. Syst 2.2 (2020):1-8.
  12. Mancas C. “On enforcing dyadic relationship constraints in MatBase”. WJAETS 09.02 (2023): 298-311.
  13. Burghardt J. “Simple Laws about Nonprominent Properties of Binary Relations”. (2018).
  14. 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.
  15. Mancas C. “On Modelware as the 5th Generation Programming Languages”. Acta Scientific Computer Sciences 2.9 (2020): 24-26.
  16. Morgan T. “Business Rules and Information Systems: Aligning IT with Business Goals”. Addison-Wesley Professional, Boston, MA (2002).
  17. von Halle B and Goldberg L. “The Business Rule Revolution. Running Businesses the Right Way”. Happy About, Cupertino, CA (2006).
  18. IBM Corp. “Introducing Operational Decision Manager” (2024).
  19. Dyer L., et al. “Scaling BPM Adoption from Project to Program with IBM Business Process Manager” (2012).
  20. Red Hat Customer Content Services. “Getting Started with Red Hat Business Optimizer” (2024).
  21. Agiloft Inc. “Agiloft Reference Manual” (2022).
  22. Shoenfield JR. “Mathematical Logic”. A K Peters, Boca Raton, FL / CRC Press (Taylor & Francis Group), Waretown, NJ (2001).