Distributed databases principles and systems
Distributed databases principles and systems
Data structures and network algorithms
Data structures and network algorithms
ACM Computing Surveys (CSUR)
Efficiently updating materialized views
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Matrix multiplication via arithmetic progressions
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
On conjunctive queries containing inequalities
Journal of the ACM (JACM)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Processing Implication on Queries
IEEE Transactions on Software Engineering
Logic-based approach to semantic query optimization
ACM Transactions on Database Systems (TODS)
Introduction to algorithms
The complexity of operations on a fragmented relation
ACM Transactions on Database Systems (TODS)
Optimizing equijoin queries in distributed databases where relations are hash partitioned
ACM Transactions on Database Systems (TODS)
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Data structures and algorithm analysis (2nd ed.)
Data structures and algorithm analysis (2nd ed.)
Efficient optimization of a class of relational expressions
ACM Transactions on Database Systems (TODS)
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
Decomposition—a strategy for query processing
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)
Communications of the ACM
Data Structures and Algorithms
Data Structures and Algorithms
Automatic Knowledge Acquisition and Maintenance for Semantic Query Optimization
IEEE Transactions on Knowledge and Data Engineering
Semantic Query Optimization for Tree and Chain 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
Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Optimization of Nonrecursive Queries
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Journal of Intelligent Information Systems
Semantic caching via query matching for web sources
Proceedings of the eighth international conference on Information and knowledge management
Algorithms and Support for Horizontal Class Partitioning in Object-Oriented Databases
Distributed and Parallel Databases
Enhancing data warehouse performance through query caching
ACM SIGMIS Database
Enhancing data warehouse performance through query caching
ACM SIGMIS Database
Towards Intelligent Semantic Caching for Web Sources
Journal of Intelligent Information Systems
Derived types and taxonomic constraints in conceptual modeling
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Semantic Caching and Query Processing
IEEE Transactions on Knowledge and Data Engineering
Querying with Intrinsic Preferences
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Taxonomies and Derivation Rules in Conceptual Modeling
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Schema Evolution in SQL-99 and Commercial (Object-)Relational DBMS
FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
The VLDB Journal — The International Journal on Very Large Data Bases
Preference formulas in relational queries
ACM Transactions on Database Systems (TODS)
Expressing and optimizing sequence queries in database systems
ACM Transactions on Database Systems (TODS)
Constructing search spaces for materialized view selection
Proceedings of the 7th ACM international workshop on Data warehousing and OLAP
Proving the Safety of SQL Queries
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Semantic errors in SQL queries: A quite complete list
Journal of Systems and Software - Special issue: Quality software
Deciding equivalences among conjunctive aggregate queries
Journal of the ACM (JACM)
Semantic optimization techniques for preference queries
Information Systems
Database querying under changing preferences
Annals of Mathematics and Artificial Intelligence
Proceedings of the VLDB Endowment
Artifact-Centric Workflow Dominance
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
A performance analysis of semantic caching for distributed semi-structured query processing
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Graph based query trimming algorithm for relational data semantic cache
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Consolidating the access control of composite applications and workflows
DBSEC'06 Proceedings of the 20th IFIP WG 11.3 working conference on Data and Applications Security
First-Order patterns for information integration
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Iterative modification and incremental evaluation of preference queries
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
An indexing scheme for update notification in large mobile information systems
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Group-Based replication of on-line transaction processing servers
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Auditing a database under retention policies
The VLDB Journal — The International Journal on Very Large Data Bases
A Performance Analysis of Semantic Caching for XML Query Processing
International Journal of Knowledge-Based Organizations
Hi-index | 0.00 |
Satisfiability, implication, and equivalence problems involving conjunctive inequalities are important and widely encountered database problems that need to be efficiently and effectively processed. In this article we consider two popular types of arithmetic inequalities, (XopY) and (X op C), where X and Y are attributes, C is a constant of the domain or X, and op ∈{ ≠, , ≥). These inequalities are most frequently used in a database system, inasmuch as the former type of inequality represents a 0-join, and the latter is a selection. We study the satisfiability and implication problems under the integer domain and the real domain, as well as under two different operator sets ({} and { ≠, ≥, }). Our results show that solutions under different domains and/or different operator sets are quite different. Out of these eight cases, excluding two cases that had been shown to be NP-hard, we either report the first necessary and sufficient conditions for these problems as well as their efficient algorithms with complexity analysis (for four cases), or provide an improved algorithm (for two cases). These iff conditions and algorithms are essential to database designers, practitioners, and researchers. These algorithms have been implemented and an experimental study comparing the proposed algorithms and those previously known is conducted. Our experiments show that the proposed algorithms are more efficient than previously known algorithms even for small input. The C++ code can be obtained by an anonymous ftp from .