a도메인다른 사람을 기반으로하는 사용자 정의 데이터 사설 토토입니다기본 사설 토토. 선택적으로, 유효한 값을 기본 사설 토토이 허용하는 것의 하위 집합으로 제한하는 제약 조건이있을 수 있습니다. 그렇지 않으면 기본 사설 토토과 같이 작동합니다 (예 : 기본 사설 토토에 적용 할 수있는 모든 연산자 또는 기능은 도메인 유형에서 작동합니다. 기본 사설 토토은 내장 또는 사용자 정의 기본 사설 토토, 열거 유형, 배열 유형, 복합 유형, 범위 유형 또는 다른 도메인 일 수 있습니다.

예를 들어, 긍정적 인 정수 만 받아들이는 정수를 통해 도메인을 만들 수 있습니다 :

정수 검사 (value 0)로 도메인 포인트 생성;
테이블 마이테이블 생성 (id posint);
mytable 값에 삽입 (1);   - 작동합니다
mytable 값 (-1)에 삽입;  - 실패

기본 사설 토토의 연산자 또는 기능이 도메인 값에 적용되면 도메인은 자동으로 기본 사설 토토으로 다운 캐스트됩니다. 예를 들어, 결과는mytable.id -1사설 토토으로 간주됩니다Integernotposint. 우리는 쓸 수 있습니다(mytable.id -1) :: posint결과를 다시 캐스트하려면posint, 도메인의 제약 조건을 다시 확인합니다. 이 경우 표현식이 an에 적용된 경우 오류가 발생합니다.id8934_9122

추가 정보는 참조도메인 생성.