Databases

Chronological index

Databases are an example of program synthesis, while a query optimizer might use heuristic search.

A successful write by a database does not necessarily mean durability on disk.