SQL’s awfulness leads developers to avoid implementing things relationally, when most of most business apps can be expressed in FOL. This sort of thing (SurrealDB is another one) should be at the heart of what folks here are all about: if we can reduce the need to code in a TC language, that would be a better Future of Coding.

what do "FOL" and "a TC language" mean?

First-order logic aka predicate calculus. TC is a Turing-complete language. Turing-complete languages are more powerful than first-order logic and allow all the operations we’re used to from general programming languages. First-order logic is limited compared to that. However, those limitations can be beneficial, for instance not running into the halting problem (theoretically; practically you can still end up in a computation that takes more time than you can or would like to wait for it).