| PostgreSQL 8.3.3문서 | ||||
|---|---|---|---|---|
| Prev | Fast Backward | Chapter 10. 형태 변환 | Fast Forward | Next |
연산자 호출로 사용되는 특정의 연산자는 이하의 순서에 따라 결정됩니다. 이 순서는 사전에 행해진 연산자 호출에 의해 간접적인 영향을 받습니다. 자세한 것은Section 4.1.6을 참조해 주세요.
연산자 형태의 해결
pg_operator시스템 카탈로그로부터, 조사의 대상으로 하는 연산자를 선택합니다.
검증되지 않은 연산자명이 사용되는 경우(통상의 케이스), 연산자는,
현재 검색 경로가 보이는 정확한 이름과 인자의 수를 가지는 연산자가 조사 대상이라고 간주합니다.
(Section 5.7.3를 참조해 주세요).
수식된 연산자명이 주어지고 있는 경우, 지정된 스키마의 연산자만이 조사 대상으로 간주되어집니다.
검색 경로로 인자의 데이터형태이 같은 복수의 연산자를 검출했을 경우, 그 경로로 최초로 검출된 연산자만을 조사 대상으로 간주합니다. 다만, 인자의 데이터형태가 다른 연산자는, 검색 경로내의 위치에 관계없이, 같은 위치에 있으면 동일한 기초로 간주됩니다.
정확하게 입력 인자형을 받아들이는 연산자의 여부를 검사합니다. 해당하는 연산자가 있으면(조사되는 연산자의 집합내에서 정확하게 일치하는 것은 1개 밖에 없습니다), 그것을 사용합니다.
2항연산자의 하나의 인자가unknown형태였을 경우, 이 검사는 다른 한쪽의 인자가 동일한 형태라고 가정합니다. 다른unknown를 포함한 경우는, 이 단계에서는 대상을 찾아낼 수 없습니다.
가장 잘 맞는 것을 검색합니다.
연산자의 후보 가운데, 입력치의 데이터형태가 일치하지 않고, 또, (함축적 변환 함수를 사용해) 일치하도록 변환할 수 없는 것을 삭제합니다. unknown문자상수는, 상기의 목적으로 무엇이라도 변환 가능하다고 추정되어집니다. 1개의 후보 밖에 남지 않는 경우, 그것을 사용합니다. 그 이외의 경우는 다음의 단계로 나아갑니다.
모든 후보를 검색해, 입력형태에 가장 정확하게 맞는 것을 남깁니다 (이 때, 도메인은 그 기본형태와 동일하다고 간주합니다). 정확하게 맞는 것이 아무것도 없으면 모든 후보를 남깁니다. 1개의 후보 밖에 남지 않는 경우, 그것을 사용합니다. 그 이외의 경우는 다음의 단계로 나아갑니다.
모든 후보를 검색해, 형태 변환이 필요하게 되는 곳에서(입력 데이터형태 목록의) 바람직한 형태를 받아들이는 것을 남깁니다. 바람직한 형태를 받아들이는 것이 아무것도 없으면 모든 후보를 남깁니다. 1개의 후보 밖에 남지 않는 경우, 그것을 사용합니다. 그 이외의 경우는 다음의 단계로 나아갑니다.
입력 인자로unknown의 것이 있었을 경우, 그러한 남은 후보에게 인자 위치에서 받아들여지는 형태 목록을 검사합니다. 후보가string목록을 받아들이는 경우는, 그 목록을 선택합니다 (unknown 형의 문자상수는 문자열과 같은 것이므로, 이 문자열에 대한 방법은 적절합니다). 그렇지 않으면, 만약 남은 모든 후보가 같은 형태 목록을 받아들이는 경우는 그 목록을 선택합니다. 그렇지도 않으면, 한층 더 실마리가 없으면 올바른 선택이 연역 될 수가 없기 때문에, 실패가 됩니다. 여기서, 선택된 형태 목록을 받아들이지 않는 연산자 후보는 삭제됩니다. 게다가 주어진 인자의 위치상의 바람직한 형태를 받아들이는 후보가 하나이기도 한 경우, 그 인자의 바람직한 형태는 아닌 것을 받아들이는 후보는 삭제됩니다.
1개의 후보 밖에 남지 않는 경우, 그것을 사용합니다. 만약 후보가 없는, 혹은 1개보다 많은 후보가 남는 경우는 실패합니다.
몇가지 예가 있습니다.
Example 10-1. 계승연산자 형태 해결
카탈로그 내에 bigint를 double precision형태의 인자로 하는 누승연산자는 오직 하나입니다. (! 를 후에 붙입니다). 스캐너는 이하의 쿼리식의 두 인자에 우선integer형태를 할당합니다.
SELECT 2 ^ 3 AS "exp"; exp ----- 8 (1 row)
파서는 연산수를 형태 변환하기 때문에, 쿼리는 이하와 같이 됩니다.
SELECT CAST(2 AS double precision) ^ CAST(3 AS double precision) AS "exp";
Example 10-2. 문자열 연결 연산자 형태의 해결
문자열 유사 구문은, 문자열의 작업의 외, 복잡한 확장형태의 작업에도 사용됩니다. 형태의 지정이 없는 문자열은, 유사 연산자 후보와 일치합니다.
한가지 예로서, 이하에 지정되지 않은 인자가 1개 있습니다.
SELECT text 'abc' || 'def' AS "text and unknown"; text and unknown ------------------ abcdef (1 row)
이 경우, 파서는 두 인자로text를 취하는 연산자의 유무를 검색합니다. 이 연산자는 존재하기 때문에, 제2 인자는text형태로서 해석한다고 가정합니다.
이하는 형태의 지정이 없는 연결입니다.
SELECT 'abc' || 'def' AS "unspecified"; unspecified ------------- abcdef (1 row)
이 경우, 쿼리내에 형태가 지정되고 있지 않으므로, 어느 형태를 사용해야할 것인가에 대한 초기의 지침이 없습니다. 그러므로, 파서는 모든 연산자 후보를 검색해, 문자열 목록과 비트열목록 입력을 받아들이는 후보를 찾아냅니다. 사용할 수 있는 경우는 문자열 목록이 우선되기 때문에, 문자열 목록이 선택되어 그 바람직한 형태인text가, 이름이 없는 문자상수를 해결하는 형태로서 사용됩니다.
Example 10-3. 절대치와 부정 연산자의 형태 해결
PostgreSQL의 연산자 카탈로그에는, 전치연산자@용으로 복수의 항목이 있습니다. 이것은 모두 각종 수치 데이터형태에 대한 절대치 계산을 실행하는 것입니다. 그 하나는, 수치 목록의 바람직한 형태인float8 항목입니다. 따라서,PostgreSQL는, 무수치 입력이 있었을 경우에 이것을 사용합니다.
SELECT @ '-4.5' AS "abs"; abs ----- 4.5 (1 row)
여기서 시스템은, 선택한 연산자를 적용하기 전에, text에서 float8로 함축적 변환을 수행합니다. 이하와 같이float8가 사용되어 다른 형태가 사용되어 있지 않은 것을 검증할 수가 있습니다.
SELECT @ '-4.5e500' AS "abs"; ERROR: "-4.5e500" is out of range for type double precision
한편, 전치연산자~(비트 부정)는, 정수 데이터형태만으로 정의되어float8용은 정의되고 있지 않습니다. 그러므로,~에 있어서의 위와 같은 경우에서는, 이하와 같은 결과가 됩니다.
SELECT ~ '20' AS "negation"; ERROR: operator is not unique: ~ "unknown" HINT: Could not choose a best candidate operator. You may need to add explicit type casts.
이것은, 시스템이 복수의~연산자 후보중 어떤 것이 바람직한가를 결정할 수가 없었기 때문에 발생합니다. 명시적인 캐스트를 사용하는 것으로 도움을 줄 수 있습니다.
SELECT ~ CAST('20' AS int8) AS "negation";
negation
----------
-21
(1 row)