Solving Satisfiability and Implication Problems in Database Systems

@article{Guo1996SolvingSA,
  title={Solving Satisfiability and Implication Problems in Database Systems},
  author={Sha Guo and Wei Sun and Mark Allen Weiss},
  journal={ACM Trans. Database Syst.},
  year={1996},
  volume={21},
  pages={270-293}
}
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, (<italic>X<bold>op</bold>Y</italic>) and (<italic>X</italic> <bold>op</bold> <italic>C</italic>), where <italic>X</italic> and <italic>Y</italic> are attributes, <italic>C</italic> is a constant of the domain or <italic>X… CONTINUE READING

Figures, Tables, and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 50 CITATIONS

Semantic stream query optimization exploiting dynamic metadata

  • 2011 IEEE 27th International Conference on Data Engineering
  • 2011
VIEW 19 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

4 Semantic Cache Reasoners

VIEW 11 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Proving the safety of SQL queries

  • Fifth International Conference on Quality Software (QSIC'05)
  • 2005
VIEW 10 EXCERPTS
HIGHLY INFLUENCED

Expressing and optimizing sequence queries in database systems

  • ACM Trans. Database Syst.
  • 2004
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Taxonomies and Derivation Rules in Conceptual Modeling

  • CAiSE
  • 2001
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Algorithms and Support for Horizontal Class Partitioning in Object-Oriented Databases

  • Distributed and Parallel Databases
  • 2000
VIEW 9 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Automatic physical database design: recommending materialized views

VIEW 6 EXCERPTS
CITES RESULTS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1996
2019

CITATION STATISTICS

  • 9 Highly Influenced Citations

References

Publications referenced by this paper.

Some Simplified NP-Complete Problems

Michael Randolph Garey, David S. Johnson, Larry Stockmeyer
  • STOC
  • 1974
VIEW 15 EXCERPTS
HIGHLY INFLUENTIAL