I'm not sure a procedural visualization is appropriate for a declarative language like SQL. It can be misleading both on underlying concepts (sets and relations) and actual query execution.
I'd more like to see a visualization it terms of tuples, sets and operations on them leading to result set.