| PostgreSQL 8.3.3문서 | ||||
|---|---|---|---|---|
| Prev | Fast Backward | Chapter 33. SQL 확장 | Fast Forward | Next |
모든 함수는, 변동성구분을 가집니다. 취할 수 있는 구분은, VOLATILE, STABLE, 혹은 IMMUTABLE입니다. CREATE FUNCTION 명령으로 분류의 지정이 없으면 기본값으로 VOLATILE가 됩니다. 변동성에 관한 분류는, 그 함수에 관한 최적화에 약속한 일의 형태입니다.
VOLATILE함수는, 데이터베이스의 변경을 포함한, 전부를 실시할 수가 있습니다. 동일 인자로 계속해 호출했다고 해도 다른 결과를 돌려줄 수 있습니다. 최적화는 이러한 함수의 행동에 대하는 전제를 가지지 않습니다. 변동 함수를 사용한 쿼리는, 그 행의 값을 필요로 하는 모든 행에 대해 그 함수를 재평가합니다.
STABLE함수는 데이터베이스를 변경할 수가 없습니다. 또, 단일의 명령문내에서 모든 행에 대해서 동일한 인자를 건네주었을 경우에 동일한 결과를 돌려주는 것이 보증되고 있습니다. 이 구분에 의해, 최적화는 복수의 함수의 호출을 1개의 호출해 최적화할 수가 있습니다. 특히, 인덱스 검색 조건 내에서 이러한 함수를 포함한 식을 사용하는 것은 안전합니다 (인덱스 검색은 행 마다 한 번은 아니고, 한 번만 값의 비교의 평가를 실시하기 때문에, 인덱스 검색 조건내에서 VOLATILE함수를 사용하는 것은 의미가 없습니다).
IMMUTABLE함수는 데이터베이스를 변경할 수가 없습니다. 또, 동일 인자에 대한 호출은 항상 동일한 결과를 돌려주는 것이 보증되고 있습니다. 쿼리가 정수의 인자로 이러한 함수를 호출했을 경우, 최적화는 이 함수를 사전에 평가할 수 있습니다. 예를 들면, SELECT ... WHERE x = 2 + 2 라고 하는 쿼리는, SELECT ... WHERE x = 4와 같이 단순화 할 수가 있습니다. 이것은, 배후에 있는 정수 가산 연산자가 IMMUTABLE로서 선언되고 있기 때문에입니다.
최적화의 결과를 최선으로 하기 위해서는, 함수에 대해서 유효하고 가장 엄밀한 변동성 구분을 붙이지 않으면 안됩니다.
부작용을 가지는 함수는 모두, VOLATILE를 붙이지 않으면 안됩니다. 이러한 함수는 최적화할 수가 없기 때문입니다. 함수가 부작용을 가지지 않았다고 해도, 단일 쿼리내에서 값이 변동하는 경우는 VOLATILE를 붙이지 않으면 안됩니다. 예를 들면, random(), currval(), timeofday() 등 입니다.
계획 작성을 실시해, 곧바로 실행되는 것 같은 단일의 대화식 쿼리를 생각했을 경우, 상대적으로 STABLE구분과 IMMUTABLE구분과의 차이는 그다지 없습니다. 이러한 경우, 함수가 계획 작성중에 한 번 실행되는지, 쿼리 실행중에 한 번 실행될지는 그다지 문제가 되지 않습니다. 그러나, 계획이 보존되어 다음에 재이용되는 경우는 큰 차이가 나타납니다. 사실, 함수가 계획 작성 단계에서 빨리 정수를 보관 유지할 수가 없는 경우에 IMMUTABLE를 붙이면, 그 후에 이 계획을 사용할 때에 낡아서 의미가 없는 값이 재이용되어 버리게 됩니다. 이것은, 준비된 명령문이나 계획을 캐쉬하는 함수 언어(PL/pgSQL등)를 사용하는 경우는 위험합니다.
MVCC의 스냅샷 기능을 위해, 동시 실행의 쿼리에 의해 별도 변경되고 있을 가능성이 있는 테이블에 대해서 선택하고 있었다고 해도,
SELECT명령만을 포함한 함수는, 안전하게 STABLE로 할 수가 있습니다.
PostgreSQL는, 호출원의 쿼리용으로 확립된 스냅샷을 사용해 STABLE함수를 실행합니다.
그 때문에, 그 쿼리의 사이, 데이터베이스에 대해서 고정된 시점에서 값을 참조하게 됩니다.
또, 어느 트랜잭션의 사이값이 바뀌지 않으므로, current_timestamp계의 함수는 STABLE로서 적절한 것에 주의해 주세요.
IMMUTABLE함수 내의 SELECT명령도 같은 스냅샷 기능을 사용합니다. 다만, 일반적으로, IMMUTABLE내에서 데이터베이스의 테이블을 선택하는 것은 권유하지 않습니다. 테이블의 내용이 바뀌어 버렸을 경우에 그 보편성이 망가져 버리기 때문에입니다. 그러나, PostgreSQL에서는, 강제적으로 선택할 수 없게됩니다.
자주 있는 에러는, 설정 매개변수에 의존하는 결과가 되는 함수에 IMMUTABLE를 붙이는 것입니다. 예를 들면, 타임스템프를 조작하는 함수는, 아마 timezone의 설정에 의존한 결과가 됩니다. 안전을 위해서, 이러한 함수는 대신에 STABLE를 붙여 주세요.
Note: PostgreSQL릴리스 8.0보다 전의 릴리스에서는, STABLE함수와 IMMUTABLE함수가 데이터베이스를 변경할 수 없다고 하는 필요 조건이 시스템에 의해 금지되지 않았습니다. 릴리스 8.0에서는, 이 구분의 SQL 함수나 수속 언어 함수에 대해서 SELECT이외의 SQL 명령을 포함하지 않는 것을 필요 조건으로 함으로써, 이것을 금지하고 있습니다 (이러한 함수는 아직 데이터베이스를 변경하는 VOLATILE함수를 호출할 수 있기 때문에, 이것은 완전한 방어 테스트는 아닙니다. 이것을 실시하면, STABLE 혹은 IMMUTABLE함수는 호출한 함수에 의해 데이터베이스로 변경을 했던 것을 알지 못합니다).