| PostgreSQL 8.3.3문서 | ||||
|---|---|---|---|---|
| Prev | Fast Backward | Chapter 10. 형태 변환 | Fast Forward | Next |
SQL는 강하게 형태화된 언어입니다. 즉, 각 데이터 항목은, 그 동작과 허락된 사용법을 결정하는 연관 데이터형태을 소유하고 있습니다. PostgreSQL에는, 다른SQL의 실행보다 보다 일반적이어 유연성이 있는, 확장 가능한 형태의 시스템이 있습니다. 이 때문에,PostgreSQL에서의 대부분의 형태 변환의 동작은, 특정의 목적에 대해임시 변통으로 자기학습하는 것보다 일반적인 규칙으로 관리되고 있습니다. 이것에 의해, 사용자 정의형태에 대해서도 혼합형태의 식을 가치 있게 사용할 수 있습니다.
PostgreSQL의 스캐너/파서는 어휘 요소를, 정수, 비정수치, 문자열, 식별자, 키워드로 5개의 기초 목록으로 분리합니다. 끊임없이 대부분의 비수치형 정수는, 우선 문자열에 의해 분류 됩니다. SQL언어 정의에서는, 문자열 형태의 이름을 지정하는 것을 허락하고 있어, 파서가 올바른 순서에 따라 처리를 시작할 수 있도록PostgreSQL도 채용하고 있습니다. 예를 들면, 이하와 같은 쿼리를 생각해 봅시다.
SELECT text 'Origin' AS "label", point '(0,0)' AS "value"; label | value --------+------- Origin | (0,0) (1 row)
이 쿼리는,text와point라고 하는 2개 형태으로 지정한 문자상수를 가집니다. 문자열 문자상수에 형태이 지정되어 있지 않은 경우, 후술 하듯이, 후의 단계에서 해결되도록 우선 장소를 확보하기 위한 형태인unknown를 할당할 수 있습니다.
PostgreSQL의 파서에는, 개별의 형태 변환 규칙이 필요한 4개의 기초적인SQL기초구문이 있습니다.
PostgreSQL형태 시스템의 대부분은, 고도의 함수군에 의해 구축되고 있습니다. 함수는 복수의 인자를 취할 수가 있습니다. PostgreSQL에서는 함수의 과부하가 가능하므로, 함수명만으로는 호출해야 할 함수를 식별할 수 없습니다. 파서는, 제공되는 인자의 데이터형태에 근거해, 올바른 함수를 선택하지 않으면 안됩니다.
PostgreSQL에서는, (인자가 2개의) 2항연산자와 같게, (인자가 1개의) 전치, 후치단항 연산자를 가지는 식을 사용할 수 있습니다. 함수와 같이, 연산자도 과부하가 가능하므로, 올바른 연산자를 선택할 때에 같은 문제가 존재합니다.
SQL의INSERT와UPDATE문은 식의 결과를 테이블안에 저장합니다. 구문내의 식은 일치시키거나 타겟 컬럼의 형태을 변환할 필요가 있는 것일수 있습니다.
SELECT문으로부터 결합화된 모든 쿼리 결과는, 어느 1개의 컬럼집합으로서 나타내야 하기 때문에,
각SELECT구의 결과형태은 통일된 집합에 일치시키거나 똑같은 형태로 변환할 있을 필요가 있습니다.
비슷한 방법으로 CASE의 결과 식 구문이 전체적으로 기존의 출력 형태를 갖기 때문에,CASE구문의 결과식은 공통의 형태로 변환될 필요가 있습니다.
이것은ARRAY식에서도GREATEST함수,LEAST함수에서도 같습니다.
시스템 카탈로그에는, 데이터형태간의 변환(캐스트라고 불립니다)이 유효한가 아닌가에 그 변환의 실행 방법에 관한 정보를 저장합니다. 사용자는 CREATE CAST 명령을 사용해 캐스트를 추가할 수가 있습니다 (이것은 통상 새로운 데이터형태 정의한것을 연결할때 행해집니다. 내장형 형태간의 캐스트 집합은 주의 깊게 작성되고 있고 변경하지 않는 것이 최선입니다).
SQL표준형에 대해, 파서가 보다 적절한 추측 동작을 실시할 수 있도록 추가의 자율 기구를 갖추고 있습니다. 기본적인형태 목록으로서boolean,numeric,string,bitstring, datetime,timespan,geometric,network, 사용자정의가 정의되고 있습니다. 사용자정의를 제외한 각 목록은, 애매함이 있는 경우에 우선적으로 선택되는, 1개이상의바람직한 형태를 가집니다. 사용자정의 목록에서는, 각각의 형태는 그것 자신의 바람직한 형태입니다. 따라서, 애매한 식(복수의 해석 결과후보를 가지는 것)은, 복수의 가능한 내장형 형태이 있었다고 해도 자주 해결할 수 있습니다만, 복수의 사용자정의 형태 선택사항이 있는 경우에는 에러가 발생합니다.
모든 형태 변환 규칙은 다음과 같은 몇개의 기본적인 원리에 근거해 설계되고 있습니다.
함축적인 변환은, 절대 뜻밖의 혹은 예상할 수 없는 결과를 가질 수 없습니다.
파서가미리알 수 없는 사용자 정의 형태는, 형태의 계층내에서"보다 상위"에 위치하지 않으면 안됩니다. 혼합된 형태의 식에서는, 특정 형태는 항상 사용자 정의형태로 변환됩니다(물론, 변환이 필요한 때만입니다).
사용자 정의 형태는 관계를 가지지 않습니다. 현시점에서는,PostgreSQL는 형태 간의 관계나 변경하지 못하게 작성된 내장형태의 코드와 이용가능한 함수나 캐스트에 기초한 함축적인 관계에 대해 사용가능한 정보를 가지고 있지 않습니다.
함축적인 형태변환을 필요로 하지 않는 쿼리의 경우, 파서나 집행자에 불필요한 과부하가 있어야 하는 것이 아닙니다. 즉, 쿼리가 제대로 정리해 형태가 이미 일치하는 것이 되어 있으면, 파서내에서 불필요한 시간을 쓸 일이 없고, 또 쿼리에 불필요한 함축적인 형태 변환 함수가 사용되지 않게 쿼리는 처리되어야 합니다.
게다가 만약 쿼리가 통상 함축적인 변환을 요구하고 있던 것일 경우, 그리고, 사용자가 올바른 인자형을 가지는 함수를 명시적으로 정의했을 경우, 파서는 이 새로운 함수를 사용해, 낡은 함수를 사용한 함축적인 변환을 실시하지 않게 하여야 합니다.