이 논문은 집합, 관계 및 함수의 순수 이론과 등식을 포함하는 1차 술어 논리에 기반한 (기본) 수학 데이터 모델 ((E)MDM)의 현재 버전을 제시합니다. 이 모델의 주요 강점은 76가지 유형의 제약 조건으로, 이를 통해 데이터베이스에 저장된 모든 데이터 값이 타당한 것을 보장합니다.