On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control.
Yannick ForsterOhad KammarSam LindleyMatija PretnarPublished in: Proc. ACM Program. Lang. (2017)
Keyphrases
- expressive power
- user defined
- query language
- transitive closure
- first order logic
- data complexity
- computational properties
- data types
- recursive queries
- relational algebra
- monadic second order logic
- datalog queries
- data model
- database
- query evaluation
- relational calculus
- deductive databases
- functional dependencies
- conjunctive queries
- query processor
- datalog programs
- regular expressions
- fixed point
- xml data
- relational databases
- data analysis
- database systems
- machine learning