Semantic optimization

1 September 1992

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGMOD Record

Vol. 21 (3) , 26-32
https://doi.org/10.1145/140979.140991

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.

Keywords

NEW KIND
SUBFORMULA ELIMINATION
IMPORTANT MEAN
DISJUNCTIVE RESIDUE
POWERFUL REDUCTION ALGORITHM
SEMANTIC OPTIMIZATION

This publication has 3 references indexed in Scilit:

Logic-based approach to semantic query optimization
ACM Transactions on Database Systems, 1990
Design and implementation of a semantic query optimizer
IEEE Transactions on Knowledge and Data Engineering, 1989
A system for semantic query optimization
Published by Association for Computing Machinery (ACM) ,1987