Design of an intermediate representation for query languages
Using Program Analysis to Improve Database Applications