You Need More Constraints

from blog Fernando Borretti, | ↗ original
A checklist of useful SQL constraints.
This is a short summary. ↗ Open original to view full content

Related

0045: unexplanations, business things, zest progress, internal consistency repro, why murat blogs, compiler books + papers, compiling sql to wasm, other books
Scattered Thoughts | original ↗
0018: last reflections, why start a new database conference, 2021 retrospective, imp schemaless db + crdt, office hours, internal inconsistency in the wild, rss feeds, salsa needs finite collections, tiddlywiki vs unigraph, multidimensional indexes, arrow, just don't fsync, testing distributeds systems, tigerbeetle perf demos, web3, explicit formal structure, zig doctests, rust arenas, semidirect products of crdts, single-program distributed systems, sqlite qpsg, valhalla, mundanity of excellence, to mmap or not to mmap, libgavran, relational e-matching
Scattered Thoughts | original ↗
Implicit ordering in relational languages
Scattered Thoughts | original ↗
Against SQL
Scattered Thoughts | original ↗
Imp: denotational semantics
Scattered Thoughts | original ↗
Experimenting with column- and row-oriented datastructures
Notes on software development | original ↗
Writing a SQL database from scratch in Go: 3. indexes
Notes on software development | original ↗
Fold for cheap pattern-matching
ring.muhokama.fun | original ↗
MD5-based uniqueness constraints in Django
Applied Cartography | original ↗
MD5-based uniqueness constraints in Django
Applied Cartography | original ↗

More from Fernando Borretti

The Best Emacs Microfeature
5 Jun 2024 | original ↗

Why I keep using Emacs in 2024.

The Design Space of Wikis
2 Jun 2024 | original ↗

An exploration of the design space of wikis.

Type Inference Was a Mistake
29 Mar 2024 | original ↗

On type inference as an academic computer science lab leak.

Thoughts on LLM Agents
5 Jan 2024 | original ↗

Entropy, criticality, and complexity classes of cellular automata.

Type Systems for Memory Safety
22 Jul 2023 | original ↗

A survey of type systems for memory safety.