Составной индекс против Seq Scan плюс Sort

Шаги

1. 01

   Создай таблицу репозиториев

   sqlcopy

   CREATE TABLE repos AS

   SELECT g id, (g % 5000) AS forked_from_id,

          '2026-01-01'::timestamptz + (g || ' min')::interval AS updated_at,

          'repo' || g AS name

   FROM generate_series(1, 500000) g;

   ANALYZE repos;

   подсказка

   Паттерн: много форков от одного репозитория, нужны последние по времени.

   ✓ Таблица repos готова.

2. 02

   Без индекса: Seq Scan плюс Sort

   sqlcopy

   EXPLAIN SELECT * FROM repos

   WHERE forked_from_id = 42 ORDER BY updated_at DESC LIMIT 10;

   Предскажи: какой метод доступа и есть ли узел Sort? (Ожидается Seq Scan и Sort - большой cost.)

   подсказка

   Без индекса надо прочитать все строки ветки и отсортировать.

   ✓ Seq Scan + Sort - дорого. Сейчас починим.

3. 03

   Составной индекс убирает сортировку

   sqlcopy

   CREATE INDEX repos_fork_upd ON repos (forked_from_id, updated_at DESC);

   ANALYZE repos;

   EXPLAIN SELECT * FROM repos

   WHERE forked_from_id = 42 ORDER BY updated_at DESC LIMIT 10;

   Индекс находит участок forked_from_id = 42, где строки уже отсортированы по updated_at DESC - бери первые 10. Sort исчез.

   подсказка

   Равенство раньше, сортировка в конце ключа - тогда ORDER BY бесплатен.

   ✓ Index Scan, сортировка ушла - cost упал на порядки.

4. 04

   Правило префикса: средняя колонка не помогает

   sqlcopy

   EXPLAIN SELECT * FROM repos WHERE updated_at > '2026-06-01';

   Индекс (forked_from_id, updated_at) отсортирован сначала по forked_from_id. Условие только по updated_at не фиксирует префикс - записи разбросаны, индекс не подходит. Предскажи: Seq Scan.

   подсказка

   Индекс (a,b) помогает по a и (a,b), но не по одному b.

   ✓ Seq Scan - по средней колонке составной индекс не работает.

5. 05

   Найди неиспользуемый индекс

   Заведём индекс и ни разу им не воспользуемся:

   sqlcopy

   CREATE INDEX repos_name_unused ON repos (name);

   SELECT indexrelname, idx_scan FROM pg_stat_user_indexes WHERE relname = 'repos';

   У repos_name_unused idx_scan = 0 - им никто не пользуется, это кандидат на удаление (налог на запись без пользы).

   подсказка

   idx_scan = 0 значит, что индексом ни разу не воспользовались.

   ✓ idx_scan = 0 - неиспользуемый индекс найден.