The TSIMMIS Approach to Mediation: Data Models and Languages
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Boolean Query Mapping Across Heterogeneous Information Sources
IEEE Transactions on Knowledge and Data Engineering
An Architectural Framework for CKBS Applications
IEEE Transactions on Knowledge and Data Engineering
A Query Translation Scheme for Rapid Implementation of Wrappers
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
Optimization Using Tuple Subsumption
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Extraction of Informations from Highly Heterogeneous Sources of Textual Data
CIA '97 Proceedings of the First International Workshop on Cooperative Information Agents
A Generic Subsumption Testing Toolkit for Knowledge Based Queries
DEXA '96 Proceedings of the 7th International Conference on Database and Expert Systems Applications
COOPIS '96 Proceedings of the First IFCIS International Conference on Cooperative Information Systems
A framework of checking subsumption relations between composite concepts in different ontologies
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
| Hi-index | 0.00 |
The paper examines query subsumptions in a relational context and develops a general subsumption technique for queries with function-free firstorder predicates. The predicates are compacted (removing redundant terms) and then expressed as of a disjunction of conjunctions without negations, which is then transformed into a canonical form, along with the rest of the query. Queries in this form are then checked for both result and attribute subsumptions. In the process it highlights some of the logical pitfalls and discusses how they are taken into account in the proposed technique. A filter is then used to derive the new query from the old one.