| PostgreSQL 8.3.3문서 | ||||
|---|---|---|---|---|
| Prev | Fast Backward | Chapter 9. 함수와 연산자 | Fast Forward | Next |
본절에서는PostgreSQL에서 사용할 수 있는SQL준거의 서브쿼리에 대해 설명합니다. 본절에서 기재한 모든 식은 결과적으로 논리값(참/거짓)을 반환합니다.
EXISTS ( subquery )
EXISTS의 인수는, 임의의SELECT문 또는서브쿼리입니다. 서브쿼리는 그것이 어떠한 행을 반환하는지 아닌지의 결정을 위해서 때문에 평가됩니다. 적어도 1개에서 행을 반환하는 경우,EXISTS의 결과는"true(참)"가 됩니다. 서브쿼리가 행을 반환하지 않는 경우,EXISTS의 결과는"false(거짓)"가 됩니다.
서브쿼리는, 둘러싸고 있는 쿼리로부터 변수를 참조할 수가 있어 그 값은 서브쿼리의 평가시에는 상수로서 다루어집니다.
이 서브쿼리는 통상, 끝까지 실행되지 않고, 적어도 1개의 행이 반환되었는지 아닌지를 충분히 판정 할 수 있는 시점까지 실행됩니다. 실제로 부작용 발생의 유무를 예상하는 것은 어렵기 때문에, (시퀀스 함수를 호출하는 것과 같은) 모든 부작용을 가지는 서브쿼리를 기술하는 것은 추천하지 않습니다.
결과는 어떠한 행이 반환되는지에만 의존하고, 행의 내용에는 의존하지 않기 때문에, 서브쿼리의 출력 리스트는 통상 흥미가 있는 것이 아닙니다. 자주 사용되는 코딩 규약은, 모든EXISTS테스트를EXISTS(SELECT 1 WHERE ...)(이)라고 하는 형식으로 기술하는 것입니다. 그러나,INTERSECT를 사용하는 서브쿼리와 같이 이 규칙에는 예외가 있습니다.
이하의 간단한 예는col2상의 내부 결합(조인)과 유사합니다. 그러나 tab2의 행과 복수 매칭이 되었다고 해도tab1의 각각의 행에 대해서 최대한1개의 출력행을 생성합니다.
SELECT col1 FROM tab1
WHERE EXISTS(SELECT 1 FROM tab2 WHERE col2 = tab1.col2);
expression IN ( subquery )
우변은 괄호로 둘러싸인 부문의로, 정확하게 1열을 반환해야 합니다. 좌변식은 평가되어 부문의의 결과행으로 비교됩니다. 동일한 서브쿼리 행이 발견되는 경우,IN의 결과는"true(참)"입니다. (부문의가 행을 반환하지 않는 특별한 경우를 포함하고) 동일한 행이 발견되지 않는 경우, 결과는"false(거짓)"입니다.
좌변의 식이 NULL를 일으키는 경우, 또는 우변에 동일한 값이 없고, 적어도 1개의 우변의 행이 NULL을 가지는 경우,IN구문의 결과는 false가 아니라, NULL이 되는 것에 주의해 주세요. 이것은, NULL값의 논리적인 편성에 대한 SQL의 표준 규칙에 따르는 것입니다.
EXISTS와 같이, 부문의가 완전하게 평가되면, 전제하는 것이 추천 되지 않습니다.
row_constructor IN ( subquery )
IN의 이 형식의 좌변은,Section 4.2.11내에서 설명하는, 행의 생성자입니다. 우변은 괄호로 둘러싼 부문의로, 좌변의 행에 있는 식과 정확하게 같은 열을 반환해야 합니다. 좌변의 식은 부문의의 결과의 각각의 행에 대해, 행에 관해서 평가, 비교를 합니다. 부문의의 행에 동일한 것이 발견되었을 경우,IN 의 결과는"true(참)"가 됩니다. (부문의가 행을 반환하지 않는 특별한 경우를 포함하고) 동일한 행이 발견되지 않는 경우, 결과는"false(거짓)"입니다.
행에 있는 NULL값은 언제나 SQL의 논리식의 표준 규칙으로 결합됩니다. 2개의 행은 대응하는 모든 원가요소가 비NULL값 및 동일한 경우, 동일한 것으로 간주합니다. 1개에서도 대응하는 원가요소가 비NULL 및 동일하지 않은 것이 있으면, 행은 동일하지 않은 것으로 간주합니다. 그 이외 행의 비교 결과는 불명(NULL)입니다. 행 마다의 결과 모든 것이 부등 혹은 NULL의 경우, 적어도 1개의 NULL이 있으면,IN의 결과는 NULL이 됩니다.
expression NOT IN ( subquery )
우변은 괄호로 둘러싸인 부문의로, 정확하게 1개의 열을 반환해야 합니다. 좌변의 식은 부문의 결과의 행 각각 대해 평가, 비교됩니다. (부문의가 행을 반환하지 않는 특별한 경우를 포함한다) 동일하지 않은 부문의의 행만이 있으면,NOT IN의 결과는"true(참)"입니다. 동일한 행이 하나라도 있으면, 결과는"false(거짓)"입니다.
좌변의 식에서 NULL이 생기는 경우, 또는 우변의 값에 동일한 것이 없고, 적어도 1개의 우변의 식이 NULL을 갖는 경우,NOT IN구문의 결과는 true가 아니라, NULL이 되는 것에 주의해 주세요. 이것은, NULL값의 논리적인 편성에 대한 SQL의 표준 규칙에 따르는 것입니다.
EXISTS와 같이, 부문의가 완전하게 평가되면, 전제하는 것을 추천하지 않습니다.
row_constructor NOT IN ( subquery )
NOT IN의 이 형식의 좌변은,Section 4.2.11에서 설명하는 행의 생성자입니다. 우변은 괄호로 둘러싸인 부문의로, 좌변의 행에 있는 식과 정확하게 같은 열을 반환해야 합니다. 좌변의 식은 부문의의 결과의 각각의 행에 대해, 평가, 비교를 합니다. (부문의가 행을 반환하지 않는 특별한 경우를 포함하고) 부문의의 행에 부등의 것만이 발견되었을 경우,NOT IN의 결과는"true(참)"가 됩니다. 동일한 행이 1개에서라도 발견되었을 경우, 결과는"false(false)"입니다.
행에 있는 NULL값은 언제나 SQL의 논리식의 표준 규칙으로 결합됩니다. 2개의 행은 대응하는 모든 원가요소가 비NULL 및 동일한 경우, 동일하다고 간주합니다. 1개에서도 원가요소가 비NULL 및 동일하지 않은 경우, 행은 동일하지 않다고 간주합니다. 그 이외 그 행의 비교 결과는 불명(NULL)입니다. 행 마다의 모든 결과가 부등 혹은 NULL인 경우에, 적어도 1개의 NULL가 있으면,NOT IN의 결과는 NULL이 됩니다.
expression operator ANY ( subquery ) expression operator SOME ( subquery )
우변은 괄호로 둘러싸인 부문의로, 정확하게 1개의 열을 반환해야 합니다. 좌변의 식은 부문의의 결과행 각각 대해, 지정된 operator 를 사용해 평가, 비교됩니다. 덧붙여 operator 는 결과적으로 논리값(true 또는 false)을 생성할 필요가 있습니다. true(참)인 결과가 하나라도 있으면,ANY의 결과는"true(참)"입니다. (부문의가 행을 반환하지 않는 특별한 경우를 포함한다) true(참) 결과가 없으면 결과는"false(false)"입니다.
SOME는ANY의 동의어입니다. IN는= ANY와 등가입니다.
성공이 없고, 우변의 행이 연산자의 결과로서 적어도 1개에서 NULL을 생성했을 경우,ANY구문의 결과는 false가 아니라, NULL이 되는 것에 주의해 주세요. 이것은, NULL값의 논리적인 편성에 대한 SQL의 표준 규칙에 따르는 것입니다.
EXISTS와 같이, 부문의가 완전하게 평가되면, 전제하는 것을 추천 하지 않습니다.
row_constructor operator ANY ( subquery ) row_constructor operator SOME ( subquery )
ANY의 이 형식의 좌변은,Section 4.2.11에서 설명되고 있는 행의 생성자 입니다. 우변은 괄호로 둘러싸인 부문의로, 좌변의 행에 있는 식과 정확하게 같은 열을 반환해야 합니다. 좌변의 식은 부문의의 결과의 각각의 행에 대해, 주어진 operator 를 사용해 행에 관한 평가, 비교를 합니다. 비교의 결과, 부문의의 어떠한 행에 대해서 true를 반환하는 경우,ANY의 결과는"true(true)"입니다. 비교의 결과, 부문의의 모든 행에 대해서 false를 반환하는 경우(부문의가 행을 반환하지 않는다고 하는 특수한 경우도 포함해), 결과는"false(거짓)"입니다. 비교의 결과, 어떠한 행에서도 true를 반환하지 않고, 그리고, 적어도 1개의 행이 NULL를 반환하는 경우, 결과는 NULL이 됩니다.
행 방향으로 비교하는 것의 의미에 대한 자세한 사항은 Section 9.17.5를 참조하세요.
expression operator ALL ( subquery )
우변은 괄호로 괄호로 둘러싸인 부문의로, 정확하게 1개의 열을 반환해야 합니다. 좌변의 식은 부문의의 결과행 각각 대해, 지정된 operator 를 사용해 평가, 비교됩니다. 덧붙여 operator 는 결과적으로 논리값을(참,거짓) 생성할 필요가 있습니다. (부문의가 행을 돌려주지 않는 특별한 경우를 포함한다) 모든 행이 true로 되는 경우,ALL의 결과는"true(참)"입니다. 행의 1개에서도 false의 결과가 있으면, 결과는"false(거짓)"입니다. 비교가 모든 행에 false를 반환하지 않고, 그리고, 적어도 1개의 행에대해 NULL을 반환했을 경우, 결과는 NULL이 됩니다.
NOT IN는<> ALL와 등가입니다.
EXISTS와 같이, 부문의가 완전하게 평가되면, 전제하는 것을 추천하지 않습니다.
row_constructor operator ALL ( subquery )
ALL의 이 형식의 좌변은,Section 4.2.11에서 설명하는 행의 생성자입니다. 우변은 괄호로 둘러싸인 부문의로, 좌변의 행에 있는 식과 정확하게 같은 열을 반환해야 합니다. 좌변의 식은 부문의의 결과의 각각의 행에 대해, 주어진 operator 를 사용해 행에 관한 평가, 비교를 합니다. 비교한 결과, 모든 부문의 행에 대해서 true를 반환하는 경우(부문의가 행을 반환하지 않는다고 하는 특수한 경우도 포함해),ALL의 결과는"true(참)"가 됩니다. 비교한 결과, 몇 개의 부문의행으로 false를 반환하는 경우, 이 결과는"false(거짓)"가 됩니다. 비교 결과가 모든 부문의 행에 대해서 true를 반환하지 않고, 적어도 1행으로 NULL을 반환하는 경우, 결과는 NULL이 됩니다.
행 방향으로 비교하는 것의 의미에 대해서는Section 9.17.5을 참조해 주세요.
row_constructor operator ( subquery )
좌변은,Section 4.2.11에서 설명되고 있는 행의 생성자입니다. 우변은 괄호로 둘러싸인 부문의로, 좌변의 행내에 있는 식과 정확히 같은 열을 반환해야 합니다. 게다가 부문의는 복수행을 반환할 수 없습니다(행을 전혀 반환하지 않는 경우, 결과는 NULL로 간주됩니다). 좌변은 부문의의 결과의 단일행에 대해 행 전체로 평가, 비교를 합니다.
행에 관한 비교의 의미에 대한 자세한 것은Section 9.17.5을 참조해 주세요.