SQL SQL In Depth
0%
build build cohort-retention saas-analytics

Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels)

7 min read Module 3.3: Advanced SQL Patterns, Temporal Queries & Programmability Updated Oct 26, 2026
📄 Cheat Sheet
Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels) — Database Systems & SQL Architecture Lecture
PlanetScale (Aaron Francis) Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels) — Database Systems & SQL Architecture Lecture Watch on YouTube ↗

Builds first-principles mastery of Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels) with concrete query execution trees, storage page layouts, and production tuning trade-offs.

0:00 / 4:36

1. First-Principles Mental Model & Relational Mechanics

Every SQL statement in Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels) compiles down to a deterministic tree of relational algebra operators acting on physical pages in the buffer pool. At the logical layer, Build an end-to-end SaaS analytics SQL suite calculating MRR expansion/churn movements, cohort retention triangles, and step-by-step funnel conversion. Rather than mutating global variables imperatively, declarative SQL specifies the mathematical properties of the desired output relation while delegating physical access path selection to the cost-based query optimizer.

When the database engine processes build-saas-cohort-funnel-workbench within Advanced SQL Patterns, Temporal Queries & Programmability, it enforces strict invariants over tuple domains, attribute visibility, and I/O page budgets. Understanding the boundary between logical relational semantics (what rows qualify) and physical execution (whether the engine performs a sequential heap scan, a B+Tree range seek, or an in-memory hash probe) is the defining skill of a Staff Database Engineer.

Formal Relational & Cost Invariant — Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels)

Let relation RR contain NN tuples stored across BB physical 8KB pages (B≈⌈N/tuples_per_page⌉B \approx \lceil N / \text{tuples\_per\_page} \rceil). Evaluating Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels) maintains the relational closure and I/O cost bound:

CostI/O(R)=Bseq⋅cseq+log⁡F(N)⋅crandom,σθ(πA(R))⊆Dom(A)\text{Cost}_{\text{I/O}}(R) = B_{\text{seq}} \cdot c_{\text{seq}} + \log_{F}(N) \cdot c_{\text{random}}, \quad \sigma_{\theta}(\pi_{A}(R)) \subseteq \text{Dom}(A)

Where F≈250–500F \approx 250\text{--}500 is the B+Tree page fanout, σθ\sigma_{\theta} denotes Three-Valued Logic predicate selection over build, and πA\pi_{A} projects the target attribute schema without violating domain constraints.

2. Database Table Schema, Execution Pipeline & Visual Architecture

Tracing how Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels) flows through the parser, catalog binder, cost-based optimizer, and physical executor reveals exactly where latency and cardinality bugs originate:

  • Stage 1 — Lexical Parsing & Catalog Binding (build): The SQL parser builds an Abstract Syntax Tree (AST) and resolves every relation, column identifier, and data type against system catalog tables (such as pg_class, pg_attribute, or sqlite_master).
  • Stage 2 — Logical Rewrite & Algebraic Simplification (cohort-retention): The planner normalizes predicates, pushes selective filters as close to the storage scan as possible, and verifies whether Three-Valued NULL semantics permit subquery unnesting or join elimination.
  • Stage 3 — Cost Estimation & Physical Operator Selection (saas-analytics): Using histogram boundaries, Most Common Values (MCV), and Number of Distinct Values (NDV), the optimizer selects the minimum-cost physical plan and streams tuples through the execution pipeline.
Hands-On Build: Complete SaaS Analytics Engine (MRR... — Partitioned Table & Sliding Window Frame Module M09 · PARTITION BY dept_id ORDER BY salary_usd DESC · Frame Overlay (build) TABLE employees (Partitioned Tuple Stream) PK emp_id dept_id name salary_usd RANK / SUM OVER 2 2 (Storage) Vikramaditya $255,000 #1 · $255k 4 2 (Storage) Mateo Silva $215,000 #2 · $470k [CURRENT ROW] 5 2 (Storage) Aisha Patel $198,000 #3 · $668k 3 3 (Planner) Hannah L. $250,000 #1 · $250k (New Partition) WINDOW FRAME INVARIANTS • Preserves all N input tuples • Frame: UNBOUNDED PRECEDING AND CURRENT ROW • Peer ties handled by ROWS vs RANGE vs GROUPS • Evaluated at Step 5 (pre-SELECT)
flowchart LR A["1. FROM / JOIN (build)"] --> B["2. WHERE / 3VL Filter (cohort-retention)"] B --> C["3. GROUP BY / WINDOW OVER"] C --> D["4. SELECT Projection & ORDER BY (saas-analytics)"]

3. Interactive Table-Level & Storage Engine Simulator

Use the interactive simulator below to step through Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels) at the tuple and page level. Observe how input rows, intermediate filter/join states, NULL badges, and physical page reads evolve at each step:

