The Influence of the Test Operator on the Expressive Power of PDL-like Logics.
Linh Anh NguyenPublished in: J. Log. Comput. (2019)
Keyphrases
- expressive power
- query language
- first order logic
- transitive closure
- data complexity
- computational properties
- relational algebra
- relational calculus
- propositional dynamic logic
- machine learning
- data model
- inference rules
- aggregate functions
- user defined aggregates
- constraint query languages
- relation algebra
- recursive queries
- relational databases
- artificial intelligence