An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Semantic query optimization in expert systems and database systems
Proceedings from the first international workshop on Expert database systems
A system for semantic query optimization
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
ACM Transactions on Database Systems (TODS)
Perspectives in deductive databases
Journal of Logic Programming
Foundations of semantic query optimization for deductive databases
Foundations of deductive databases and logic programming
Efficient optimization of a class of relational expressions
ACM Transactions on Database Systems (TODS)
Query Optimization in Database Systems
ACM Computing Surveys (CSUR)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
An optimizing prolog front-end to a relational query system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Semantic Query Optimization in Recursive Databases
Proceedings of the Fourth International Conference on Data Engineering
Multiple Query Processing in Deductive Databases using Query Graphs
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
The use of semantic information in deductive question-answering systems.
The use of semantic information in deductive question-answering systems.
Query optimization by semantic reasoning
Query optimization by semantic reasoning
Semantic query optimization in deductive databases. (volumes i and ii) (integrity constraints, intelligent processing, logic)
Annotating answers with their properties
ACM SIGMOD Record
Semantic optimization: what are disjunctive residues useful for?
ACM SIGMOD Record
A hypothesis refinement method for summary discovery in databases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Reformulating query plans for multidatabase systems
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Queries, constraints, updates and transactions within a logic-based language
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Solving satisfiability and implication problems in database systems
ACM Transactions on Database Systems (TODS)
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Context interchange: new features and formalisms for the intelligent integration of information
ACM Transactions on Information Systems (TOIS)
Using domain knowledge in knowledge discovery
Proceedings of the eighth international conference on Information and knowledge management
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Journal of Intelligent Information Systems
Exploiting constraint-like data characterizations in query optimization
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Logical Approach to Capability-Based Rewriting in a Mediator for WebSources
Journal of Intelligent Information Systems
Constraint-Based Query Evaluation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Semantic Query Optimization for Tree and Chain Queries
IEEE Transactions on Knowledge and Data Engineering
Reasoning About Equations and Functional Dependencies on Complex Objects
IEEE Transactions on Knowledge and Data Engineering
Making the Knowledge Base Systems More Efficient: A Method to Detect Inconsistent Queries
IEEE Transactions on Knowledge and Data Engineering
An Improved Algorithm for Implication Testing Involving Arithmetic Inequalities
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Implication and Referential Constraints: A New Formal Reasoning
IEEE Transactions on Knowledge and Data Engineering
Logic-Based Query Optimization for Object Databases
IEEE Transactions on Knowledge and Data Engineering
Semantic Query Optimization for Query Plans of Heterogeneous Multidatabase Systems
IEEE Transactions on Knowledge and Data Engineering
Cooperative Answering through Controlled Query Relaxation
IEEE Expert: Intelligent Systems and Their Applications
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Implementation of Two Semantic Query Optimization Techniques in DB2 Universal Database
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Integrity Maintenance in Object-Oriented Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Knowledge Discovery in Databases: An Attribute-Oriented Approach
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Query Optimization in the Presence of Foreign Functions
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
The GMAP: A Versatile Tool for Physical Data Independence
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Improving Query Evaluation with Approximate Functional Dependency Based Decompositions
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
Querying Inconsistent Databases: Algorithms and Implementation
CL '00 Proceedings of the First International Conference on Computational Logic
Dynamic Constraints Derivation and Maintenance in the Teradata RDBMS
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Utilising Multiple Computers in Database Query Processing and Descriptor Rule Management
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Query Optimization via Empty Joins
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Constructing Inter-relational Rules for Semantic Query Optimisation
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Physical Data Independence, Constraints, and Optimization with Universal Plans
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Description logics for semantic query optimization in object-oriented database systems
ACM Transactions on Database Systems (TODS)
The GMAP: a versatile tool for physical data independence
The VLDB Journal — The International Journal on Very Large Data Bases
Translating advanced integrity checking technology to SQL
Database integrity
Integrity issues in the Web: beyond distributed databases
Database integrity
Semantic Query Optimization for ODMG-93 Databases
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
A Logic Database System with Extended Functionality
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Database management issues in the web environment
Effective databases for text & document management
Query optimization in multidatabase systems
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
A logic-based approach to data integration
Theory and Practice of Logic Programming
Query sampling in DB2 Universal Database
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Semantic Errors in SQL Queries: A Quite Complete List
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
WEBCOOP: a cooperative question-answering system on the web
EACL '03 Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 2
Semantic query optimization for XQuery over XML streams
VLDB '05 Proceedings of the 31st international conference on Very large data bases
On the query refinement in the ontology-based searching for information
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Using Constraints to Describe Source Contents in Data Integration Systems
IEEE Intelligent Systems
Journal of Intelligent Information Systems
Semantic errors in SQL queries: A quite complete list
Journal of Systems and Software - Special issue: Quality software
A form-based approach to natural language query processing
Journal of Management Information Systems - Special section: Strategic and competitive information systems
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Semantic optimization techniques for preference queries
Information Systems
View disassembly: A rewrite that extracts portions of views
Journal of Computer and System Sciences
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
Classifying integrity checking methods with regard to inconsistency tolerance
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
On the query refinement in the ontology-based searching for information
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Using semantics for XPath query transformation
International Journal of Web and Grid Services
On the query refinement in the ontology-based searching for information
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Explicit modeling of the semantics of large multi-layered object-oriented databases
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Semantic XPath query transformation: opportunities and performance
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Semantic query optimization in the presence of types
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A utilization of schema constraints to transform predicates in XPath query
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
A fast transformation method to semantic query optimisation
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Qex: symbolic SQL query explorer
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Site-autonomous distributed semantic caching
Proceedings of the 2011 ACM Symposium on Applied Computing
Differential dependencies: Reasoning and discovery
ACM Transactions on Database Systems (TODS)
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Containment and minimization of RDF/S query patterns
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
Incremental integrity checking: limitations and possibilities
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Active integrity constraints and revision programming
Theory and Practice of Logic Programming
Efficient integrity checking for databases with recursive views
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Executing Suspended Logic Programs
Fundamenta Informaticae
Semantic knowledge integration to support inductive query optimization
DaWaK'07 Proceedings of the 9th international conference on Data Warehousing and Knowledge Discovery
Mining attribute association in query predicates for access path generation
Proceedings of the 2012 ACM Research in Applied Computation Symposium
Managing uncertainty in databases and scaling it up to concurrent transactions
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Modeling consistency of spatio-temporal graphs
Data & Knowledge Engineering
Comparable dependencies over heterogeneous data
The VLDB Journal — The International Journal on Very Large Data Bases
Semantic query optimization in the presence of types
Journal of Computer and System Sciences
Index selection: a query pattern mining based approach
Proceedings of the 2013 Research in Adaptive and Convergent Systems
Ultrawrap: SPARQL execution on relational data
Web Semantics: Science, Services and Agents on the World Wide Web
| Hi-index | 0.00 |
The purpose of semantic query optimization is to use semantic knowledge (e.g., integrity constraints) for transforming a query into a form that may be answered more efficiently than the original version. In several previous papers we described and proved the correctness of a method for semantic query optimization in deductive databases couched in first-order logic. This paper consolidates the major results of these papers emphasizing the techniques and their applicability for optimizing relational queries. Additionally, we show how this method subsumes and generalizes earlier work on semantic query optimization. We also indicate how semantic query optimization techniques can be extended to databases that support recursion and integrity constraints that contain disjunction, negation, and recursion.