Rewriting the Infinite Chase.
Michael BenediktMaxime BuronStefano GermanoKevin KappelmannBoris MotikPublished in: CoRR (2022)
Keyphrases
- conjunctive queries
- query answering
- query rewriting
- rewriting rules
- integrity constraints
- rewrite rules
- functional dependencies
- query language
- np complete
- data exchange
- data complexity
- query evaluation
- finite sets
- datalog programs
- real time
- presburger arithmetic
- termination analysis
- queries using views
- regular path queries
- data dependencies
- data structure
- information retrieval
- real world