Confidentiality-preserving distributed proofs of conjunctive queries.
Adam J. LeeKazuhiro MinamiNikita BorisovPublished in: AsiaCCS (2009)
Keyphrases
- conjunctive queries
- decision procedures
- query evaluation
- integrity constraints
- query answering
- query language
- data complexity
- np complete
- data exchange
- query rewriting
- probabilistic databases
- special case
- containment of conjunctive queries
- query containment
- datalog programs
- theorem proving
- boolean expressions
- unions of conjunctive queries
- tuple generating dependencies
- conjunctive regular path queries
- theorem prover
- expressive power
- transitive closure
- schema mappings
- incomplete information
- data sources
- np hard
- queries using views
- data mining