There is also the research DB Noria[0] that's based on this idea. It maintains materialized views for queries and efficiently updates them when the data changes.
The F1 isn't superior to the SSME. It doesn't really excel at anything (other than being very big maybe.)
From another article on that website:
"The RS-25 is still considered to be about the best engine ever made with a fairly high thrust to weight ratio and unmatched efficiency." [1]
This might make sense for a transport schema because you can receive messages from the past or the future but it does not translate to internal program state or database schemas where this is not the case.
Making invalid states unrepresentable is basically the process of taking human-checked invariants and turning them into type-checked invariants. This reduces the likelihood of bugs and guides humans to use the system correctly.
[0] https://github.com/mit-pdos/noria