Базы данных
Ограничения, ключи и типы данных Postgres
Команда хранит деньги в REAL. После года накопленных транзакций обнаруживаются расхождения на уровне центов, которые невозможно объяснить. Тип и был ошибкой — арифметика float теряет точность. Исправление — изменение схемы, затрагивающее каждую строку.
Реляционная модель Кодда vs SQL
Статья Эдгара Кодда 1970 года формализовала отношения как наборы кортежей из типизированных доменов и определила замкнутую алгебру операций (выборка, проекция, соединение, объединение, пересечение, разность) — замкнутую потому, что каждая операция принимает отношения на вход и возвращает отношение на выход. SQL — нестрогая реализация этой алгебры; он добавляет NULL (что Кодду не нравилось), ORDER (строки концептуально неупорядочены) и дублирующиеся строки (в отношениях дублей нет). Знание этого разрыва объясняет шероховатости:
NULL = NULL— это NULL, не true: трёхзначная логика.ORDER BYобязателен для гарантии порядка строк — без него движок вернёт любой порядок.DISTINCTсуществует потому, что движок должен хранить дубли, пока вы не попросите иначе.
Воспринимайте разрыв как «SQL = реляционная алгебра плюс практические компромиссы» — и неожиданности перестанут удивлять.
Пять видов ограничений
| Ограничение | Что принудительно соблюдает | Ключевая деталь |
|---|---|---|
| PRIMARY KEY | Уникальный ненулевой идентификатор строки | Один на таблицу; неявно создаёт уникальный B-tree индекс |
| UNIQUE | Нет дублей в наборе колонок | Несколько NULL допустимы (стандарт SQL); UNIQUE NULLS NOT DISTINCT (SQL:2023 / Postgres 15+) запрещает это |
| NOT NULL | Колонка всегда имеет значение | Для каждой колонки; первый рубеж качества данных |
| FOREIGN KEY | Колонка ссылается на существующий PK/UNIQUE другой таблицы | Параметры ON DELETE / ON UPDATE: NO ACTION, RESTRICT, CASCADE, SET NULL, SET DEFAULT |
| CHECK | Произвольное булево выражение на каждой строке при записи | CHECK (amount >= 0), CHECK (status IN (‘open’,‘closed’)) — может ссылаться на другие колонки той же строки |
Суррогатные vs натуральные ключи
Натуральный ключ — данные, уже существующие в бизнес-домене (email пользователя, SKU продукта, номер заказа). Суррогатный ключ — генерируемый базой, непрозрачный, значимый только внутри базы (BIGSERIAL, UUID).
Продакшн-дефолт в 2026: суррогатный ключ как primary key плюс ограничение UNIQUE NOT NULL на бизнес-натуральный ключ. Почему: натуральные ключи меняются (клиент меняет email), а изменение primary key каскадирует через каждый ссылающийся foreign key — операционно дорогостояще и часто невозможно при масштабе. Суррогатные ключи никогда не меняются.
Исключение: чистые join-таблицы (favourites: user_id, item_id) часто используют композит из foreign keys как PK — сама связь и есть идентичность, суррогат не нужен.
UUID vs BIGSERIAL. UUID глобально уникальны (хороши для распределённых вставок, мультирегионов, offline-first клиентов), но больше (16 байт против 8) и хуже для локальности индекса (случайные UUIDv4 фрагментируют B-tree). UUIDv7 (упорядоченный по времени, RFC 9562) решает проблему локальности и является современным дефолтом там, где нужен UUID. BIGSERIAL меньше, последователен и cache-friendly — выбирайте его, когда глобально уникальные ID не нужны.
Типы данных Postgres: выбирайте минимально необходимый
У Postgres богатейшая система типов среди всех популярных баз данных. Тип — первый рубеж ограничения: правильно типизированная колонка отсекает 80% плохих данных до того, как сработает любое CHECK ограничение.
| Категория | Продакшн-дефолты | Избегать |
|---|---|---|
| Целые | BIGINT (8B) для ID; INTEGER (4B) при ограниченном домене < ~2B | SMALLINT без уверенности, что < 32 767 |
| Строки | TEXT (без ограничения длины, без padding) | CHAR(n) — padding до длины, сюрпризы с пробелами; VARCHAR(n) добавляет проверку, но не даёт выигрыша в хранении |
| Деньги | NUMERIC(p,s) или BIGINT cents — точная арифметика | REAL или DOUBLE PRECISION — IEEE 754 теряет центы |
| Время | TIMESTAMPTZ (хранит UTC, отображает в timezone сессии) | TIMESTAMP (без зоны) — ловушка; DATE для дат |
| ID | UUID нативный тип (16 байт) | UUID как TEXT — тратит байты, теряет принудительный тип |
| Булевы | BOOLEAN | SMALLINT или TEXT для булевых — семантически неверно |
| Полуструктурированные | JSONB (бинарный, индексируемый) | JSON (только текст, не индексируемый) |
- Статья Кодда
- 1970
- BIGSERIAL на запись в индексе
- 8 байт
- UUID на запись в индексе
- 16 байт
- UUIDv7 vs UUIDv4 локальность индекса
- упорядоченный vs случайный
- Overhead проверки FK-ограничения
- ~5-50 мкс / строка
- Размер GIN-индекса JSONB vs B-tree
- ~5-20x больше
- Типичный overhead хранения колонки
- ~1-4 байта / колонка
- Размер записи составного PK в индексе
- ~24-48 байт
Спроектируйте минимальную e-commerce схему (users, products, orders)
1/3Команда хранит деньги в REAL и обнаруживает расхождения на уровне центов после года транзакций. Исправление?
Какой самый весомый аргумент в пользу суррогатного primary key (BIGSERIAL или UUID) перед натуральным (email)?
- 01Почему NULL = NULL не TRUE в SQL и чему это равно?
- 02Назовите параметры ON DELETE для foreign key и когда каждый используется.
- 03Что является продакшн-дефолтом для хранения валюты в Postgres и почему не REAL?
SQL — это реляционная алгебра плюс практические компромиссы: NULL, порядок и дубли. Пять видов ограничений (PRIMARY KEY, FOREIGN KEY, NOT NULL, UNIQUE, CHECK) кодируют бизнес-правила, которые движок не нарушает. Продакшн-дефолт для primary keys — суррогатный (BIGSERIAL или UUIDv7) плюс UNIQUE NOT NULL на бизнес-натуральный ключ: натуральные ключи меняются, суррогатные — никогда. Типы Postgres — первый рубеж ограничений: NUMERIC для денег, TIMESTAMPTZ для временных меток, TEXT для строк, JSONB (не JSON) для полуструктурированных данных. Урок 3 разбирает нормализацию — дисциплину удаления избыточности из схемы.
- Heap-хранилище, TOAST и выравнивание колонокsenior
- Целостность схемы: deferral, версионирование и сбои в продакшнеsenior
- Реляционная модель vs документные, wide-column, граф и key-valuesenior
- Реляционная модель: спроектировать и мигрировать multi-tenant схемуsenior
- Реляционная модель: тест с множественным выборомsenior
- Реляционная модель: тест с краткими ответамиsenior
встречается в164
- Почему GraphQL получает N+1junior
- Механика DataLoader: батчинг на границе тикаmiddle
- Контракты batch-функции: порядок, формы, ошибкиmiddle
- Federation и lookahead: батчинг за пределами DataLoadermiddle
- Защита сложности запросов: depth, cost, persisted queriesmiddle
- Senior GraphQL API: scheduling-контракт, изоляция арендаторов, наблюдаемостьsenior
- Зачем идемпотентность: безопасные retryjunior
- Серверный state machine: четыре состояния idempotency keymiddle
- Outbox и inbox: effectively-once через dual-write границуmiddle
- Конкурентность и архитектура кеша для идемпотентности на масштабеsenior
- Наблюдаемость, production-инциденты и дизайн для глобального масштабаsenior
- Event loop: один поток, три очередиjunior
- Задачи, микрозадачи и scheduler.yield()middle
- Голодание микрозадач, длинные задачи и LoAFsenior
- Event loop Node.js: фазы, nextTick и задержка циклаsenior
- React, Vue и наблюдаемость INP в продакшенеsenior
- Render pipeline: шесть стадий от байтов до пикселейjunior
- Цена стадий и модель процесса рендерераmiddle
- Инвалидация, dirty-биты и containmiddle
- Слои композитора: продвижение, перекрытие и память GPUmiddle
- Флейм-стрип DevTools и жизненный цикл кадраmiddle
- Layout thrash: форсированная синхронная компоновкаsenior
- BeginMainFrame, анимации на потоке compositor и память GPUsenior
- Observability в проде: LoAF, INP и полная поверхность атакиsenior
- Что такое V8 и почему производительность различается в 100 разjunior
- Четырёхуровневый JIT-конвейер V8 и профилированная тиеризацияmiddle
- Hidden classes, деревья переходов и расположение в памятиmiddle
- Inline caches, состояния IC и деоптимизацияmiddle
- Orinoco GC: параллельный scavenger, конкурентная разметка и барьеры записиmiddle
- Спекулятивный движок TurboFan и ловушка deopt-loopsenior
- V8 в production: Isolates, сжатие указателей и реальные аварииsenior
- Что такое воркеры и зачем они нужныjunior
- Механика web workers: dedicated, shared и OffscreenCanvasmiddle
- Structured clone и transferablesmiddle
- Жизненный цикл service worker и стратегии кешированияmiddle
- SharedArrayBuffer, Atomics и cross-origin isolationsenior
- Граничные случаи service worker: version skew, долговременность и ловушка навигацииsenior
- Пулы воркеров, Comlink и наблюдаемость в продакшенеsenior
- Что делает реконсилер: render vs commitjunior
- Объект fiber и дерево с двойной буферизациейmiddle
- Чистота фазы render и подшаги фазы commitmiddle
- Реконсиляция: эвристики диффа и ловушка ключейmiddle
- Приоритетные lanes, time-slicing и useTransitionmiddle
- Bailout, мемоизация и tearingsenior
- React Profiler, компилятор и продакшн-наблюдаемостьsenior
- Стратегии рендеринга: SSG, SSR, ISR, streaming и гидратацияjunior
- SSG, SSR, ISR, streaming и RSC — как работает каждая стратегияmiddle
- Цена гидратации: selective, progressive, острова, resumabilitymiddle
- Hydration mismatch: причины, обнаружение и правило детерминизмаsenior
- RSC, стратегия на маршрут и production-наблюдаемостьsenior
- Core Web Vitals: что измеряют LCP, INP и CLSjunior
- CLS: почему происходят сдвиги лейаута и как их остановитьmiddle
- Трейдоффы метрик, RUM-атрибуция и цикл CI+полеsenior
- Общая картина: от URL до LCP до INP как эстафетаjunior
- Восемь слоёв трассировки: от service worker до второй навигацииmiddle
- Пять канонических поломок: где производство стабильно ломаетсяsenior
- Метод трёх треков: чтение трасс и построение системы мониторингаsenior
- Что такое cache stampede и почему он делает всё хужеjunior
- Лок и single-flight: ограничение параллельных rebuildmiddle
- XFetch: вероятностное раннее истечение без координацииmiddle
- Stale-while-revalidate и CDN request coalescingmiddle
- Детектирование stampede и дизайн TTL для продакшенаmiddle
- Метастабильный сбой, fencing-токены и production-постмортемыsenior
- Роли Raft, term и почему majority-кворум предотвращает split brainjunior
- Как Raft реплицирует log entry и решает, что его безопасно коммититьmiddle
- Выборы лидера в Raft: таймауты, правила голосования и четыре свойства безопасностиmiddle
- Raft в реальном мире: partition, медленный диск и клиентская маршрутизацияmiddle
- Расширения Raft: pre-vote, learner, snapshot и линеаризуемые чтенияsenior
- Raft в production: membership change, Multi-Raft и observabilitysenior
- Где происходит data fetching — и почему это решает LCPjunior
- Fetch waterfall''''ы — диагностика и лечение через Promise.allmiddle
- React Server Components и Suspense streamingmiddle
- Клиентский кэш: TanStack Query, SWR и stale-while-revalidatemiddle
- LCP, prefetch и race conditions в интерактивном fetchingmiddle
- Senior internals: RSC payload, слои кэша и production паденияsenior
- Конверт IPjunior
- Читаем IP-заголовокmiddle
- Трёхстороннее рукопожатие TCPjunior
- Номера последовательности и состояние соединенияmiddle
- DNS: что делает и зачем существуетjunior
- Обход резолвера: перенаправления, типы записей и gluemiddle
- TTL, кеширование и распространение DNSmiddle
- Что делает TLS и зачем он нуженjunior
- Рукопожатие за 1 RTT: key share и ECDHEmiddle
- Возобновление сессии и 0-RTTmiddle
- Расписание ключей, SNI, ALPN и расширенияsenior
- Защита 0-RTT, ECH, гибридный PQ и продакшн TLSsenior
- WebSocket: HTTP-апгрейд до постоянного соединенияjunior
- Формат WebSocket-фрейма: opcodes, маскирование, фрагментацияmiddle
- Backpressure в WebSocket: когда клиенты не успеваютmiddle
- Реконнект: jittered backoff, thundering herd, восстановление сообщенийsenior
- WebSocket в масштабе: HTTP/2 мультиплексирование, permessage-deflate, C10Msenior
- WebSocket в production: прокси, безопасность и распределённая архитектураsenior
- Что делают обратные проксиjunior
- Health checks, connection draining и slow startmiddle
- Session affinity, consistent hashing и правильное решениеmiddle
- Retry-бури, circuit breakers и load sheddingsenior
- Устойчивая архитектура LB: anycast, zone-aware маршрутизация и observabilitysenior
- Почему QUIC, а не TCP+TLSjunior
- Connection ID и миграция сетиmiddle
- Возобновление 0-RTT и шифрование пакетовsenior
- DDoS: что это и почему работаетjunior
- Атаки усиления и истощение состоянияmiddle
- Ограничение скорости: алгоритмы и архитектураmiddle
- WAF, межсетевые экраны, mTLS и HSTSmiddle
- Отравление DNS-кэша и BGP-перехватsenior
- Эшелонированная защита и экономика атакsenior
- Двенадцать слоёв: один URL, семь действующих лицjunior
- DNS, TCP, TLS по очереди: куда уходят миллисекундыmiddle
- Перехват прокси и шлюзы безопасности: rate limiter, WAF, mTLSmiddle
- Альтернативные пути: QUIC 0-RTT, WebSocket upgrade, миграция соединенияmiddle
- Наблюдаемость: распределённые трейсы, USE/RED и семплированиеsenior
- Устойчивость: каскадные повторы, circuit breakers и error budgetsenior
- Что такое три сигнала: метрики, логи, трейсыjunior
- Зачем нужны структурные логи: дневник против таблицыjunior
- Схема продакшн-лога: поля, которые несёт каждая строкаmiddle
- PII-редакция и log injectionsenior
- OTel Logs Data Model и audit-логи как подсистемаsenior
- Что такое OpenTelemetry: API, SDK, Collector, OTLPjunior
- Сигналы OTel, Semantic Conventions и проводной формат OTLPmiddle
- Collector OTel: receivers, processors, exporters и паттерны развёртыванияmiddle
- Vendor-нейтральность, eBPF-инструментирование, Operator и OTel в браузере и serverlesssenior
- Эксплуатация OTel Collector: надёжность, version skew, режимы отказа и управлениеsenior
- SLI, SLO и error budget: надёжность в числахjunior
- Error budget policy, latency SLO и составные journeysmiddle
- Продакшн-отказы SLO, самонаблюдаемость, безопасность и общая картинаsenior
- Что такое trace propagation и почему сломанная propagation хуже отсутствия трейсовjunior
- traceparent и tracestate: полный формат W3C-заголовкаmiddle
- Baggage и async-границы: перенос контекста через очереди и callback''''иmiddle
- Async context на разных языках, service mesh, миграция B3 и безопасностьsenior
- Production-сбои propagation, span links и платформенный дизайнsenior
- Debugging-воронка: SLO → RED → trace → profilejunior
- Архитектура OTel: один SDK, четыре сигнала, один wire-форматmiddle
- Петля инцидента: от пейджера до постмортема до предотвращенияmiddle
- Масштаб, безопасность и ROI наблюдаемых системsenior
- Cache lines и false sharing: когда параллелизм замедляет кодmiddle
- SIMD и data layout: AoS vs SoA и разница в 4–8xmiddle
- Cache-oblivious алгоритмы, PGO и production failuressenior
- GC в production: наблюдаемость, безопасность, edge cases и управление флотомsenior
- Batching: амортизируй фиксированную цену каждой операцииjunior
- Окно батчинга: размер и время ожиданияmiddle
- Batching в Kafka и Postgresmiddle
- io_uring и наблюдаемость пакетированияmiddle
- От Nagle до io_uring: эволюция пакетированияmiddle
- Backpressure, изоляция сбоев и безопасность батчей в продакшенеsenior
- CI enforcement и RUM: делаем бюджеты рабочимиmiddle
- V8 JIT-пайплайн, HTTP-приоритеты и безопасность bundlesenior
- Цикл performance: дисциплина, а не проектjunior
- Классификация и исправление: сопоставление family bottleneck с методамиmiddle
- Observability-стек и CI gates: ловить регрессии до выпускаmiddle
- От инцидента к enforcement: SLO burn до верифицированного исправления за 35 минутmiddle
- Культура, экономика и масштаб performancesenior
- At-most-once, at-least-once, exactly-once: три контракта доставкиjunior
- Три ножки сбоя — где реально происходят дубликаты и потериmiddle
- Consumer-side dedup: самый дешёвый путь к exactly-once processingmiddle
- Kafka exactly-once semantics: idempotent producer и транзакцииmiddle
- SQS visibility timeout, DLQ и outbox patternmiddle
- Exactly-once в production: impossibility-доказательство, гибридные паттерны и реальные инцидентыsenior
- Что такое OAuth и почему пароли — не ответjunior
- Authorization code flow с PKCEmiddle
- Валидация ID-токена и управление JWKS-кешемmiddle
- Ротация refresh-токенов и scope-based least privilegemiddle
- Sender-constrained токены: DPoP и mTLSsenior
- OAuth в production: audience атаки, observability и реальные провалыsenior