The Expressive Power of One Variable Used Once: The Chomsky Hierarchy and First-Order Monadic Constructor Rewriting.
Jakob Grue SimonsenPublished in: FSCD (2021)
Keyphrases
- expressive power
- first order logic
- datalog programs
- data complexity
- transitive closure
- monadic second order logic
- query language
- datalog queries
- computational properties
- propositional logic
- recursive queries
- relational algebra
- knowledge representation
- deductive databases
- relational calculus
- unions of conjunctive queries
- incomplete information
- aggregate functions
- normal form
- query rewriting
- machine learning
- horn clauses
- conjunctive queries
- query answering
- query evaluation
- artificial intelligence
- databases
- user defined aggregates