Algo-Like Languages with Higher-Order Procedures and Their Expressive Power.
A. J. KfouryPawel UrzyczynPublished in: Logic at Botik (1989)
Keyphrases
- expressive power
- higher order
- computational properties
- query language
- first order logic
- data complexity
- relational algebra
- transitive closure
- artificial intelligence
- pairwise
- markov random field
- constraint query languages
- user defined aggregates
- relational query languages
- database
- database query languages
- recursive queries
- query answering
- data model