On Detecting and Enforcing the Non-Relational Constraints Associated to Dyadic Relations in MatBase

MatBase is a prototype data and knowledge base management expert intelligent system based on the Relational, Entity-Relationship, and (Elementary) Mathematical Data Models. Dyadic relationships are quite common in data modeling. Besides their relational-type constraints, they often exhibit mathematical properties that are not covered by the Relational Data Model. This paper presents and discusses the MatBase algorithm that assists database designers in discovering all non-relational constraints associated to them, as well as its algorithm for enforcing them, thus providing a significantly higher degree of data quality.