On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control.
Yannick ForsterOhad KammarSam LindleyMatija PretnarPublished in: CoRR (2016)
Keyphrases
- expressive power
- user defined
- query language
- transitive closure
- first order logic
- relational algebra
- data complexity
- data types
- recursive queries
- computational properties
- data model
- datalog queries
- query processor
- query evaluation
- relational calculus
- database
- regular expressions
- monadic second order logic
- relation algebra
- deductive databases
- closure properties
- database systems