The First Order Truth behind Undecidability of Regular Path Queries Determinacy.
Grzegorz GluchJerzy MarcinkowskiPiotr Ostropolski-NalewajaPublished in: CoRR (2018)
Keyphrases
- query containment
- regular path queries
- conjunctive queries
- unions of conjunctive queries
- query rewriting
- query answering
- query evaluation
- integrity constraints
- data complexity
- np complete
- data exchange
- query language
- special case
- automata theoretic
- first order logic
- transitive closure
- decision procedures
- regular expressions
- datalog programs
- answering queries
- incomplete information
- horn clauses
- deductive databases
- spatial databases
- data integration