Add to ORKGResidues have been proved to be a very important means for doing semantic optimization. In this paper we will discuss a new kind of residues: disjunctive residues. It will be shown that they are very useful to perform subformula elimination, if, in addition, a powerful reduction algorithm is available. (orig.)Available from TIB Hannover: RO 9940(1992-005) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman
It is wellknown that Minker's semantics GCWA for positive disjunctive programs P is #PI#_2"P-co...
The purpose of semantic query optimization is to use semantic knowledge (e.g. integrity constraints)...
This chapter argues for an optimization approach to the selection and interpretation of words. Sever...
We define the inverse operation for disjunctive completion, introducing the notion of least disjunct...
We define the inverse operation for disjunctive completion of abstract interpretations, introducing ...
We define the inverse operation for disjunctive completion, introducing the notion of least disjunct...
This article focuses on solving the disjunctive problem. Various methods of constructing disjunctive...
This paper argues for a theory in which underlying representation is determined solely by optimizati...
Although semantic optimization techniques have been studied in detail during the last decade, most a...
AbstractThis article focuses on solving the disjunctive problem. Various methods of constructing dis...
Optimization of disjunctive predicates is a very challenging task which has been vastly neglected by...
: The purpose of semantic query optimization is to use semantic knowledge (e.g. integrity constraint...
This work was mainly supported by two funds, i.e., 0704021000 and 60803085, and one another project,...
peer reviewedThat at least some syntax is necessary to support semantic processing is fairly obviou...
An example of design optimization for high evolvability: string rewriting gramma
It is wellknown that Minker's semantics GCWA for positive disjunctive programs P is #PI#_2"P-co...
The purpose of semantic query optimization is to use semantic knowledge (e.g. integrity constraints)...
This chapter argues for an optimization approach to the selection and interpretation of words. Sever...
We define the inverse operation for disjunctive completion, introducing the notion of least disjunct...
We define the inverse operation for disjunctive completion of abstract interpretations, introducing ...
We define the inverse operation for disjunctive completion, introducing the notion of least disjunct...
This article focuses on solving the disjunctive problem. Various methods of constructing disjunctive...
This paper argues for a theory in which underlying representation is determined solely by optimizati...
Although semantic optimization techniques have been studied in detail during the last decade, most a...
AbstractThis article focuses on solving the disjunctive problem. Various methods of constructing dis...
Optimization of disjunctive predicates is a very challenging task which has been vastly neglected by...
: The purpose of semantic query optimization is to use semantic knowledge (e.g. integrity constraint...
This work was mainly supported by two funds, i.e., 0704021000 and 60803085, and one another project,...
peer reviewedThat at least some syntax is necessary to support semantic processing is fairly obviou...
An example of design optimization for high evolvability: string rewriting gramma
It is wellknown that Minker's semantics GCWA for positive disjunctive programs P is #PI#_2"P-co...
The purpose of semantic query optimization is to use semantic knowledge (e.g. integrity constraints)...
This chapter argues for an optimization approach to the selection and interpretation of words. Sever...