Tractability Frontier of Data Complexity in Team Semantics.
Arnaud DurandJuha KontinenNicolas de Rugy-AltherreJouko VäänänenPublished in: ACM Trans. Comput. Log. (2022)
Keyphrases
- data complexity
- np complete
- fixpoint semantics
- expressive power
- query answering
- conjunctive queries
- query evaluation
- schema mappings
- lower complexity
- datalog programs
- double exponential
- formal semantics
- constraint satisfaction
- query containment
- query complexity
- exptime complete
- integrity constraints
- np hard
- computational complexity
- ontology languages
- regular path queries
- dl lite
- model theoretic
- polynomial delay
- deductive databases
- reasoning tasks
- transitive closure
- database
- logic programming
- query language
- relational databases
- multi agent systems
- metadata
- machine learning