Date Spine Cohort Retention Matrix, Funnel Attribution & Allen Interval Overlap
s1 < e2 AND e1 > s2

Visualize half-open interval overlap detection [start, end), double-booking exclusion constraints, and cohort month offset retention matrices.

Step 1 / 6
Custom Input:
Timeline

Invariant & State

Relation initialized with 4 tuples across schema (booking_id, room_id, check_in, check_out, overlap_test_vs_new) — preset: Room Reservation Overlap Check (s1 < e2 AND e1 > s2).
📊 Live Magnitude & Pointer Stage — Date Spine Cohort Retention Matrix, Funnel Attribution & Allen Interval Overlap Active Pivot Match/Sorted
Tuple # B-101:… [0] B-102:… [1] B-103:… [2] B-104:… [3]
📋 Date Spine Cohort Retention Matrix, Funnel Attribution & Allen Interval Overlap — Initial Relation State 4 row(s)
booking_idroom_idcheck_incheck_outoverlap_test_vs_newState
B-101RM-4022026-05-102026-05-1410 < 16 AND 14 > 12 → OVERLAP!CURSOR START
B-102RM-4022026-05-142026-05-1814 < 16 AND 18 > 12 → OVERLAP!
B-103RM-4022026-05-012026-05-1001 < 16 AND 10 > 12 (False) → SAFE (Abutting)
B-104RM-4052026-05-122026-05-16Different room_id → SAFE
[0]B-101:2026-05-10Tuple #0
[1]B-102:2026-05-14
[2]B-103:2026-05-01
[3]B-104:2026-05-12
Input Tuples
4
Columns
5
Preset Mode
overlap
Pipeline Stage
1. Initial Scan
[Step 1] Initialized Date Spine Cohort Retention Matrix, Funnel Attribution & Allen Interval Overlap (Room Reservation Overlap Check (s1 < e2 AND e1 > s2)) with 4 base rows.

4. Live WASM SQL Lab, Clause-by-Clause Visualizer & Automated Test Checker

Execute, edit, and test the production SQL query below directly in your browser using the embedded WebAssembly SQLite 3 engine. Click ▶ Run Query to execute, 🔍 Step Clauses to inspect the live intermediate table after FROM/JOIN, WHERE, GROUP BY, HAVING, WINDOW, SELECT, and ORDER BY, or ✓ Check SQL Tests to run automated relational assertions against the reference result:

SQL · WASM23 lines
-- Dataset: saas_telemetry | Multi-Step Ordered Funnel & Cohort Conversion Analysis
WITH user_funnel AS (
  SELECT
    user_id,
    MAX(CASE WHEN event_type = 'signup' THEN 1 ELSE 0 END) AS step1_signup,
    MAX(CASE WHEN event_type = 'schema_connect' THEN 1 ELSE 0 END) AS step2_connect,
    MAX(CASE WHEN event_type = 'query_run' THEN 1 ELSE 0 END) AS step3_query,
    MAX(CASE WHEN event_type = 'upgrade_pro' THEN 1 ELSE 0 END) AS step4_upgrade
  FROM user_events
  GROUP BY user_id
)
SELECT
  u.plan_tier,
  COUNT(u.user_id) AS cohort_orgs,
  SUM(uf.step1_signup) AS signed_up,
  SUM(uf.step2_connect) AS connected_schema,
  SUM(uf.step3_query) AS executed_query,
  SUM(uf.step4_upgrade) AS upgraded_pro
FROM saas_users AS u
INNER JOIN user_funnel AS uf
  ON uf.user_id = u.user_id
GROUP BY u.plan_tier
ORDER BY cohort_orgs DESC;

5. Cross-Engine Dialect & Cost Comparison Matrix

While the SQL ISO standard defines the logical behavior of Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels), production storage engines differ in how they execute, lock, and index the underlying tuples:

