Concepts de base
이 논문은 집합, 관계 및 함수의 순수 이론과 등식을 포함하는 1차 술어 논리에 기반한 (기본) 수학 데이터 모델 ((E)MDM)의 현재 버전을 제시합니다. 이 모델의 주요 강점은 76가지 유형의 제약 조건으로, 이를 통해 데이터베이스에 저장된 모든 데이터 값이 타당한 것을 보장합니다.
Résumé
이 논문은 (기본) 수학 데이터 모델 ((E)MDM)의 현재 버전을 소개합니다. (E)MDM은 집합, 관계 및 함수의 순수 이론과 1차 술어 논리를 기반으로 합니다. 이 모델의 주요 강점은 76가지 유형의 제약 조건으로, 이를 통해 데이터베이스에 저장된 모든 데이터 값이 타당한 것을 보장합니다.
논문은 다음과 같은 내용을 다룹니다:
-
(E)MDM의 구성 요소:
- 집합 포셋
- 매핑 집합
- 76가지 유형의 제약 조건
-
(E)MDM 스키마의 예시:
- 사람과 결혼에 대한 간단한 관심 영역
- (E)MDM 스키마가 일반적인 가족 트리 소프트웨어에서 허용되는 비논리적인 데이터를 거부할 수 있음을 보여줌
-
관련 연구:
- (E)MDM의 메타 제약 조건
- 데이터 품질의 중요성
- (E)MDM을 기반으로 한 MatBase 시스템
- (E)MDM과 다른 데이터 모델링 접근법의 관계
전반적으로 이 논문은 (E)MDM의 강력한 제약 조건 시스템을 통해 데이터베이스의 데이터 품질을 보장하는 방법을 설명합니다.
Stats
현재 (E)MDM에는 76가지 유형의 제약 조건이 있습니다.
(E)MDM 스키마는 4개의 구성 요소로 이루어집니다: 집합 포셋, 매핑 집합, 제약 조건 집합, 데이터로직 프로그램 집합.
(E)MDM은 4가지 유형의 집합(객체, 관계, 값, 시스템)과 4가지 유형의 함수(속성, 구조, 계산, 시스템)를 제공합니다.
Citations
"데이터 품질은 모든 소프트웨어 시스템에 있어 가장 중요합니다: 데이터베이스에 부적절한 데이터("쓰레기")를 저장하면 그 데이터를 기반으로 계산된 정보와 지식 또한 부적절할 것입니다("쓰레기 출력")."
"제약 조건은 비즈니스 규칙을 형식화합니다. 단 하나의 규칙도 적용하지 않으면 데이터베이스에 부적절한 값이 저장될 수 있습니다."