8.17. 범위 사설 토토

8.17.1. 내장 범위 사설 토토

PostgreSQL은 다음과 같은 내장 범위 사설 토토과 함께 제공됩니다 :

• int4Range- 범위정수

• int8Range- 범위bigint

• NumRange- 범위숫자

• tsrange- 범위시간대가없는 타임 스탬프

• TSTZRANGE- 범위시간대가있는 타임 스탬프

• Daterange- 범위날짜

또한 자신의 범위 사설 토토을 정의 할 수 있습니다. 보다사설 토토 만들기자세한 내용은

8.17.2. 예

테이블 예약 생성 (TsRange 중 룸 int);
예약 값에 삽입하십시오
    (1108, '[2010-01-01 14:30, 2010-01-01 15:30)');

-- 방지
int4Range (10, 20) @ 3을 선택하십시오.

- 겹침
NumRange (11.1, 22.2) && NumRange (20.0, 30.0)를 선택하십시오.

- 상한을 추출하십시오
상단 (int8Range (15, 25))를 선택하십시오.

- 교차로를 계산하십시오
int4Range (10, 20) * int4Range (15, 25)를 선택하십시오.

- 범위가 비어 있습니까?
select isempty (numrange (1, 5));

참조테이블 9-45and표 9-46범위 사설 토토에 대한 작업자 및 기능의 전체 목록.

8.17.3. 포용적이고 독점적입니다 범위

모든 비어 있지 않은 범위에는 두 개의 경계가 있습니다. 상한. 이 값 사이의 모든 점은 다음에 포함됩니다 범위. 포괄적 인 경계는 경계 지점 자체가 범위에도 포함되지만 독점 경계는 경계 지점은 범위에 포함되지 않습니다.

범위의 텍스트 형태에서 포괄적 인 하한은 대표"["독점적 인 하한은입니다 대표"(". 마찬가지로, 포괄적 인 상한은입니다 대표"]", 독점적 인 상한은입니다 대표")". (보다섹션 8.17.5더 많은 것 세부.)

함수lower_incand어퍼_inc하부의 포괄 성을 테스트하십시오 범위 값의 상한.

8.17.4. 무한 (무한) 범위

범위의 하한은 생략 될 수 있습니다. 상한보다 적은 점이 범위에 포함됩니다. 마찬가지로, 범위의 상한이 생략되면 하한보다 큰 점이 범위에 포함됩니다. 만약에 하부와 상한 모두 생략되며 요소의 모든 값 사설 토토은 범위에있는 것으로 간주됩니다.

이것은 하한이 |"마이너스 인피니티"또는 상한은"Plus Infinity"13075_13354

또한 일부 요소 사설 토토은이라는 개념이 있습니다."Infinity", 그러나 그것은 단지 또 다른 값입니다. 범위 유형 메커니즘에 관한 것입니다. 예를 들어 타임 스탬프에서 범위,[오늘,]|[오늘,). 하지만[오늘, 인피니티][오늘, 인피니티)- 후자는 특별한타임 스탬프valueInfinity.

함수lower_infand어퍼 _inf무한 하부 및 상한을 테스트합니다 범위의 각각.

8.17.5. 범위 입력/출력

범위 값에 대한 입력은 다음 중 하나를 따라야합니다. 패턴 :

(하위 바운드,상한)
(하위 바운드,상한]
[하위 바운드,상한)
[하위 바운드,상한]
비어 있는

괄호 또는 괄호는 하부와 상단이 경계는 전술 한 바와 같이 배타적이거나 포괄적입니다. 알아채다 최종 패턴은빈빈 범위 (포인트가없는 범위)를 나타냅니다.

the하위 바운드둘 중 하나 일 수 있습니다 하위 사설 토토에 대한 유효한 입력 또는 비어있는 문자열 하한. 비슷하게,상한하위 사설 토토에 대한 유효한 입력 또는 상한을 나타내지 않기 위해 비어 있습니다.

