Logic for problem-solving
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
The role of constraints in databases, expert systems, and knowledge representation
Proceedings from the first international workshop on Expert database systems
Heuristic search in database systems
Proceedings from the first international workshop on Expert database systems
Semantic query optimization in expert systems and database systems
Proceedings from the first international workshop on Expert database systems
External semantic query simplification: a graph-theoretic approach and its implementation in Prolog
Proceedings from the first international workshop on Expert database systems
Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
A system for semantic query optimization
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
On conjunctive queries containing inequalities
Journal of the ACM (JACM)
Solving implication problems in database applications
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Query processing in a system for distributed databases (SDD-1)
ACM Transactions on Database Systems (TODS)
Optimization of query evaluation algorithms
ACM Transactions on Database Systems (TODS)
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
The design and implementation of INGRES
ACM Transactions on Database Systems (TODS)
Decomposition—a strategy for query processing
ACM Transactions on Database Systems (TODS)
ACM Computing Surveys (CSUR)
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Distributed query processing in a relational data base system
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
Principles of Database Systems
Principles of Database Systems
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
The complexity of testing predicate locks
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
An optimizing prolog front-end to a relational query system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Optimization of Nonrecursive Queries
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
A Formal Model of Trade-off between Optimization and Execution Costs in Semantic Query Optimization
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Theory of Relational Databases
Theory of Relational Databases
Semantic optimization: what are disjunctive residues useful for?
ACM SIGMOD Record
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
An Improved Algorithm for Implication Testing Involving Arithmetic Inequalities
IEEE Transactions on Knowledge and Data Engineering
Temporal and Real-Time Databases: A Survey
IEEE Transactions on Knowledge and Data Engineering
A Form-Based Natural Language Front-End to a CIM Database
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
Learning Transformation Rules for Semantic Query Optimization: A Data-Driven Approach
IEEE Transactions on Knowledge and Data Engineering
Implementation of Two Semantic Query Optimization Techniques in DB2 Universal Database
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Temporal Query Processing and Optimization in Multiprocessor Database Machines
VLDB '92 Proceedings of the 18th 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
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
Description logics for semantic query optimization in object-oriented database systems
ACM Transactions on Database Systems (TODS)
Maintenance of implication integrity constraints under updates to constraints
The VLDB Journal — The International Journal on Very Large Data Bases
Semantic Query Optimization for ODMG-93 Databases
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Journal of Intelligent Information Systems
A form-based approach to natural language query processing
Journal of Management Information Systems - Special section: Strategic and competitive information systems
Using semantics for XPath query transformation
International Journal of Web and Grid Services
Semantic XPath query transformation: opportunities and performance
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
MIKS: an agent framework supporting information access and integration
Intelligent information agents
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
| Hi-index | 0.00 |
The authors describe a scheme to utilize semantic knowledge in optimizing a user-specified query. The semantics is represented as function-free clauses in predicate logic. The scheme uses a graph-theoretic approach to identify redundant joins and restrictions present in a given query while adding additional profitable specifications to it. Dynamic and heuristic interaction of three entities-schema, semantics, and query-forms the basis of the algorithm. The implementation architecture of the algorithm and test results on a representative set of data are presented. Issues associated with updating of semantic constraints are addressed, and an algorithm for semantic maintenance is introduced.