Btw. Speedment is a tool bringing "smart streams" to the table: http://minborgsjavapot.blogspot.de/2015/10/java-8-query-databases-using-streams.html. They convert the given Lambda expressions and other API invocations such as sort() into corresponding parts of a SQL query which then is executed. That happens by means of symbolic execution, I suppose.