Databases

Databases introduces data modeling and query foundations with static, recomputed diagrams: relations, relational algebra, SQL semantics, index search structures, query plans, optimizer estimate choices, transactions, isolation anomalies, write-ahead logs, replication, small-scale consensus, concurrency-control protocols, normalization, partitioning, two-phase commit, isolation-level synthesis, SQL surface extensions, safe commit/rollback classifications, backup restore-point replay, finite schema-change transforms, saved-query views, key-constraint checks, finite check-constraint validation, exact ordering/pagination, exact grouping/aggregates, finite COUNT DISTINCT behavior, finite table writes, finite UPDATE statements, finite DELETE statements, finite INSERT statements, finite subqueries, finite set operations, finite window functions, finite outer joins, finite FULL OUTER JOIN behavior, finite JOIN USING output layout, finite NATURAL JOIN common-column discovery, finite LEFT JOIN filter placement, finite missing-match LEFT JOIN filters, finite CROSS JOIN products, finite self joins, finite semi joins, finite common table expressions, finite inner joins, finite join multiplication, finite WHERE filters, finite WHERE-vs-HAVING boundary checks, finite SELECT lists, finite CASE expressions, finite COALESCE expressions, finite LIKE pattern filters, finite IN-list filters, finite NOT IN NULL behavior, finite Boolean filters, finite DISTINCT pipelines, finite comparison predicates, finite BETWEEN ranges, finite NULL tests, finite HAVING filters, finite aggregate NULL behavior, finite multi-column grouping, finite multi-column sorting, finite UNIQUE constraint checks, finite DEFAULT-value insert checks, and finite foreign-key delete actions.

64 books, 512 pages, 64 chapters.

Books