On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control.
Yannick ForsterOhad KammarSam LindleyMatija PretnarPublished in: J. Funct. Program. (2019)
Keyphrases
- expressive power
- user defined
- query language
- data complexity
- first order logic
- data model
- transitive closure
- data types
- computational properties
- relational algebra
- query processor
- recursive queries
- database
- relational calculus
- datalog queries
- monadic second order logic
- deductive databases
- databases
- datalog programs
- xml data
- xml documents
- aggregate functions
- relation algebra
- conjunctive queries
- complex objects
- query evaluation
- artificial intelligence