本論文は、基本数学データモデル((E)MDM)の現行バージョンを提示し、その76種類の制約タイプを紹介する。これらの制約は、データベースに格納されるデータの妥当性を保証する主要な強みである。
MatBaseは存在と非存在制約を自動生成し、コード化する。