Translating database mathematical schemes into relational database software applications with MatBase

TL;DR

The paper introduces a fast, complete algorithm for translating mathematical data models into relational databases, demonstrated with genealogical data and supported by code examples.

Contribution

It presents a novel pseudocode algorithm for converting mathematical schemes into relational schemas with constraints, enhancing database modeling capabilities.

Findings

Algorithm is fast, solid, complete, and optimal

Successfully applied to genealogical data modeling

Provides code examples for constraint enforcement

Abstract

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 MatBase, our intelligent data and knowledge base management system prototype. We prove that this algorithm is very fast, solid, complete, and optimal. We apply it to a Mathema tical scheme modeling the genealogical trees subuniverse. We also provide examples of SQL and VBA code for enforcing some of its non-relational constraints, as well as guidelines to develop code for enforcing such constraints.