| PostgreSQL 8.3.3문서 | ||||
|---|---|---|---|---|
| Prev | Fast Backward | Chapter 10. 형태 변환 | Fast Forward | Next |
함수 호출로 사용되는 특정의 함수는 이하의 순서에 따라 해결됩니다.
함수 형태의 해결
pg_proc시스템 카탈로그로부터, 조사의 대상으로 하는 함수를 선택합니다.
수식되어 있지 않은 함수명이 사용되는 경우, 조사의 대상이 되는 함수는, 현행의 볼 수 있는 검색 경로로 되어 있는,
동일한 이름과 인자의 수를 가지는 함수가 조사 대상이라고 고려됩니다.
(Section 5.7.3를 참조해 주세요).
수식된 함수명이 주어지고 있는 경우, 지정된 스키마의 함수만이 조사 대상으로 간주됩니다.
검색 경로로, 인자의 데이터형태가 같은 복수의 함수를 검출했을 경우, 그 경로로 최초로 검출된 함수만을 조사 대상으로 간주합니다. 다만, 인자의 데이터형태가 다른 함수는, 검색 경로내의 위치에 관계없이, 똑같이 조사할 수 있습니다.
정확하게 입력 인자형태를 받아들이는 함수가 있는지를 검사합니다. 해당하는 함수가 있으면(조사되는 함수의 집합내에서 정확하게 일치하는 것은 1개 밖에 없습니다), 그것을 사용합니다 (unknown를 포함한 경우는, 이 단계에서 일치하는 것은 절대 발견되지 않습니다).
정확하게 일치하는 것이 존재하지 않는 경우, 그 함수 호출이 평범한 형태 변환을 요구하는지 확인합니다. 이것은, 함수 호출이 다만 1개의 인자를 취해, 함수명이 어떠한 데이터형태의(내부적인) 이름과 동일한 경우에 발생합니다. 게다가 그 함수의 인자는, unknown형태의 문자상수나 지정된 데이터형태와 지정된 데이터 형태와 바이너리 수준 호환적이어야 합니다. 이러한 조건에 맞는 경우, 함수 인자는 어떠한 실질적인 함수 호출 없이 지정된 데이터 형태로 변환됩니다.
최선의 경우를 봅시다.
함수의 후보 가운데, 입력치의 데이터형태가 일치하지 않고, 또, (함축 변환 함수를 사용해) 일치하도록 변환할 수 없는 것을 제거합니다. unknown문자상수는, 상기의 목적으로 무엇이라도 변환 가능하다고 간주해집니다. 1개의 후보 밖에 남지 않는 경우, 그것을 사용합니다. 그 이외의 경우는 다음의 단계로 나아갑니다.
모든 후보를 검색해, 입력형태에 가장 정확하게 맞는 것을 남깁니다 (이 때, 도메인은 그 기본형태와 동일하다라고 간주합니다). 정확하게 맞는 것이 아무것도 없으면 모든 후보를 남깁니다. 1개의 후보 밖에 남지 않는 경우, 그것을 사용합니다. 그 이외의 경우는 다음의 단계로 나아갑니다.
모든 후보를 검색해, 형태 변환이 필요하게 되는 곳중에(입력 데이터형태 목록의) 바람직한 형태를 받아들이는 것을 남깁니다. 바람직한 형태를 받아들이는 것이 아무것도 없으면 모든 후보를 남깁니다. 1개의 후보 밖에 남지 않는 경우, 그것을 사용합니다. 그 이외의 경우는 다음의 단계로 나아갑니다.
입력 인자로unknown의 것이 있는 경우, 그러한 남은 후보에 인자 위치에서 받아들여지는 형태 목록을 검사합니다. 각각의 위치에서 후보가string목록을 받아들이는 경우는, 그 목록을 선택합니다 (unknown 형태의 문자상수는 문자열과 같은 것이므로, 이 문자열은 적절합니다). 그렇지 않으면, 만약 남은 모든 후보가 같은 형태 목록을 받아들이는 경우는 그 목록을 선택합니다. 그렇지도 않으면, 한층 더 실마리가 없으므로 올바른 선택이 연역 될 수가 없기 때문에, 실패가 됩니다. 여기서, 선택된 형태 목록을 받아들이지 않는 연산자 후보는 제거됩니다. 게다가 주어진 인자의 위치상의 바람직한 형태를 받아들이는 후보가 하나이기도 한 경우, 그 인자의 바람직한 형태가 아닌 것을 받아들이는 후보는 제거됩니다.
1개의 후보 밖에 남지 않는 경우, 그것을 사용합니다. 만약 후보가 없는, 혹은 1개보다 많은 후보가 남는 경우는 실패합니다.
이"최선의 경우"규칙은 연산자와 함수의 형태 해결과 동일한 것이므로 주의해 주세요. 이하에 예를 나타냅니다.
Example 10-4. 라운드 함수 인자 형태의 해결
2개의 인자를 취하는round함수는 1개 밖에 없습니다
( 제1 인자는numeric, 제2 인자는integer입니다).
그러니까, 이하의 쿼리는 자동적으로,integer형태의 제1 인자를numeric로 변환합니다.
SELECT round(4, 4); round -------- 4.0000 (1 row)
저 쿼리는 파서에 의해 실질적으로 이하와 같이 변형됩니다.
SELECT round(CAST (4 AS numeric), 4);
소수점을 가지는 수치 정수는 우선numeric에 할당할 수 있기 때문에, 이하의 쿼리에서는 형태 변환이 불필요합니다. 따라서 좀 더 효율적 입니다.
SELECT round(4.0, 4);
Example 10-5. 서브스트링 함수의 형태 해결
substr함수는 복수 존재합니다.
그 중 1개는text와integer형태를 취합니다.
형태의 지정이 없는 문자열 상수로 호출했을 경우, 시스템은 바람직한 목록string(즉text형태)의
인자를 받아들이는 후보 함수를 선택합니다.
SELECT substr('1234', 3);
substr
--------
34
(1 row)
문자열이varchar형태라고 선언되었을 경우, 이것은 테이블에서 꺼냈을 경우로 추측되자만, 파서는 그것을text가 되도록 변환하려고 시도합니다.
SELECT substr(varchar '1234', 3);
substr
--------
34
(1 row)
이것은 효율적으로 이하와 같이 되도록 파서에 의해 변환됩니다.
SELECT substr(CAST (varchar '1234' AS text), 3);
Note: 파서는pg_cast카탈로그로부터text와varchar가 이진 수준의 호환성, 즉, 어떠한 물리적인 변환을 실시하는 일 없이 한쪽을 받아들이는 함수에 다른 한쪽을 건네줄 수가 있는 것을 학습합니다. 따라서, 이 경우 실제로 삽입되는 형태 변환 호출은 없습니다.
또,integer형태의 인자로 이 함수가 불려 갔을 경우, 파서는 그것을text로 변환하려고 시도합니다.
SELECT substr(1234, 3); ERROR: function substr(integer, integer) does not exist HINT: No function matches the given name and argument types. You might need to add explicit type casts.
이것은 실제로 다음과 같이 실행됩니다.
SELECT substr(CAST (1234 AS text), 3);
이러한 자동적 변환은 integer에서 text로 함축적으로 호출가능한 캐스트가 있기 때문에 계속해서 일어날 수 있습니다.