[S01] PostgreSQL 17 documentation: Transactions#
PostgreSQL Global Development Group
Atomic changes, commit and rollback; product-specific tutorial.
Consulted: 23 September 2026
https://www.postgresql.org/docs/17/tutorial-transactions.html
[S02] PostgreSQL 17 documentation: Constraints#
PostgreSQL Global Development Group
CHECK, NOT NULL, primary-key and foreign-key behaviour.
Consulted: 23 September 2026
https://www.postgresql.org/docs/17/ddl-constraints.html
[S03] PostgreSQL 17 documentation: Sorting Rows (ORDER BY)#
PostgreSQL Global Development Group
No guaranteed result order without explicit ordering.
Consulted: 23 September 2026
https://www.postgresql.org/docs/17/queries-order.html
[S04] PostgreSQL 17 documentation: Asynchronous Commit#
PostgreSQL Global Development Group
Acknowledgement and durability depend on configuration.
Consulted: 23 September 2026
https://www.postgresql.org/docs/17/wal-async-commit.html
[S05] PROV-DM: The PROV Data Model (2013)#
W3C; editors Luc Moreau and Paolo Missier
Entities, activities, agents and derivation in provenance.
Consulted: 23 September 2026
https://www.w3.org/TR/prov-dm/
[S06] Data on the Web Best Practices (2017)#
W3C
Metadata, provenance, quality, versioning and persistent identifiers.
Consulted: 23 September 2026
[S07] RFC 8259: The JavaScript Object Notation (JSON) Data Interchange Format (2017)#
T. Bray, editor; IETF
JSON value types, interoperable numbers, names and encoding.
Consulted: 23 September 2026
https://www.rfc-editor.org/info/rfc8259/
[S08] RFC 4180: Common Format and MIME Type for Comma-Separated Values (CSV) Files (2005)#
Y. Shafranovich; IETF
Informational RFC describing common CSV conventions; not a universal spreadsheet schema.
Consulted: 23 September 2026
https://www.rfc-editor.org/info/rfc4180/
[S09] RFC 3339: Date and Time on the Internet: Timestamps (2002)#
G. Klyne and C. Newman; IETF
Timestamp syntax and numeric UTC offsets.
Consulted: 23 September 2026
https://www.rfc-editor.org/info/rfc3339/
[S10] PostgreSQL 17 documentation: Numeric Types#
PostgreSQL Global Development Group
Integer ranges, exact numeric types and floating-point types.
Consulted: 23 September 2026
https://www.postgresql.org/docs/17/datatype-numeric.html
[S11] PostgreSQL 17 documentation: Date/Time Types#
PostgreSQL Global Development Group
Date and timestamp semantics; time-zone handling.
Consulted: 23 September 2026
https://www.postgresql.org/docs/17/datatype-datetime.html
[S12] Python 3.12 tutorial: Floating-Point Arithmetic, Issues and Limitations#
Python Software Foundation
Binary fractions and displayed floating-point results.
Consulted: 23 September 2026
https://docs.python.org/3.12/tutorial/floatingpoint.html
[S13] Python 3.12 library reference: decimal#
Python Software Foundation
Decimal construction, precision, quantisation and rounding contexts.
Consulted: 23 September 2026
https://docs.python.org/3.12/library/decimal.html
[S14] FAQ: UTF-8, UTF-16, UTF-32 and BOM#
Unicode Consortium
Unicode encoding forms and UTF-8 byte lengths.
Consulted: 23 September 2026
https://www.unicode.org/faq/utf_bom.html
[S15] Unicode Standard Annex #15: Unicode Normalization Forms#
Unicode Consortium
Canonical equivalence, NFC and the limits of normalisation.
Consulted: 23 September 2026
https://www.unicode.org/reports/tr15/
[S16] Unicode Standard Annex #29: Unicode Text Segmentation#
Unicode Consortium
Grapheme clusters and user-perceived character boundaries.
Consulted: 23 September 2026
https://www.unicode.org/reports/tr29/
[S17] PostgreSQL 17 documentation: Comparison Functions and Operators#
PostgreSQL Global Development Group
NULL comparisons and IS NULL.
Consulted: 23 September 2026
https://www.postgresql.org/docs/17/functions-comparison.html
[S18] PostgreSQL 17 documentation: Logical Operators#
PostgreSQL Global Development Group
Three-valued Boolean logic.
Consulted: 23 September 2026
https://www.postgresql.org/docs/17/functions-logical.html
[S19] PostgreSQL 17 documentation: Aggregate Functions#
PostgreSQL Global Development Group
COUNT and AVG treatment of non-null inputs.
Consulted: 23 September 2026
https://www.postgresql.org/docs/17/functions-aggregate.html
[S20] Python 3.12 library reference: sqlite3#
Python Software Foundation
Embedded SQLite connections and bound parameters.
Consulted: 23 September 2026
https://docs.python.org/3.12/library/sqlite3.html
[S21] Datatypes in SQLite#
SQLite project
Dynamic typing, storage classes and differences from other engines.
Consulted: 23 September 2026
https://www.sqlite.org/datatype3.html
[S22] Python 3.12 library reference: Built-in Types#
Python Software Foundation
Integer precision and the bool subclass relationship.
Consulted: 23 September 2026
https://docs.python.org/3.12/library/stdtypes.html
[S23] Python 3.12 library reference: datetime#
Python Software Foundation
Aware datetimes, offsets and conversion to UTC.
Consulted: 23 September 2026
https://docs.python.org/3.12/library/datetime.html
[S24] SQL Language Expressions#
SQLite project
NULL and logical operations in the supplied SQLite lab.
Consulted: 23 September 2026
https://www.sqlite.org/lang_expr.html
[S25] Transaction#
SQLite project
Explicit BEGIN, COMMIT and ROLLBACK in the supplied lab.
Consulted: 23 September 2026
https://www.sqlite.org/lang_transaction.html
[S26] VIM3, 2.3: Measurand#
JCGM / BIPM
Defining the quantity intended to be measured.
Consulted: 23 September 2026
https://jcgm.bipm.org/vim/en/2.3.html
[S27] SI prefixes#
BIPM
Decimal factors and prefix symbols; conversions in the text are original calculations.
Consulted: 23 September 2026
https://www.bipm.org/en/measurement-units/si-prefixes
[S28] VIM3, 2.13: Measurement accuracy#
JCGM / BIPM
Accuracy is distinguished from precision.
Consulted: 23 September 2026
https://jcgm.bipm.org/vim/en/2.13.html
[S29] VIM3, 2.15: Measurement precision#
JCGM / BIPM
Agreement among repeated indications under specified conditions.
Consulted: 23 September 2026
https://jcgm.bipm.org/vim/en/2.15.html
[S30] VIM3, 2.39: Calibration#
JCGM / BIPM
Calibration is not the same operation as adjustment or verification.
Consulted: 23 September 2026
https://jcgm.bipm.org/vim/en/2.39.html
[S31] Combining uncertainty components#
NIST
Propagation of uncertainty, sensitivities and covariances.
Consulted: 23 September 2026
https://physics.nist.gov/cuu/Uncertainty/combination.html
[S32] Type A evaluation of standard uncertainty#
NIST
Standard uncertainty of a mean for independent observations.
Consulted: 23 September 2026
https://physics.nist.gov/cuu/Uncertainty/typea.html
[S33] VIM3, 4.14: Resolution#
JCGM / BIPM
A perceptible response to a change in the measured quantity.
Consulted: 23 September 2026
https://jcgm.bipm.org/vim/en/4.14.html
[S34] Type B evaluation of standard uncertainty#
NIST
Uncertainty evaluated from other information and assumed distributions.
Consulted: 23 September 2026
https://physics.nist.gov/cuu/Uncertainty/typeb.html
[S35] VIM3, 2.26: Measurement uncertainty#
JCGM / BIPM
Dispersion of values attributed to a measurand using available information.
Consulted: 23 September 2026
https://jcgm.bipm.org/vim/en/2.26.html
[S36] Expanded uncertainty and coverage factors#
NIST
U = k times combined standard uncertainty; coverage depends on assumptions.
Consulted: 23 September 2026
https://physics.nist.gov/cuu/Uncertainty/coverage.html
[S37] PostgreSQL 17 documentation: Identity Columns#
PostgreSQL Global Development Group
Generated values do not by themselves enforce uniqueness.
Consulted: 23 September 2026
https://www.postgresql.org/docs/17/ddl-identity-columns.html
[S38] RFC 9562: Universally Unique IDentifiers (UUIDs), 2024#
IETF; K. Davis, B. Peabody and P. Leach
UUID version 4 has 122 random bits; collision estimate is an original conditional calculation.
Consulted: 23 September 2026
https://www.rfc-editor.org/rfc/rfc9562.html
[S39] CloudEvents specification, version 1.0.2#
Cloud Native Computing Foundation; CloudEvents project
Event source and id uniqueness; the wire specversion value is 1.0.
Consulted: 23 September 2026
https://github.com/cloudevents/spec/blob/v1.0.2/cloudevents/spec.md
[S40] Event Sourcing pattern#
Microsoft Azure Architecture Center
Architecture context: event history, projections, snapshots, replay and trade-offs. The shop state machines are original teaching designs, not a Microsoft reference implementation.
Consulted: 23 September 2026
https://learn.microsoft.com/en-us/azure/architecture/patterns/event-sourcing
[S41] Time, Clocks, and the Ordering of Events in a Distributed System (1978)#
Leslie Lamport
Communications of the ACM 21(7), 558–565; happened-before and logical clocks. Counter exercises are original illustrations.
Consulted: 23 September 2026
https://lamport.azurewebsites.net/pubs/time-clocks.pdf
[S42] Python 3.13 library reference: pathlib#
Python Software Foundation
Pure paths versus filesystem operations; path components and lexical interpretation.
Consulted: 24 September 2026
https://docs.python.org/3.13/library/pathlib.html
[S43] Python 3.13 library reference: io#
Python Software Foundation
Text/byte streams, encoding, newline handling and input boundaries.
Consulted: 24 September 2026
https://docs.python.org/3.13/library/io.html
[S44] Python 3.13 library reference: csv#
Python Software Foundation
CSV dialects, reader and writer behaviour; strict mode is not domain validation.
Consulted: 24 September 2026
https://docs.python.org/3.13/library/csv.html
[S45] Python 3.13 library reference: json#
Python Software Foundation
Object pairs hooks, numeric constants, supported types and parser resource cautions.
Consulted: 24 September 2026
https://docs.python.org/3.13/library/json.html
[S46] Python 3.13 library reference: struct#
Python Software Foundation
Explicit byte order, widths and binary packing; the KDBF envelope is original teaching material.
Consulted: 24 September 2026
https://docs.python.org/3.13/library/struct.html
[S47] Apache Parquet documentation: Overview#
Apache Software Foundation
Column-oriented file-format purpose; no Parquet performance measurements are claimed.
Consulted: 24 September 2026
https://parquet.apache.org/docs/overview/
[S48] Apache Avro 1.12.0 specification#
Apache Software Foundation
Schema-based representation and writer/reader schema resolution; not implemented by the toy envelope.
Consulted: 24 September 2026
https://avro.apache.org/docs/1.12.0/specification/
[S49] Model for Tabular Data and Metadata on the Web#
W3C
Representations, semantic values, cells and annotations in tabular data.
Consulted: 24 September 2026
https://www.w3.org/TR/tabular-data-model/
[S50] SQLite Is Serverless#
SQLite project
Embedded, in-process engine versus a separately running database server.
Consulted: 24 September 2026
https://www.sqlite.org/serverless.html
[S51] Appropriate Uses For SQLite#
SQLite project
Embedded-use scope, local access and situations favouring client-server databases.
Consulted: 24 September 2026
https://www.sqlite.org/whentouse.html
[S52] PostgreSQL 17 documentation: Architectural Fundamentals#
PostgreSQL Global Development Group
Database client/server architecture and separation from application code.
Consulted: 24 September 2026
https://www.postgresql.org/docs/17/tutorial-arch.html
[S53] Atomic Commit In SQLite#
SQLite project
Journaling and filesystem/device assumptions. This lab does not inject power failures.
Consulted: 24 September 2026
https://www.sqlite.org/atomiccommit.html
[S54] Isolation In SQLite#
SQLite project
Writer serialization and transaction visibility; local lock demonstration is separately bounded.
Consulted: 24 September 2026
https://www.sqlite.org/isolation.html
[S55] SQLite Online Backup API#
SQLite project
Engine-supported copying into a destination database; no production recovery-time claim.
Consulted: 24 September 2026
https://www.sqlite.org/backup.html
[S56] PostgreSQL 17 documentation: Table Basics#
PostgreSQL Global Development Group
Tables, columns and declared data types.
Consulted: 24 September 2026
https://www.postgresql.org/docs/17/ddl-basics.html
[S57] PostgreSQL 17 documentation: Select Lists#
PostgreSQL Global Development Group
Projection, output columns and duplicate elimination.
Consulted: 24 September 2026
https://www.postgresql.org/docs/17/queries-select-lists.html
[S58] PostgreSQL 17 documentation: Table Expressions#
PostgreSQL Global Development Group
Joins, outer joins, qualification and the effect of later filtering.
Consulted: 24 September 2026
https://www.postgresql.org/docs/17/queries-table-expressions.html
[S59] SQLite Foreign Key Support#
SQLite project
Per-connection enforcement, parent/child references and nullable child keys.
Consulted: 24 September 2026
https://www.sqlite.org/foreignkeys.html
[S60] STRICT Tables#
SQLite project
SQLite 3.37.0 minimum, strict storage types and permitted lossless coercion.
Consulted: 24 September 2026
https://www.sqlite.org/stricttables.html
[S61] CREATE TABLE#
SQLite project
CHECK, NOT NULL, uniqueness and primary-key implementation details.
Consulted: 24 September 2026
https://www.sqlite.org/lang_createtable.html
[S62] Python 3.13 library reference: pickle#
Python Software Foundation
Do not unpickle untrusted data; serialization is not automatically safe execution.
Consulted: 24 September 2026
https://docs.python.org/3.13/library/pickle.html
[S63] CSV Injection#
OWASP Foundation community
Spreadsheet formula interpretation is separate from CSV quotation; no universal sanitizer is claimed.
Consulted: 24 September 2026
https://community.owasp.org/attacks/CSV_Injection
[S64] Python 3.13 library reference: os#
Python Software Foundation
Filesystem operations, replacement semantics and system-dependent boundaries.
Consulted: 24 September 2026
https://docs.python.org/3.13/library/os.html
[S65] PostgreSQL 17 documentation: Using EXPLAIN#
PostgreSQL Global Development Group
Plan costs and actual execution with EXPLAIN ANALYZE.
Consulted: 24 September 2026
https://www.postgresql.org/docs/17/using-explain.html
[S66] PostgreSQL 17 documentation: Transaction Isolation#
PostgreSQL Global Development Group
Engine-specific isolation guarantees and transaction retry requirements.
Consulted: 24 September 2026
https://www.postgresql.org/docs/17/transaction-iso.html
[S67] PostgreSQL 17 documentation: SQL Dump#
PostgreSQL Global Development Group
Logical backup and restoration; cited context, not executed in the SQLite lab.
Consulted: 24 September 2026
https://www.postgresql.org/docs/17/backup-dump.html
[S68] PostgreSQL 17 documentation: CREATE DOMAIN#
PostgreSQL Global Development Group
Reusable constrained base types and domain-nullability caveats; the SQL illustration is not executed in the SQLite lab.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/sql-createdomain.html
[S69] PostgreSQL 17 documentation: Schemas#
PostgreSQL Global Development Group
Schema namespaces, qualified names and name-resolution context; distinct from the general modelling meaning of schema.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/ddl-schemas.html
[S70] PostgreSQL 17 documentation: COMMENT#
PostgreSQL Global Development Group
Object comments as descriptive metadata, not enforced business rules or a place for secrets.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/sql-comment.html
[S71] PostgreSQL 17 documentation: The Information Schema#
PostgreSQL Global Development Group
Standard-oriented metadata inspection and its distinction from business meaning.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/information-schema.html
[S72] PostgreSQL 17 documentation: Lexical Structure#
PostgreSQL Global Development Group
Identifiers, text literals and quoting; naming conventions in the book are editorial choices.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/sql-syntax-lexical.html
[S73] PostgreSQL 17 documentation: SET CONSTRAINTS#
PostgreSQL Global Development Group
Eligible constraint classes and checking-mode changes; PostgreSQL is documented, not executed.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/sql-set-constraints.html
[S74] PostgreSQL 17 documentation: CREATE TABLE#
PostgreSQL Global Development Group
Keys, references, match semantics and deferrability; product-specific rather than a cross-engine promise.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/sql-createtable.html
[S75] PRAGMA Statements#
SQLite project
Metadata interfaces and separate scopes of foreign_keys, integrity_check and foreign_key_check.
Consulted: 25 September 2026
https://www.sqlite.org/pragma.html
[S76] The ON CONFLICT Clause#
SQLite project
Default ABORT statement rollback and the distinction between replacement and an ordinary update.
Consulted: 25 September 2026
https://www.sqlite.org/lang_conflict.html
[S77] Result and Error Codes#
SQLite project
Machine-readable error categories; selected extended constraint codes observed by the lab.
Consulted: 25 September 2026
https://www.sqlite.org/rescode.html
[S78] PostgreSQL 17 documentation: Modifying Tables#
PostgreSQL Global Development Group
Constraint-change and existing-data considerations; no production or PostgreSQL migration is run.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/ddl-alter.html
[S79] PostgreSQL 17 documentation: Querying a Table#
PostgreSQL Global Development Group
SELECT fundamentals, source columns, expressions and result questions.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/tutorial-select.html
[S80] SELECT#
SQLite project
Logical result semantics, output expressions, filtering, duplicate elimination and ordering.
Consulted: 25 September 2026
https://www.sqlite.org/lang_select.html
[S81] PostgreSQL 17 documentation: LIMIT and OFFSET#
PostgreSQL Global Development Group
Output limits and the need for predictable ordering; not a performance bound.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/queries-limit.html
[S82] PostgreSQL 17 documentation: Conditional Expressions#
PostgreSQL Global Development Group
CASE and COALESCE as explicit conditional choices; the narrative fixtures are original.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/functions-conditional.html
[S83] INSERT#
SQLite project
Explicit target columns and value insertion in isolated draft examples.
Consulted: 25 September 2026
https://www.sqlite.org/lang_insert.html
[S84] UPDATE#
SQLite project
Assignment and predicate scope; unqualified update demonstrated only in a disposable transaction.
Consulted: 25 September 2026
https://www.sqlite.org/lang_update.html
[S85] DELETE#
SQLite project
Selected-row deletion semantics; not a claim of erasure across backups or external copies.
Consulted: 25 September 2026
https://www.sqlite.org/lang_delete.html
[S86] Python 3.13 library reference: sqlite3#
Python Software Foundation
Driver binding, cursors, result counts, connection closing and explicit transaction configuration.
Consulted: 25 September 2026
https://docs.python.org/3.13/library/sqlite3.html
[S87] Built-In Scalar SQL Functions#
SQLite project
COALESCE behaviour, including the difference between NULL and empty text.
Consulted: 25 September 2026
https://www.sqlite.org/lang_corefunc.html
[S88] Database System Concepts, seventh edition: Chapter 7 author slides, Normalization#
Abraham Silberschatz, Henry F. Korth and S. Sudarshan
Functional dependencies, lossless decomposition, dependency preservation, BCNF and third normal form. The shop exercises are original.
Consulted: 25 September 2026
https://www.db-book.com/slides-dir/PDF-dir/ch7.pdf
[S89] Query Planning#
SQLite project
Scans, ordered lookup, compound and covering indexes, and sorting choices.
Consulted: 25 September 2026
https://www.sqlite.org/queryplanner.html
[S90] EXPLAIN QUERY PLAN#
SQLite project
Human-readable SCAN, SEARCH and temporary-tree descriptions; output format is not a stable application interface.
Consulted: 25 September 2026
https://www.sqlite.org/eqp.html
[S91] PostgreSQL 17: Multicolumn Indexes#
PostgreSQL Global Development Group
Column order and constraints on efficient access in the explicitly cited version.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/indexes-multicolumn.html
[S92] PostgreSQL 17: Index-Only Scans and Covering Indexes#
PostgreSQL Global Development Group
INCLUDE payloads and visibility checks; covering does not guarantee zero heap visits.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/indexes-index-only-scans.html
[S93] Partial Indexes#
SQLite project
Predicate-restricted indexes and eligibility based on implication.
Consulted: 25 September 2026
https://www.sqlite.org/partialindex.html
[S94] PostgreSQL 17: Statistics Used by the Planner#
PostgreSQL Global Development Group
Sampling, distribution estimates and extended statistics.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/planner-stats.html
[S95] PostgreSQL 17: Resource Consumption#
PostgreSQL Global Development Group
Operation-level memory allowances and spill; not a benchmark of this manuscript.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/runtime-config-resource.html
[S96] PostgreSQL 17 tutorial: Window Functions#
PostgreSQL Global Development Group
Window partitions, ordering and preservation of detail rows.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/tutorial-window.html
[S97] Window Functions#
SQLite project
Window frames, peers and aggregate-window behaviour in the educational SQL exercises.
Consulted: 25 September 2026
https://www.sqlite.org/windowfunctions.html
[S98] The SQLite Query Optimizer Overview#
SQLite project
Access-path transformations, joins and implementation-specific planning decisions.
Consulted: 25 September 2026
https://www.sqlite.org/optoverview.html
[S99] Python 3.13: hashlib#
Python Software Foundation
Digest interfaces; the collision and comparison exercises are original.
Consulted: 25 September 2026
https://docs.python.org/3.13/library/hashlib.html
[S100] FIPS 180-4: Secure Hash Standard, August 2015#
NIST
Standardized SHA-2 digests, distinguished from authentication and encryption.
Consulted: 25 September 2026
https://csrc.nist.gov/pubs/fips/180-4/upd1/final
[S101] PostgreSQL 17: Hash Indexes#
PostgreSQL Global Development Group
Equality-oriented, lossy hash access and collision rechecking.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/hash-index.html
[S102] Python 3.13: time#
Python Software Foundation
Monotonic performance timers and their units, not an assertion of nanosecond accuracy.
Consulted: 25 September 2026
https://docs.python.org/3.13/library/time.html
[S103] Monitoring Distributed Systems#
Rob Ewaschuk; Google SRE
Latency, traffic, errors and saturation as monitoring context; workload examples are invented.
Consulted: 25 September 2026
https://sre.google/sre-book/monitoring-distributed-systems/
[S104] PostgreSQL 17: Index Types#
PostgreSQL Global Development Group
Index methods support different operators; a method name is not a universal performance promise.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/indexes-types.html
[S105] PostgreSQL 17: B-Tree Indexes#
PostgreSQL Global Development Group
B-tree structure and implementation notes. The hand-worked B+ tree is deliberately not a PostgreSQL implementation.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/btree.html
[S106] PostgreSQL 17: Indexes and ORDER BY#
PostgreSQL Global Development Group
Ordered access and explicit query ordering.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/indexes-ordering.html
[S107] PostgreSQL 17: ANALYZE#
PostgreSQL Global Development Group
Updating sampled planner statistics and operational scope.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/sql-analyze.html
[S108] Python 3.13: Data Model#
Python Software Foundation
Hash/equality contracts and process-randomized string and byte hashes.
Consulted: 25 September 2026
https://docs.python.org/3.13/reference/datamodel.html
[S109] Python 3.13: bisect#
Python Software Foundation
Ordered-list insertion positions; insertion cost and concurrent-mutation limitations.
Consulted: 25 September 2026
https://docs.python.org/3.13/library/bisect.html
[S110] PostgreSQL 17: Window Functions#
PostgreSQL Global Development Group
Ranking, offsets, frames and frame-sensitive last_value behaviour.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/functions-window.html
[S111] PostgreSQL 17: The Path of a Query#
PostgreSQL Global Development Group
Parsing, rewriting, planning and execution stages.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/query-path.html
[S112] PostgreSQL 17: Planner/Optimizer#
PostgreSQL Global Development Group
Plan search, nested-loop, merge and hash joins; optimality is bounded by search and estimation.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/planner-optimizer.html
[S113] PostgreSQL 17: EXPLAIN#
PostgreSQL Global Development Group
Diagnostic options, actual execution with ANALYZE, instrumentation boundaries and non-text formats.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/sql-explain.html
[S114] PostgreSQL 17: Query Planning#
PostgreSQL Global Development Group
Planner cost and method settings; experimentation is distinct from production tuning.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/runtime-config-query.html
[S115] PostgreSQL 17: Row Estimation Examples#
PostgreSQL Global Development Group
Selectivity estimation and its assumptions; the shop arithmetic is original.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/row-estimation-examples.html
[S116] PostgreSQL 17: WITH Queries (Common Table Expressions)#
PostgreSQL Global Development Group
Named query stages and materialisation/folding behaviour in the explicitly cited version.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/queries-with.html
[S117] PostgreSQL 17 tutorial: Transactions#
PostgreSQL Global Development Group
Transaction blocks, commit, rollback and the scope of database changes.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/tutorial-transactions.html
[S118] PostgreSQL 17: Explicit Locking#
PostgreSQL Global Development Group
Lock modes, row/table distinctions, deadlocks and advisory-lock lifetimes.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/explicit-locking.html
[S119] PostgreSQL 17: Concurrency Control Introduction#
PostgreSQL Global Development Group
Multiversion visibility and distinction from application history.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/mvcc-intro.html
[S120] PostgreSQL 17: Serialization Failure Handling#
PostgreSQL Global Development Group
Whole-transaction retries, SQLSTATE 40001 and careful classification of other failures.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/mvcc-serialization-failure-handling.html
[S121] PostgreSQL 17: SAVEPOINT#
PostgreSQL Global Development Group
Savepoint scope within a transaction.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/sql-savepoint.html
[S122] PostgreSQL 17: Sequence Manipulation Functions#
PostgreSQL Global Development Group
Sequence allocation and non-rollback behaviour; gaps are not missing-business-event proof.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/functions-sequence.html
[S123] PostgreSQL 17: Routine Vacuuming#
PostgreSQL Global Development Group
Version cleanup, visibility maps, space reuse and transaction-identifier maintenance.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/routine-vacuuming.html
[S124] PostgreSQL 17: System Columns#
PostgreSQL Global Development Group
Version-related metadata and the limits of physical tuple identifiers.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/ddl-system-columns.html
[S125] Transactional outbox pattern#
Amazon Web Services
Atomic recording of business changes and delivery intent; duplicate delivery still requires handling.
Consulted: 25 September 2026
[S126] Making retries safe with idempotent APIs#
Amazon Web Services Builders Library
Caller request identity, repeated intent and semantic-equivalence considerations.
Consulted: 25 September 2026
https://aws.amazon.com/builders-library/making-retries-safe-with-idempotent-APIs/
[S127] Savepoints#
SQLite project
ROLLBACK TO and RELEASE, including the difference between inner release and outer commit.
Consulted: 25 September 2026
https://www.sqlite.org/lang_savepoint.html
[S128] PostgreSQL 17 documentation: Database Page Layout#
PostgreSQL Global Development Group
Page headers, item identifiers, tuple layout and implementation boundaries.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/storage-page-layout.html
[S129] PostgreSQL 17 documentation: Write-Ahead Logging#
PostgreSQL Global Development Group
WAL-before-data ordering, redo and grouped synchronization.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/wal-intro.html
[S130] PostgreSQL 17 documentation: Reliability#
PostgreSQL Global Development Group
Storage-cache assumptions, partial page writes and reliability limits.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/wal-reliability.html
[S131] PostgreSQL 17 documentation: Continuous Archiving and Point-in-Time Recovery#
PostgreSQL Global Development Group
Base backups, continuous WAL coverage, recovery targets and timelines.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/continuous-archiving.html
[S132] Write-Ahead Logging#
SQLite project
WAL frames, checkpointing, concurrency limits and the disclosed 2026 WAL-reset bug; not an endorsement of the historical lab runtime.
Consulted: 25 September 2026
https://www.sqlite.org/wal.html
[S133] Database File Format#
SQLite project
Page sizes, header fields, overflow and journal/WAL representation.
Consulted: 25 September 2026
https://www.sqlite.org/fileformat.html
[S134] Compaction#
RocksDB project
Sorted runs, leveled/tiered strategies and read/write/space trade-offs.
Consulted: 25 September 2026
https://github.com/facebook/rocksdb/wiki/Compaction
[S135] PostgreSQL 17 documentation: WAL Configuration#
PostgreSQL Global Development Group
Checkpoints, redo positions and resource trade-offs.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/wal-configuration.html
[S136] PostgreSQL 17 documentation: Asynchronous Commit#
PostgreSQL Global Development Group
Acknowledgement before WAL flush and the distinction from disabling fsync.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/wal-async-commit.html
[S137] PostgreSQL 17 documentation: Data Checksums#
PostgreSQL Global Development Group
Detection scope and limitations of page checksums.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/checksums.html
[S138] PostgreSQL 17 documentation: pg_verifybackup#
PostgreSQL Global Development Group
Manifest verification and the explicit need for test restores.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/app-pgverifybackup.html
[S139] How To Corrupt An SQLite Database File#
SQLite project
Operational corruption hazards, copying and journal-handling cautions.
Consulted: 25 September 2026
https://www.sqlite.org/howtocorrupt.html
[S140] RocksDB Overview#
RocksDB project
Memtables, log files, sorted tables and the library boundary.
Consulted: 25 September 2026
https://github.com/facebook/rocksdb/wiki/RocksDB-Overview
[S141] fsync(2)#
Linux man-pages project
File synchronization, directory metadata and error reporting; Linux-specific.
Consulted: 25 September 2026
https://man7.org/linux/man-pages/man2/fsync.2.html
[S142] write(2)#
Linux man-pages project
Partial writes and the difference between write success and persistence.
Consulted: 25 September 2026
https://man7.org/linux/man-pages/man2/write.2.html
[S143] PostgreSQL 17 documentation: TOAST#
PostgreSQL Global Development Group
Large-value compression/out-of-line storage and physical row boundaries.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/storage-toast.html
[S144] PostgreSQL 17 documentation: The Cumulative Statistics System#
PostgreSQL Global Development Group
I/O statistics, cache boundaries, update timing and monitoring scope.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/monitoring-stats.html
[S145] VACUUM#
SQLite project
File rebuilding, space reclamation and operational constraints.
Consulted: 25 September 2026
https://www.sqlite.org/lang_vacuum.html
[S146] PostgreSQL 17 documentation: amcheck#
PostgreSQL Global Development Group
Table/index structural verification and limitations.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/amcheck.html
[S147] PostgreSQL 17 documentation: Log-Shipping Standby Servers#
PostgreSQL Global Development Group
Physical streaming, lag, slots and synchronous standby acknowledgement boundaries.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/warm-standby.html
[S148] PostgreSQL 17 documentation: Logical Replication#
PostgreSQL Global Development Group
Publication/subscription, initial synchronization, identities and conflicts.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/logical-replication.html
[S149] PostgreSQL 17 documentation: Write Ahead Log settings#
PostgreSQL Global Development Group
synchronous_commit modes, local/remote flush and replay distinctions.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/runtime-config-wal.html
[S150] PostgreSQL 17 documentation: Failover#
PostgreSQL Global Development Group
Promotion, external failure detection and preventing two active primaries.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/warm-standby-failover.html
[S151] PostgreSQL 17 documentation: pg_rewind#
PostgreSQL Global Development Group
Divergent histories, prerequisites and recovery/reconfiguration cautions.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/app-pgrewind.html
[S152] PostgreSQL 17 documentation: Table Partitioning#
PostgreSQL Global Development Group
Range/list/hash table partitions, pruning and implementation restrictions; not automatic multi-host sharding.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/ddl-partitioning.html
[S153] Perspectives on the CAP Theorem#
Seth Gilbert and Nancy A. Lynch
Authors’ retrospective explaining atomic read/write consistency, availability, unreliable communication and the proof sketch.
Consulted: 25 September 2026
https://groups.csail.mit.edu/tds/papers/Gilbert/Brewer2.pdf
[S154] In Search of an Understandable Consensus Algorithm (Extended Version)#
Diego Ongaro and John Ousterhout
Raft terms, durable voting, log matching, current-term commitment, membership and client-read safeguards.
Consulted: 25 September 2026
https://raft.github.io/raft.pdf
[S155] PostgreSQL 17 documentation: Two-Phase Transactions#
PostgreSQL Global Development Group
Prepared-transaction state and the external transaction-manager boundary.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/two-phase.html
[S156] PostgreSQL 17 documentation: PREPARE TRANSACTION#
PostgreSQL Global Development Group
Prepared state, retained locks, completion responsibilities and operational cautions.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/sql-prepare-transaction.html
[S157] Sagas (1987)#
Hector Garcia-Molina and Kenneth Salem
Original paper on long-lived transactions, interleaving and application-defined compensation.
Consulted: 25 September 2026
https://www.cs.cornell.edu/andru/cs711/2002fa/reading/sagas.pdf
[S158] Consumer Acknowledgements and Publisher Confirms#
RabbitMQ project
Separate confirmation boundaries, delivery tags, redelivery and bounded unacknowledged work; unversioned documentation.
Consulted: 25 September 2026
https://www.rabbitmq.com/docs/confirms
[S159] Queues#
RabbitMQ project
Ordering scope, multiple consumers, redelivery and queue properties; unversioned documentation.
Consulted: 25 September 2026
https://www.rabbitmq.com/docs/queues
[S160] Client-side caching reference#
Redis
Invalidation races, connection loss and cache-resource bounds; unversioned documentation.
Consulted: 25 September 2026
https://redis.io/docs/latest/develop/reference/client-side-caching/
[S161] Cache-Aside pattern#
Microsoft
Loading/invalidation trade-offs and consistency limits of derived caches.
Consulted: 25 September 2026
https://learn.microsoft.com/en-us/azure/architecture/patterns/cache-aside
[S162] Dynamo: Amazon’s Highly Available Key-value Store (2007)#
Giuseppe DeCandia and co-authors
Original Dynamo design: consistent hashing, versions, sloppy quorums and reconciliation; not a statement about current DynamoDB.
Consulted: 25 September 2026
https://www.allthingsdistributed.com/files/amazon-dynamo-sosp2007.pdf
[S163] The Chubby lock service for loosely-coupled distributed systems (2006)#
Mike Burrows
Lock generations and recipient-validated sequencers for rejecting obsolete operations.
Consulted: 25 September 2026
https://storage.googleapis.com/gweb-research2023-media/pubtools/4444.pdf
[S164] PostgreSQL 17 documentation: Logical Replication Restrictions#
PostgreSQL Global Development Group
DDL, sequence and object coverage boundaries and subscriber compatibility.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/logical-replication-restrictions.html
[S165] PostgreSQL connector documentation, stable page showing version 3.6 when consulted#
Debezium project
Initial snapshot/change-stream boundary, offsets and connector failure behaviour; no connector deployment is performed.
Consulted: 25 September 2026
https://debezium.io/documentation/reference/stable/connectors/postgresql.html
[S166] PostgreSQL 17 documentation: Logical Decoding Concepts#
PostgreSQL Global Development Group
Slots, retained log positions and possible change redelivery following a crash.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/logicaldecoding-explanation.html
[S167] Apache Beam Programming Guide: windows, watermarks, triggers and state#
Apache Software Foundation
Event-time membership, late-data policy, triggers and accumulation modes; the small window model is original, not a Beam runtime.
Consulted: 25 September 2026
https://beam.apache.org/documentation/programming-guide/
[S168] Apache Iceberg table specification#
Apache Software Foundation
Field IDs, snapshots, manifests, atomic metadata replacement and snapshot retention. Discussion is limited to these concepts; not an implementation of the entire evolving specification.
Consulted: 25 September 2026
https://iceberg.apache.org/spec/
[S169] PostgreSQL 17 documentation: Materialized Views#
PostgreSQL Global Development Group
Stored query results and refresh/freshness trade-offs.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/rules-materializedviews.html
[S170] Apache Parquet: File Format#
Apache Software Foundation
File metadata, row groups and column chunks; companion byte-layout model does not produce Parquet files.
Consulted: 25 September 2026
https://parquet.apache.org/docs/file-format/
[S171] Apache Parquet: Encodings#
Apache Software Foundation
Plain, dictionary, run-length and delta encoding concepts; actual Parquet bitstream rules are distinct from the toy codec.
Consulted: 25 September 2026
https://parquet.apache.org/docs/file-format/data-pages/encodings/
[S172] Apache Parquet: Page Index#
Apache Software Foundation
Optional statistics and offsets for conservative page skipping.
Consulted: 25 September 2026
https://parquet.apache.org/docs/file-format/pageindex/
[S173] SQLite FTS5 Extension#
SQLite project
Tokenizers, phrase queries, external-content responsibilities and negative BM25 scores. Only basic available FTS5 facilities are exercised.
Consulted: 25 September 2026
https://www.sqlite.org/fts5.html
[S174] PostgreSQL 17 documentation: Full Text Search Introduction#
PostgreSQL Global Development Group
Documents, lexemes and full-text query representation.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/textsearch-intro.html
[S175] PostgreSQL 17 documentation: Controlling Text Search#
PostgreSQL Global Development Group
Parsing, normalization, query construction, ranking and safe display limitations.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/textsearch-controls.html
[S176] MetricType and distances#
Faiss project
Squared Euclidean distance, inner product, cosine and normalization. The lab uses direct Python arithmetic, not Faiss.
Consulted: 25 September 2026
https://github.com/facebookresearch/faiss/wiki/MetricType-and-distances
[S177] Faiss indexes#
Faiss project
Exhaustive versus approximate indexes, vector-memory estimates and index trade-offs.
Consulted: 25 September 2026
https://github.com/facebookresearch/faiss/wiki/Faiss-indexes
[S178] Efficient and robust approximate nearest neighbor search using Hierarchical Navigable Small World graphs#
Yu. A. Malkov and D. A. Yashunin
Original HNSW research, first submitted 2016; graph navigation concept, not a claim about every present product or workload.
Consulted: 25 September 2026
https://arxiv.org/abs/1603.09320
[S179] e-Handbook of Statistical Methods: Autocorrelation#
NIST / SEMATECH
Dependence between observations across lags; repeated observations are not automatically independent.
Consulted: 25 September 2026
https://www.itl.nist.gov/div898/handbook/eda/section3/eda35c.htm
[S180] e-Handbook of Statistical Methods: Scatter Plot#
NIST / SEMATECH
Association can be inspected graphically but does not establish cause. All business examples in the chapter are synthetic.
Consulted: 25 September 2026
https://www.itl.nist.gov/div898/handbook/eda/section3/scatterp.htm
[S181] Introduction to Information Retrieval: Evaluation of unranked retrieval sets#
Christopher D. Manning, Prabhakar Raghavan and Hinrich Schütze
Authors-hosted textbook definitions of precision and recall; all local query judgements are synthetic.
Consulted: 25 September 2026
https://nlp.stanford.edu/IR-book/html/htmledition/evaluation-of-unranked-retrieval-sets-1.html
[S182] Introduction to Information Retrieval: Okapi BM25, a non-binary model#
Christopher D. Manning, Prabhakar Raghavan and Hinrich Schütze
Term-frequency saturation, document-length normalization and development-set tuning.
Consulted: 25 September 2026
https://nlp.stanford.edu/IR-book/html/htmledition/okapi-bm25-a-non-binary-model-1.html
[S183] e-Handbook of Statistical Methods: Confidence intervals for a proportion#
NIST / SEMATECH
Wilson interval formula, binomial assumptions and small-sample cautions. Numerical examples in the book are original.
Consulted: 25 September 2026
https://www.itl.nist.gov/div898/handbook/prc/section2/prc241.htm
[S184] PostgreSQL 17 documentation: Preferred Index Types for Text Search#
PostgreSQL Global Development Group
GIN inverted indexes and GiST signatures/rechecking; PostgreSQL examples are documented, not executed.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/textsearch-indexes.html
[S185] Authorization Cheat Sheet#
OWASP Foundation
Default-deny authorization, permission checks and tests; not authentication implementation.
Consulted: 25 September 2026
https://cheatsheetseries.owasp.org/cheatsheets/Authorization_Cheat_Sheet.html
[S186] PostgreSQL 17: Privileges#
PostgreSQL Global Development Group
Role privileges and object ownership.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/ddl-priv.html
[S187] PostgreSQL 17: Row Security Policies#
PostgreSQL Global Development Group
Row-policy semantics, default denial and privileged bypass; not executed in the SQLite labs.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/ddl-rowsecurity.html
[S188] Multi-Tenant Security Cheat Sheet#
OWASP Foundation
Tenant-aware authorization and isolation across storage and caches.
Consulted: 25 September 2026
https://cheatsheetseries.owasp.org/cheatsheets/Multi_Tenant_Security_Cheat_Sheet.html
[S189] Secrets Management Cheat Sheet#
OWASP Foundation
Secret inventory, lifecycle, rotation and avoiding leakage.
Consulted: 25 September 2026
https://cheatsheetseries.owasp.org/cheatsheets/Secrets_Management_Cheat_Sheet.html
[S190] PostgreSQL 17: Routine Vacuuming#
PostgreSQL Global Development Group
Dead tuples, reuse of storage and cleanup; not proof of media sanitization.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/routine-vacuuming.html
[S191] PRAGMA secure_delete#
SQLite project
Secure-delete configuration and limitations, including virtual tables and separate copies.
Consulted: 25 September 2026
https://www.sqlite.org/pragma.html#pragma_secure_delete
[S192] SP 800-88 Revision 2: Guidelines for Media Sanitization (September 2025)#
NIST
Publication landing record and sanitization scope. Not a claim that a device was sanitized or the full publication independently audited.
Consulted: 25 September 2026
https://csrc.nist.gov/pubs/sp/800/88/r2/final
[S193] Object Model#
OpenLineage project
Datasets, jobs, runs and metadata used to describe lineage.
Consulted: 25 September 2026
https://openlineage.io/docs/spec/object-model/
[S194] PostgreSQL 17: ALTER TABLE#
PostgreSQL Global Development Group
Schema changes, constraint validation and lock behavior in the cited version.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/sql-altertable.html
[S195] PostgreSQL 17: CREATE INDEX#
PostgreSQL Global Development Group
Concurrent index creation restrictions and operational caveats.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/sql-createindex.html
[S196] ALTER TABLE#
SQLite project
Supported alterations and table-rebuild procedure; version-sensitive documentation.
Consulted: 25 September 2026
https://www.sqlite.org/lang_altertable.html
[S197] Service Level Objectives#
Google SRE
Indicators, objectives and measurement boundaries.
Consulted: 25 September 2026
https://sre.google/sre-book/service-level-objectives/
[S198] Signals#
OpenTelemetry project
Roles of traces, metrics, logs and related telemetry signals.
Consulted: 25 September 2026
https://opentelemetry.io/docs/concepts/signals/
[S199] Handling Overload#
Google SRE
Load, saturation and overload-control considerations.
Consulted: 25 September 2026
https://sre.google/sre-book/handling-overload/
[S200] PostgreSQL 17: The Cumulative Statistics System#
PostgreSQL Global Development Group
Engine-specific statistics and observation context.
Consulted: 25 September 2026
https://www.postgresql.org/docs/17/monitoring-stats.html
[S201] Python 3.13: unittest#
Python Software Foundation
Test discovery, assertions, subtests and skipped-test semantics.
Consulted: 25 September 2026