Semantic optimization: what are disjunctive residues useful for?

  • Authors:
  • Wolfgang L. J. Kowarschick

  • Affiliations:
  • -

  • Venue:
  • ACM SIGMOD Record
  • Year:
  • 1992

Quantified Score

Hi-index 0.00

Visualization

Abstract

Residues have been proved to be a very important means for doing semantic optimization. In this paper we will discuss a new kind of residues—the disjunctive residues. It will be shown that they are very useful to perform subformula elimination, if, in addition, a powerful reduction algorithm is available.