각 바운드 값을 사용하여 인용 할 수 있습니다"(이중 인용) 문자. 바운드 값이 필요합니다 괄호, 괄호, 쉼표, 이중 인용문, 또는 이 캐릭터는 그렇지 않으면 뒷면 슬래시가 사용되기 때문입니다 범위 구문의 일부. 이중 견적 또는 백 슬래시를 a 바운드 값을 인용하여 백 슬래시로 우선합니다. (또한 한 쌍의 이중 인용 된 바운드 값 내의 이중 인용문은 이중 인용 문자를 나타냅니다. 규칙과 유사하게 SQL 문자 그대로의 단일 따옴표.) 또는 모든 데이터 문자를 보호하기 위해 Backslash-Escaping을 인용하고 사용합니다 그렇지 않으면 범위 구문으로 간주됩니다. 또한 a 빈 문자열 인 바운드 값, 쓰기""경계.

범위 값 전후에 공백이 허용되지만 괄호 또는 괄호 사이의 흰색은 하한 또는 상한 값. (요소 유형에 따라 중요하거나 중요하지 않을 수도 있습니다.)

예 :

- 3 포함, 7은 포함되지 않으며 그 사이에 모든 지점이 포함됩니다.
'[3,7)':: int4Range;

- 3 또는 7이 포함되어 있지 않지만 그 사이에 모든 지점이 포함되어 있습니다.
선택 '(3,7)':: int4Range;

- 단일 포인트 4 만 포함합니다
'[4,4]':: int4Range;

- 포인트가 포함되지 않습니다 (그리고 '빈'으로 정규화됩니다)
선택 '[4,4)':: int4Range;

8.17.6. 범위 구성

각 범위 유형은 다음과 같은 이름의 생성자 함수를 갖습니다. 범위 유형. 생성자 기능을 사용하는 것이 종종 더 많습니다 피하기 때문에 범위 문자 그대로 상수를 작성하는 것보다 편리합니다. 경계 값의 추가 인용이 필요합니다. 생성자 함수는 두세 가지 인수를 받아들입니다. 두 가지 연계 양식 표준 형태로 범위를 구성합니다 (하한 포함, 상단. 제외된다), 3- 반대 형태는 범위를 구성한다 세 번째 인수에 의해 지정된 양식의 범위와 함께. 세 번째 인수는 문자열 중 하나 여야합니다"()", "(]", "[)"또는"[]". 예를 들어:

- 전체 형식은 : 하한, 상한 및 텍스트 인수를 나타냅니다.
- 바운드의 포괄 성/독점 성.
NumRange (1.0, 14.0, '(]')를 선택하십시오.

- 세 번째 인수가 생략되면 '[)'가 가정됩니다.
NumRange (1.0, 14.0)를 선택하십시오.

- '(]'가 여기에 지정되어 있지만 표시에서는 값이 변환됩니다.
-Canonical Form, Int8Range는 개별 범위 유형이므로 (아래 참조).
int8Range (1, 14, '(]')를 선택하십시오.

- 어느 한 바운드에 NULL을 사용하면 범위가 해당 측면에서 무한하게됩니다.
NumRange (NULL, 2.2); 선택

8.17.7. 이산 범위 사설 토토

이산 범위는 요소 사설 토토이 잘 정의 된 것입니다"step", 예 :Integer또는날짜. 이러한 유형에서 유효하지 않은 경우 두 가지 요소가 인접 해 있다고 말할 수 있습니다. 그들 사이의 값. 이것은 지속적인 범위와 대조됩니다 항상 (또는 거의 항상) 다른 요소를 식별 할 수 있습니다. 주어진 두 값 사이의 값. 예를 들어,의 범위숫자사설 토토은 범위와 마찬가지로 연속적입니다 위에타임 스탬프. (일지라도타임 스탬프정밀도가 제한되어 있으며 그렇게 할 수 있습니다 이론적으로 이산으로 취급되며, 고려하는 것이 낫습니다. 단계 크기가 일반적으로 관심이 없기 때문에 연속.)

개별 범위 사설 토토에 대해 생각하는 또 다른 방법은 에 대한 명확한 아이디어입니다."다음"또는"이전"각 요소 값에 대한 값. 그것을 알면 포용 적과 다음을 선택하여 범위 범위의 독점적 표현 또는 원래 주어진 것 대신 이전 요소 값. 을 위한 예, 정수 범위 유형에서[4,8]and(3,9)동일한 값 세트를 나타냅니다. 그러나 이것은 숫자 이상의 범위에 적합하지 않을 것입니다.

