The First Order Truth Behind Undecidability of Regular Path Queries Determinacy.
Grzegorz GluchJerzy MarcinkowskiPiotr Ostropolski-NalewajaPublished in: ICDT (2019)
Keyphrases
- query containment
- regular path queries
- conjunctive queries
- unions of conjunctive queries
- query rewriting
- query answering
- integrity constraints
- query evaluation
- data complexity
- np complete
- data exchange
- query language
- first order logic
- special case
- transitive closure
- automata theoretic
- regular expressions
- decision procedures
- description logics
- query optimization
- dl lite
- np hard
- horn clauses
- deductive databases
- datalog programs
- graph databases
- inference rules
- satisfiability problem
- metadata
- data integration
- database systems