Database Engine Primary Storage & Access Mechanism I/O & CPU Complexity Production Caveat for Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels)
PostgreSQL 17 Heap Tuple Store (ctid) + B-Tree / GIN / BRIN + MVCC (xmin/xmax) O(log⁡BN)O(\log_B N) seek / O(N)O(N) scan Requires ANALYZE statistics and Visibility Map bits for Index-Only Scans.
SQLite 3.46 (WASM) B+Tree Table (rowid clustered) + Covering Secondary B-Trees O(log⁡BN)O(\log_B N) B+Tree traversal Runs in-process with zero network RTT; inspect EXPLAIN QUERY PLAN for USE TEMP B-TREE.
MySQL 8.4 (InnoDB) Clustered Primary Key B+Tree + Undo Log Rollback Segments O(log⁡BN)O(\log_B N) PK / $2 \times O(\log_B N)$ Secondary Secondary indexes store the Primary Key value; wide PKs amplify secondary index footprint.
DuckDB / ClickHouse Columnar Vectorized Chunks + Zone Maps (Min/Max Skipping) O(N/SIMD_Width)O(N / \text{SIMD\_Width}) vectorized scan Excels at wide analytical scans and aggregations; avoid single-row OLTP point mutations.

6. Live Verification, Catalog Introspection & Execution Plan Lab (SQL)

To verify how a production database engine executes Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels) across edge-case rows, run or modify the second live SQL verification query below. Inspect how GROUP BY buckets, window partitions, and Three-Valued NULL guards behave in real time:

SQL · WASM16 lines
-- Dataset: saas_telemetry | Cohort Retention, MRR & Event Latency Verification (build-saas-cohort-funnel-workbench)
SELECT
  u.user_id,
  u.org_name,
  u.plan_tier,
  COALESCE(s.mrr_usd, 0) AS active_mrr_usd,
  COUNT(e.event_id) AS total_events,
  ROUND(AVG(e.latency_ms), 1) AS avg_event_latency_ms,
  MAX(e.event_ts) AS last_seen_ts
FROM saas_users AS u
LEFT JOIN subscriptions AS s
  ON s.user_id = u.user_id AND s.status = 'active'
LEFT JOIN user_events AS e
  ON e.user_id = u.user_id
GROUP BY u.user_id, u.org_name, u.plan_tier, s.mrr_usd
ORDER BY active_mrr_usd DESC, total_events DESC;

7. Production Failure Modes, Anti-Patterns & Staff Tuning Checklist

Production Pitfall & SEV-1 Outage Pattern

The most common production failure in Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels) occurs when a query passes functional unit tests on a 50-row local fixture but degrades into an O(N2)O(N^2) loop, an unindexed full-table scan, or a silent NULL data-drop once table cardinality crosses 10710^7 rows. Always verify both NULL boundary rows and physical buffer reads before deploying to production.

  • Verify Execution Plans Early: Never guess what the planner will do—run EXPLAIN QUERY PLAN (SQLite) or EXPLAIN (ANALYZE, BUFFERS) (PostgreSQL) and confirm that estimated row counts match actual row counts within 2×2\times.
  • Guard Against Three-Valued NULL Traps: Audit every NOT IN, outer-join WHERE filter, and aggregate AVG/COUNT(col) expression for nullable columns; prefer NOT EXISTS and explicit COALESCE defaults.
  • Keep Predicates SARGable: Never wrap an indexed column in a function, arithmetic expression, or implicit type cast on the left-hand side of a comparison operator.
  • Bound Memory & Lock Scope: Ensure sorting, hashing, and batch mutations operate within bounded memory budgets (work_mem) and hold row/table locks for the shortest possible duration.
Check yourself Question 1 of 4
Concept Check Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels) — Core Relational Invariant recall

Which statement accurately characterizes the primary mechanism and guarantee of Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels)?

Interactive 3-Step Guided SQL Lab & Step-by-Step Table Visualizer (PostgreSQL 18 WASM & SQLite 3 WASM) 3 Guided Steps + Progressive Hints

Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels) — Interactive Guided SQL Lab

Build an end-to-end SaaS analytics SQL suite calculating MRR expansion/churn movements, cohort retention triangles, and step-by-step funnel conversion.

