Presented are algorithms for enforcing function diagram commutativity and anti-commutativity database constraints, using the database software application constraint-driven design and development methodology, in the realm of the (Elementary) Mathematical Data Model ((E)MDM). MatBase, an intelligent data and knowledge management system prototype mainly based on the (E)MDM, uses these algorithms to automatically generate corresponding code in both its versions (i.e., the MS Access and the .NET and SQL Server ones). Of course, any software developer may also use these algorithms manually. The paper also discusses the code generated to enforce two such constraints from a Geography database.

翻译：本文提出了在（初等）数学数据模型（(E)MDM）范畴内，运用数据库软件应用的约束驱动设计与开发方法论，来强制函数图交换性与反交换性数据库约束的算法。MatBase——一个主要基于(E)MDM的智能数据与知识管理系统原型——在其两个版本（即MS Access版本以及.NET与SQL Server版本）中均使用这些算法自动生成相应代码。当然，任何软件开发人员亦可手动应用这些算法。本文还通过一个地理数据库中的两个此类约束，讨论了为强制约束所生成的具体代码。