개별 범위 사설 토토에 a가 있어야합니다.Canonicalization요소 유형에 원하는 단계 크기. 표준화 함수는 범위의 동등한 값을 변환하는 것으로 청구됩니다. 특히 일관되게 동일한 표현을 갖도록 유형 포용 적 또는 독점적 인 경계. 표준화 기능이있는 경우 지정되지 않으면 형식이 다른 범위는 항상 동일한 세트를 나타낼 수 있지만 불평등 한 것으로 취급 현실의 가치.

내장 범위 사설 토토int4Range, int8Range및Daterange모두를 포함하는 표준 형태를 사용합니다 하한 및 상한을 배제합니다. 즉,[). 사용자 정의 범위 사설 토토은 다른 것을 사용할 수 있습니다 그러나 컨벤션.

8.17.8. 새로운 범위 사설 토토 정의

사용자는 자신의 범위 유형을 정의 할 수 있습니다. 가장 일반적인 이유 이를 수행하는 것은 내장 범위 사설 토토. 예를 들어, 새로운 범위 유형을 정의합니다 하위 사설 토토float8:

범위로 FloatRange 사설 토토 생성 (
    하위 사설 토토 = float8,
    subtype_diff = float8mi
);

'[1.234, 5.678]':: floatRange; 선택

왜냐하면float8의미가 없음"step", 우리는 a를 정의하지 않습니다 이 예에서 표준화 기능.

하위 사설 토토이 연속 값,사설 토토 생성명령 A 지정해야합니다.표준함수. 그만큼 정식화 함수는 입력 범위 값을 취하며 반드시해야합니다 경계가 다를 수있는 동등한 범위 값을 반환하고 서식. 두 가지 범위에 대한 표준 출력 동일한 값 세트, 예를 들어 정수 범위[1, 7]and[1, 8)동일한. 당신이 어떤 표현을 선택하기로 선택하는지는 중요하지 않습니다 표준, 다른 두 가지 동등한 값이 다릅니다. 서식은 항상 동일한 값으로 동일한 값에 매핑됩니다. 서식. 포용 적/독점 ​​경계를 조정하는 것 외에도 형식, 표준화 함수는 경계를 마무리 할 수 ​​있습니다 원하는 단계 크기가 하위 사설 토토은 저장할 수 있습니다. 예를 들어, 범위 유형 오버타임 스탬프단계를 가질 수 있습니다 한 시간 크기, 즉, 정식화 기능은 한 시간 만에 없었던 경계를 마무리해야합니다. 아마도 오류를 대신 던질 것입니다.

자신의 범위 유형 정의도 다른 하위 사설 토토 B-Tree 운영자 클래스 또는 Collation을 사용할 수 있습니다. 어떤 값이 속한지를 결정하는 정렬 순서를 변경하려면 주어진 범위.

또한 요점과 함께 사용될 범위 유형 또는 SP-Gist 인덱스는 하위 사설 토토 차이를 정의해야합니다.subtype_diff, 함수. (지수는 할 것입니다 여전히 작동하지 않고 작동합니다subtype_diff그러나 그것은입니다 차이보다 훨씬 덜 효율적 일 가능성이 높습니다. 함수가 제공됩니다.) 하위 사설 토토 차이 함수는 2가 걸립니다 하위 사설 토토의 입력 값과 차이를 반환합니다 (예 :x마이너스y)로 표시float8값. 위의 예에서는 그 기능입니다 일반의 기초float8마이너스 연산자 사용할 수 있습니다. 그러나 다른 하위 사설 토토의 경우 일부 유형 변환이 가능합니다 필요합니다. 대표하는 방법에 대한 창의적 생각 숫자의 차이도 필요할 수 있습니다. 가장 큰 정도 가능,subtype_diff함수 선택한 연산자 클래스가 암시하는 정렬 주문에 동의합니다. 그리고 Collation; 즉, 결과는 그 결과가 긍정적이어야합니다 첫 번째 인수는 정렬에 따라 두 번째보다 큽니다. 주문.

