12 papers
Extending the (Elementary) Mathematical Data Model and MatBase with two new constraint types: inexistence and anti-existence
Christian Mancas
This research paper introduces two new constraint types and four subtypes of database constraints added to our (Elementary) Mathematical Data Model, which are the duals of the exis…
Translating database mathematical schemes into relational database software applications with MatBase
Christian Mancas, Diana Christina Mancas
We present a pseudocode algorithm for translating our (Elementary) Mathematical Data Model schemes into relational ones and associated sets of non-relational constraints, used by M…
Semantic Reverse Engineering Legacy Software Applications with ChatGPT, Gemini AI, and Claude AI
Christian Mancas, Diana Christina Mancas
This research paper describes our research results on using ChatGPT, Gemini, and Claude AI to semantically reverse engineer legacy database software applications.
From (Elementary) Mathematical Data Model Schemas to Safe Blazor Web Applications with Claude AI
Christian Mancas, Diana Christina Mancas
This research paper mainly describes how to develop MS Blazor safe web applications with Claude AI, version Sonnet 4.5, starting from (Elementary) Mathematical Data Model schemas.…
MatBase algorithm for translating (E)MDM schemes into E-R data models
Christian Mancas, Diana Christina Mancas
This paper presents a pseudocode algorithm for translating (Elementary) Mathematical Data Model ((E)MDM) schemes into Entity-Relationship data models. We prove that this algorithm…
MatBase Algorithm for Translating Entity-Relationship Data Models into (Elementary) Mathematical Data Model Schemes
Christian Mancas, Diana Christina Mancas
This paper presents a pseudocode algorithm for translating Entity-Relationship data models into (Elementary) Mathematical Data Model schemes. We prove that this algorithm is linear…