Semantic Aware Implication and Satisfiability for Conjunctive Queries in Semantic Caching.
Muhammad Azeem AbbasMuhammad Abdul QadirMunir AhmadTariq AliPublished in: NDT (1) (2012)
Keyphrases
- conjunctive queries
- semantic caching
- np complete
- decision procedures
- query processing
- query evaluation
- query answering
- satisfiability problem
- answering queries
- integrity constraints
- mobile environments
- functional dependencies
- query language
- np hard
- query containment
- data exchange
- computational complexity
- database systems
- special case
- data management
- transitive closure
- query optimization
- index structure
- satisfiability testing
- similarity search
- mobile computing
- multi dimensional
- relational databases
- data mining