참조PostgreSQL : 문서 : 9.3 : 토토 사이트 생성더 많은 것 범위 사설 토토 생성에 관한 정보.

8.17.9. 인덱싱

GIST 및 SP-GIST 인덱스는 테이블 열에 대해 생성 될 수 있습니다. 범위 사설 토토. 예를 들어, GIST 인덱스를 만들려면 :

GIST (중)을 사용하여 예약에서 인덱스 예약 _IDX 생성;

GIST 또는 SP-GIST 인덱스는 다음과 관련된 쿼리를 가속화 할 수 있습니다. 레인지 운영자 :=, &&, <@, @, <<, , -|-, &<및&(참조표 9-45자세한 정보).

또한 테이블 용 B- 트리 및 해시 인덱스를 만들 수 있습니다. 범위 사설 토토의 열. 이러한 색인 사설 토토의 경우 기본적으로 유일한 것입니다 유용한 범위 작동은 평등입니다. B- 트리 정렬 주문이 있습니다 해당 범위 값에 대해 정의<and운영자, 그러나 주문은 다소 임의적이며 일반적으로 실제 세계. 범위 유형의 B- 트리 및 해시 지원이 주로 의미합니다 내부적으로 쿼리로 정렬 및 해싱을 허용합니다. 실제 색인 생성.

8.17.10. 범위에 대한 제약

while고유 한는 자연스러운 제약입니다 스칼라 값의 경우 일반적으로 범위 유형에 부적합합니다. 대신, 제외 제약 조건이 종종 더 적합합니다 (참조테이블 작성 ... 제약 ... 제외). 제외 제약 조건이 허용됩니다 와 같은 제약 조건의 사양"비 랩핑"범위 유형에서. 예를 들어:

테이블 예약 생성 (
    tsrange 동안
    GIST 사용 (& A) 동안 제외
);

그 제약 조건은 겹치는 값을 방지합니다 동시에 테이블에 기존 :

예약 값에 삽입하십시오
    ( '[2010-01-01 11:30, 2010-01-01 15:00)');
삽입 0 1

예약 값에 삽입하십시오
    ( '[2010-01-01 14:45, 2010-01-01 15:45)');
오류 : 충돌 키 값은 제외 제약 조건 "Reservation_During_Excl"을 위반합니다.
세부 사항 : 키 (기간) = ([ "2010-01-01 14:45:00", "2010-01-01 15:45:00")) 충돌
기존 키 (기간) = ([ "2010-01-01 11:30:00", "2010-01-01 15:00:00")..

당신은를 사용할 수 있습니다.토토 사이트 추천 :배제를 정의하기위한 확장 일반 스칼라 데이터 사설 토토에 대한 제약 조건을 결합 할 수 있습니다. 최대 유연성에 대한 범위 제외. 예를 들어, 이후btree_gist다음은 설치되어 있습니다 제약 조건은 회의실이있는 경우에만 겹치는 범위를 거부합니다. 숫자는 동일합니다 :

확장 생성 btree_gist;
테이블 생성 room_reservation (
    방 텍스트,
    tsrange 동안
    GIST 사용 (& with &에서 with =, with =, with with with with with)
);

room_reservation 값에 삽입하십시오
    ( '123a', '[2010-01-01 14:00, 2010-01-01 15:00)');
삽입 0 1

room_reservation 값에 삽입하십시오
    ( '123a', '[2010-01-01 14:30, 2010-01-01 15:30)');
오류 : 충돌 키 값은 제외 제약 조건 "room_reservation_room_during_excl"을 위반합니다.
세부 사항 : 키 (객실, 동안) = (123a, [ "2010-01-01 14:30:00", "2010-01-01 15:30:00") 충돌
기존 키 (객실, 동안) = (123a, [ "2010-01-01 14:00:00", "2010-01-01 15:00:00")).

room_reservation 값에 삽입하십시오
    ( '123b', '[2010-01-01 14:30, 2010-01-01 15:30)');
삽입 0 1