On monotonic determinacy and rewritability for recursive queries and views.
Michael BenediktStanislav KikotPiotr Ostropolski-NalewajaMiguel RomeroPublished in: CoRR (2020)
Keyphrases
- recursive queries
- conjunctive queries
- query containment
- expressive power
- query language
- datalog programs
- query rewriting
- database theory
- transitive closure
- query evaluation
- query answering
- data complexity
- description logics
- np complete
- database
- integrity constraints
- data model
- query optimization
- relational algebra
- special case
- data exchange
- first order logic
- deductive databases
- decision procedures
- complex objects
- data management
- data integration
- knowledge representation
- lower bound
- database systems
- databases