The Script-Writer's Dream: How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed

Authors:
Ezra Cooper
Affiliations:
University of Edinburgh,
Venue:
DBPL '09 Proceedings of the 12th International Symposium on Database Programming Languages
Year:
2009

Citing 18
Cited 6

Types and persistence in database programming languages

ACM Computing Surveys (CSUR)
Comprehensions, a query notation for DBPLs

DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Comprehension syntax

ACM SIGMOD Record
Normal forms and conservative extension properties for query languages over collection types

Journal of Computer and System Sciences
Query unnesting in object-oriented databases

SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Possibilities and limitations of using flat operators in nested algebra expressions

Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
How to Comprehend Queries Functionally

Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
Simulation of the nested relational algebra by the flat relational algebra, with an application to the complexity of evaluating powerset algebra expressions

Theoretical Computer Science
Making smalltalk a database system

SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Naturally Embedded Query Languages

ICDT '92 Proceedings of the 4th International Conference on Database Theory
On Two Forms of Structural Recursion

ICDT '95 Proceedings of the 5th International Conference on Database Theory
A Data Transformation System for Biological Data Sources

VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Bounded Fixpoints for Complex Objects

DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Kleisli, a functional query system

Journal of Functional Programming
Extracting queries by static analysis of transparent persistence

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
FERRY: database-supported program execution

Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Links: web programming without tiers

FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Reducibility and ⊤⊤-lifting for computation types

TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications

Making standard ML a practical database programming language

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Row-based effect types for database integration

TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
Automatic partitioning of database applications

Proceedings of the VLDB Endowment
Optimizing database-backed applications with query synthesis

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
A practical theory of language-integrated query

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Effective quotation: relating approaches to language-integrated query

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

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).