A Compositional SELECT Statement for SQL

In a previous post I discussed the advantages of breaking queries up into smaller parts like Pig Latin does and then suggested how one might do this and have a more SQL-like language than Pig Latin. This post is a further development of that idea but in this post I’ll be trying to define a compositional language that still looks exactly like SQL when you put the parts together in the right way. And SQL will be a subset of this language in the sense that any legal SQL query is a valid query in this language and does the same thing.

This document uses mathematics that blogger can't handle so please go here to see it.