⏱ Target Time: O(N) scan / O(log_B N) indexed 💾 Auxiliary Space: O(1) streaming tuple state 🧭 Pattern: Advanced SQL Patterns, Temporal Queries & Programmability 🗄️ Dataset: saas_telemetry
01 Phase 1 · Base Relation & SARGable Predicate
Base Relation Scan & SARGable Filter (saas_telemetry)
Establish the base relation scan in saas_telemetry for Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels) with a SARGable predicate and explicit Three-Valued Logic NULL handling.
Run or edit query.sql to inspect the base table tuples, verify SARGable index filtering in the WHERE clause, and step through the live Table Visualizer.
💡 Progressive SQL Hint (Step 1)
SELECT event_id, user_id, event_type, latency_ms, event_ts FROM user_events WHERE latency_ms IS NOT NULL AND event_ts >= '2025-01-01' ORDER BY event_ts ASC LIMIT 10;
02 Phase 2 · Relational Join, Aggregation & 3VL Guard
Relational Join, Grouping & NULL-Safe Aggregation
Combine normalized tables via explicit JOIN conditions and fold group buckets or window partitions without losing NULL boundary rows.
Run or refine the Step 2 relational join and aggregation query in query.sql, then click 🔍 Step Clauses to inspect each intermediate table.
💡 Progressive SQL Hint (Step 2)
-- Dataset: saas_telemetry | Cohort Retention, MRR & Event Latency Verification (build-saas-cohort-funnel-workbench)
SELECT
  u.user_id,
  u.org_name,
  u.plan_tier,
  COALESCE(s.mrr_usd, 0) AS active_mrr_usd,
  COUNT(e.event_id) AS total_events,
  ROUND(AVG(e.latency_ms), 1) AS avg_event_latency_ms,
  MAX(e.event_ts) AS last_seen_ts
FROM saas_users AS u
LEFT JOIN subscriptions AS s
  ON s.user_id = u.user_id AND s.status = 'active'
LEFT JOIN user_events AS e
  ON e.user_id = u.user_id
GROUP BY u.user_id, u.org_name, u.plan_tier, s.mrr_usd
ORDER BY active_mrr_usd DESC, total_events DESC;
03 Phase 3 · Production Query & Plan Verification
Production Query & Execution Plan Verification (Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels))
Verify final column projections, ordering, and physical B+Tree access paths via EXPLAIN QUERY PLAN and automated relational assertions.
Execute the complete production query in query.sql and click ✓ Check SQL Assertions to verify schema alignment, row cardinality, and tuple equivalence.
💡 Progressive SQL Hint (Step 3)
-- Dataset: saas_telemetry | Multi-Step Ordered Funnel & Cohort Conversion Analysis
WITH user_funnel AS (
  SELECT
    user_id,
    MAX(CASE WHEN event_type = 'signup' THEN 1 ELSE 0 END) AS step1_signup,
    MAX(CASE WHEN event_type = 'schema_connect' THEN 1 ELSE 0 END) AS step2_connect,
    MAX(CASE WHEN event_type = 'query_run' THEN 1 ELSE 0 END) AS step3_query,
    MAX(CASE WHEN event_type = 'upgrade_pro' THEN 1 ELSE 0 END) AS step4_upgrade
  FROM user_events
  GROUP BY user_id
)
SELECT
  u.plan_tier,
  COUNT(u.user_id) AS cohort_orgs,
  SUM(uf.step1_signup) AS signed_up,
  SUM(uf.step2_connect) AS connected_schema,
  SUM(uf.step3_query) AS executed_query,
  SUM(uf.step4_upgrade) AS upgraded_pro
FROM saas_users AS u
INNER JOIN user_funnel AS uf
  ON uf.user_id = u.user_id
GROUP BY u.plan_tier
ORDER BY cohort_orgs DESC;

Key Takeaways

Hands-On Build: Complete SaaS Analytics Engine (MRR, Cohorts & Funnels) (build-saas-cohort-funnel-workbench): Build an end-to-end SaaS analytics SQL suite calculating MRR expansion/churn movements, cohort retention triangles, and step-by-step funnel conversion.
Always separate logical SQL semantics (FROM -> WHERE -> GROUP BY -> HAVING -> WINDOW -> SELECT -> ORDER BY -> LIMIT) from the physical execution plan chosen by the cost-based optimizer.
Audit every predicate and join condition for Three-Valued Logic (NULL -> UNKNOWN) edge cases and verify SARGability so B+Tree indexes can perform O(log_B N) range seeks.
Use EXPLAIN QUERY PLAN / EXPLAIN (ANALYZE, BUFFERS) to inspect physical scan operators, join algorithms, and temporary sort/hash spills before shipping queries to production.
Was this lesson helpful? Spot an issue or have a suggestion? Let us know on GitHub.
Report an issue