Anwering Recursive Queries under Keys and Foreign Keys is Undecidable.
Diego CalvaneseRiccardo RosatiPublished in: KRDB (2003)
Keyphrases
- database theory
- recursive queries
- conjunctive queries
- query containment
- datalog programs
- integrity constraints
- queries involving
- np complete
- query answering
- aggregate functions
- constraint databases
- query evaluation
- data complexity
- query language
- database
- data exchange
- incomplete information
- web mining
- transitive closure
- query rewriting
- expressive power
- decision procedures
- relational databases