Data Type System

Data Type System

표준에서 정의된 형 시스템의 배경이 되는 개념적인 프레임워크를 기술한다. 이러한 데이터 형은 SQL 및 자바와 같은 프로그램밍 언어를 위한 자료형 뿐만 아니라 언어 중립적 데이터형에 대한 ISO 11404 표준, 초기 스키마 제안 등을 바탕으로 만들어졌다. 이 표준은 크게 세 부분으로 구성된다. value space이라 불리우는 유효한 값들의 집합 lexcial space이라 불리우는 렉시컬 표현들의 집합 value space, lexcial space, 개별 값(individual values)들의 프로퍼티인 facet

Value space

Value space는 주어진 자료형을 위한 값 집합이다. 이러한 Value space는 많은 데이터형을 내포하는 의미이다. 예를 들어 정수형인 경우에는 0을 포함한 양의 정수 및 음의 정수를 가질 수 있지만 소수 값은 허용되지 않으며, 문자열은 문자들로 나열되는 모든 것을 가질 수 있다 등 특정 특성들을 가지고 있는 유효한 값들의 집합을 의미한다.

Lexical space

Lexical space는 데이터형의 값을 표현하는 유효한 문자열 리터럴 집합을 의미한다. 예를 들어 “100”과 “1.E2”은 동일한 값을 표현하는 Lexical space 이다. 이러한 Lexical space내의 문자열 리터럴은 다음과 같은 특성을 갖는다. 바이너리 보다는 텍스트 리터럴을 갖는다. 이는 수동 편집, 디버깅 및 유사한 활동 들을 가능하게 한다. 상호 호환성을 위해 각 값의 문자수는 작은 수로 유지되어야 한다. 문자와 값 사이에는 일대 일 매핑(one-to-one mapping)이 존재한다. 이는 다른 시스템 간의 값 교환을 용이하게 한다. 가능한 리터럴은 일반 프로그래밍 언어 및 라이브러리에서 발견되는 리터럴과 일치한다.

Facet

Facet은 하나의 데이터형을 다른 데이터형과 구별한다. 이러한 Facet은 문자열의 길이, 최소 및 최대 숫자 값의 범위와 같은 프로퍼티들을 포함하고 있다. Facet은 자료형을 정의하는 기본 Facet과 비기본 자료형의 허용 값을 제약하는 제약 Facet으로 구분된다. 기본 Facet(Fundamental facets)은 Value space에서 값을 의미론적으로 특징짓기 위해 사용되는 추상적이고 내재적인 프로퍼티들이다. 예를 든다면 숫자, 비숫자 구분 등이 있다. 제약 Facet(Constraining facets)은 Value space에서 값을 제약하기 위하여 자료형에 적용될 수 있는 선택적 프로퍼티들이다. 여기에는 문자열 길이 제한, 숫자 값이 범위 등이 있다. 이 Facet은 유도 데이터형(Derived datatype)을 만들 때 그에 허용되는 Value space 제한하는데 많이 사용된다.