Inference-Proof Monotonic Query Evaluation and View Generation Reconsidered.
Joachim BiskupPublished in: DBSec (2020)
Keyphrases
- query evaluation
- query language
- conjunctive queries
- query processing
- data complexity
- deductive databases
- data management
- transitive closure
- probabilistic databases
- xml data
- efficient query evaluation
- disjunctive deductive databases
- view selection
- query engine
- regular expressions
- probabilistic inference
- query processing strategies
- querying xml documents
- xpath queries
- theorem proving
- bayesian networks
- query answers
- probabilistic xml
- databases