On Monotonic Determinacy and Rewritability for Recursive Queries and Views.
Michael BenediktStanislav KikotPiotr Ostropolski-NalewajaMiguel RomeroPublished in: ACM Trans. Comput. Log. (2023)
Keyphrases
- recursive queries
- conjunctive queries
- expressive power
- query language
- query containment
- datalog programs
- query rewriting
- database theory
- transitive closure
- query evaluation
- query answering
- data complexity
- integrity constraints
- np complete
- description logics
- data model
- relational algebra
- decision procedures
- database
- query optimization
- special case
- constraint databases
- data exchange
- fixpoint
- first order logic
- regular expressions
- xml data
- artificial intelligence
- databases