- Abstract:
- Accessing a relational database from program code is a bugbear of many programmers---among them those who write "scripts" or web applications. Most traditional approaches are unsafe, inflexible, or both. Here we will see how to translate suitable expressions of a general-purpose programming language into SQL queries, and give a technique to statically determine that suitability. Somewhat surprisingly, we show that any appropriately-typed pure functional expression translates to a single SQL query, albeit for a strong notion of "purity." Thus, unlike in Hollywood where a script-writer can never be sure a movie sequel will succeed at the box office, we show how to be sure that your SQL---written in your own language---will succeed (in translation).
- Links To Paper
- 1st Link
- Bibtex format
- @Misc{EDI-INF-RR-1327,
- author = {
Ezra Cooper
},
- title = {The script-writer's dream: How to write great SQL in your own language, and be sure it will succeed (Tech report)},
- year = 2009,
- month = {May},
- url = {http://homepages.inf.ed.ac.uk/s0567141/how-to-write-great-sql/great-sql.pdf},
- }
|