SQL 述語（Predicate） — INサブクエリ・ANY/ALLの応用

SELECT
  p.product_id, p.name, p.category, p.price
FROM   products p
WHERE  NOT EXISTS (
  SELECT 1
  FROM   order_items oi
  WHERE  oi.product_id = p.product_id  -- 相関条件: 1件でもあれば FALSE
)
ORDER BY p.product_id;

-- ✗ 誤った書き方（order_items.product_id に NULL が含まれると 0件になる）:
-- WHERE p.product_id NOT IN (SELECT product_id FROM order_items)

/*
  実行順序（SQLの論理的な評価順）:
  1. FROM products p                     → 外側: 6行スキャン
  2. [各行に対して] NOT EXISTS 相関サブクエリ:
       FROM order_items oi
       WHERE oi.product_id = p.product_id → 1件でもヒット → FALSE（除外）
                                            0件             → TRUE（通過）
  3. WHERE NOT EXISTS (...)              → TRUE の 2行を通過（product 5, 6）
  4. SELECT p.product_id, p.name, ...   → 4列を選択
  5. ORDER BY p.product_id              → ID 昇順
*/

SELECT
  o.order_id, o.user_id, o.amount, o.status, o.ordered_at
FROM   orders o
WHERE  o.user_id IN (
  SELECT user_id          -- プレミアム会員の user_id を動的に取得
  FROM   users
  WHERE  plan = 'premium'  -- サブクエリ結果: {1, 3}
)
ORDER BY o.ordered_at;

/*
  実行順序（SQLの論理的な評価順）:
  1. サブクエリ評価（非相関）                       → premium ユーザーを1回だけ取得
  2. FROM orders o                      → 7行読み込み
  3. WHERE o.user_id IN (...)           → 該当ユーザーの注文に絞り込み
  4. SELECT o.order_id, o.user_id, ...  → 5列を選択
  5. ORDER BY o.ordered_at              → 日付昇順
  */

SELECT
  product_id, name, category, price
FROM   products
WHERE  price > ALL (
  SELECT price                       -- アクセサリ全商品の価格リスト: {12800, 980}
  FROM   products
  WHERE  category = 'アクセサリ'
)
ORDER BY price;                      -- ↑ price > MAX(アクセサリ価格) = price > 12800 と等価

/*
  実行順序（SQLの論理的な評価順）:
  1. サブクエリ評価                       → アクセサリの価格集合を生成
  2. FROM products                 → 6行読み込み
  3. WHERE price > ALL (...)       → 最大値超で絞り込み
  4. SELECT product_id, name, ...  → 4列を選択
  5. ORDER BY price                → 価格昇順
  */

SELECT
  order_id, user_id, amount, coupon_code, ordered_at
FROM   orders
WHERE  coupon_code IS DISTINCT FROM 'SUMMER10'
--              ↑ NULL安全比較: NULL は「SUMMER10 と異なる」= TRUE として扱う
--   ✗ coupon_code <> 'SUMMER10' はNULL行がUNKNOWN→除外されてしまう
ORDER BY order_id;

/*
  実行順序（SQLの論理的な評価順）:
  1. FROM orders                                    → 7行読み込み
  2. WHERE coupon_code IS DISTINCT FROM 'SUMMER10'  → 一致以外を通過
  3. SELECT order_id, user_id, amount, ...          → 5列を選択
  4. ORDER BY order_id                              → order_id 昇順

  ▸ IS DISTINCT FROM 真理値表（再掲）:
      a = b             → FALSE  (同値)
      a ≠ b             → TRUE   (異なる値)
      NULL vs 非NULL    → TRUE   (NULLは「異なる」)
      NULL vs NULL      → FALSE  (両方NULLは「同じ」)
*/