Databases
Relational algebra, SQL query optimization, ACID transaction isolation levels, write-ahead logging (WAL), and B+Tree indexing.
Tuple relational calculus, 1NF to 3NF/BCNF functional dependency normalization, and join algorithms.
Relational Algebra & Formal Schema Normalization
Tuple relational calculus, 1NF to 3NF/BCNF functional dependency normalization, and join algorithms.
Slotted-page block architecture, record pointer offsets, variable-length attribute directories, B+Tree fan-out calculation, node splitting, and buffer pool frame caching.
Indexing Structures & B+Tree Disk Storage Mechanics
Slotted pages, disk block organization, B+Tree index tree topologies, node splits, and buffer pool eviction policies.
ACID properties, isolation levels, serializability anomalies, Two-Phase Locking (2PL), and snapshot isolation via Multi-Version Concurrency Control (MVCC).
Transactions, ACID Guarantees & Isolation Levels
Concurrency control, conflict serializability, dirty reads, write skew, and multi-version record visibility rules.
Volcano/Iterator execution model, Cost-Based Optimizer (CBO) statistics, join algorithms (Hash, Merge, Nested-Loop), Write-Ahead Logging (WAL), and ARIES crash recovery.
Query Execution Engine & Write-Ahead Logging (WAL)
Volcano model iterators, cost calculation formulas, WAL log sequence numbers, and ARIES crash recovery passes.