If you posit the conceptual existence of such a database, then all we really do when we code, even today, is choose a particular set of abstractions to implemen

If you posit the conceptual existence of such a database, then all we really do when we code, even today, is choose a particular set of abstractions to implement a specification. It would be certainly be nice if existing languages/analyzers were capable of suggesting "better" abstractions, though, for whatever operational definition of "better" applies at the time (e.g. more compact or common or efficient).