Examples of RulePushFilter

lupos.optimizations.logical.rules.RulePushFilter

This class implements following rule to push filter in the operator graph: o1 ... on o1 ... on | | | | operator=> (filter) (filter) | | | filter operator | (filter) Preconditions: - operator should not be a triple pattern. - All the variables of at least one of o1 to on should contain all the used variables of filter. The filter is moved after these o1 to on. - if operator is an optional operator: filter is only moved if it can be moved upwards to the left operand of optional - if operator is an union operator: filter is only moved if it can be moved upwards to all operands of union The original filter is deleted if there does not exist any of o1 to on, which contains a subset of the used variables of the filter.

    // separate the following rules from the rest because this rule would
    // add again
    // infinity loops which are previously eliminated by the rule
    // RuleEliminateInfinityLoop
    rules = new Rule[] { new RuleFactorOutUnionInJoin(),
        new RulePushFilter(),
        new RuleEliminateFilterUnequalAfter2XAdd(),
        new RuleMakeBinaryJoin(), new RuleFactorOutUnionInGenerate(),
        new RuleConstantPropagationOverJoin(),
        new RuleDeleteTriggerOneTimeJoin(),
        new RuleReplaceConstantOfFilterInTriplePattern(),

        new RuleDeleteNotConnectedToResultOperator(),
        new RuleDeleteOperatorWithNoSuccs(), new RuleSplitGenerate(),
        new RuleEliminateUnnecessaryGenerate(),
        new RuleReplaceGenPat(), new RuleDeleteEmptyReplaceLit(),
        new RuleDeleteEmptyReplaceVar(),
        new RuleDeleteUseLessProjection(), new RulePushFilter(),
        new RuleReplaceVarUnderJoin(), new RuleMergeTwoProjection(),
        new RuleOptimizeReplaceByPat(),
        new RuleReplaceVarUnderReplaceLit(),
        new RuleReplaceVarUnderTriplePattern() };
  }

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.

Examples of RulePushFilter

Examples of lupos.optimizations.logical.rules.RulePushFilter

Examples of lupos.optimizations.logical.rules.RulePushFilter