On Enforcing Dyadic-type Homogeneous Binary Function Product Constraints in MatBase  

作　　者：Christian Mancas 

机构地区：[1]Mathematics and Computer Science Department,Ovidius University,Constanta,CT,900527,Romania

出　　处：《Journal of Computer Science Research》2024年第1期31-42,共12页计算机科学研究（英文）

摘　　要：Homogeneous binary function products are frequently encountered in the sub-universes modeled by databases,spanning from genealogical trees and sports to education and healthcare,etc.Their properties must be discovered and enforced by the software applications managing such data to guarantee plausibility.The(Elementary)Mathematical Data Model provides 17 types of dyadic-based homogeneous binary function product constraint categories.MatBase,an intelligent data and knowledge base management system prototype,allows database designers to simply declare them by only clicking corresponding checkboxes and automatically generates code for enforcing them.This paper describes the algorithms that MatBase uses for enforcing all 17 types of homogeneous binary function product constraint,which may also be employed by developers without access to MatBase.

关 键 词：Database constraints Homogeneous binary function products Dyadic relations Modelling as programming The(Elementary)Mathematical Data Model MatBase 

分 类 号：O17[理学—数学]