No, I most emphatically did not say (or mean) that it is impossible to check this statically. I am saying that this is first a modeling problem, you need to have a model for your SQL. You know, things like

    SqlStreamingAction[Vector[(String, Int)],(String, Int),Effect]

After you have that model for your SQL you can decide whether you want to check it statically or not, but first you need the model.

And yes, some languages allow you to decompose compile-time strings into model objects. Still requires you to have a model first, and I have to admit I prefer not having magic strings, but rather have polymorphic identifiers: http://objective.st/URIs