TY - GEN
T1 - The script-writer's dream
T2 - 12th International Symposium on Database Programming Languages
AU - Cooper, Ezra
PY - 2009
Y1 - 2009
N2 - We show how to translate expressions in a higher-order programming language into SQL queries. Somewhat surprisingly, we show that any suitable expression translates to a single SQL query, where the suitability is determined by a type-and-effect check. Thus, unlike in Hollywood where a script-writer can never be sure a movie sequel will be popular, we show how to be sure that your SQL-written in your own language-will succeed (in being translated).
AB - We show how to translate expressions in a higher-order programming language into SQL queries. Somewhat surprisingly, we show that any suitable expression translates to a single SQL query, where the suitability is determined by a type-and-effect check. Thus, unlike in Hollywood where a script-writer can never be sure a movie sequel will be popular, we show how to be sure that your SQL-written in your own language-will succeed (in being translated).
UR - https://www.scopus.com/pages/publications/70349334105
U2 - 10.1007/978-3-642-03793-1_3
DO - 10.1007/978-3-642-03793-1_3
M3 - Conference contribution
AN - SCOPUS:70349334105
SN - 9783642037924
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 36
EP - 51
BT - Database Programming Languages
PB - Springer
Y2 - 24 August 2009 through 24 August 2009
ER -