[tester756]

>All non-trivial abstractions, to some degree, are leaky.

https://www.joelonsoftware.com/2002/11/11/the-law-of-leaky-a...

[everybodyknows]

From your link, a remarkable irony:

>The SQL language is meant to abstract away the procedural steps that are needed to query a database

Leaky abstractions, all the way down?

[klysm]

I would definitely say SQL is leaky. Certainly not fully declarative. I think it’s important to have escape hatches though - if you have to be leaky you may as well be intentional about it.