it.unibz.inf.ontop.iq.node.normalization.impl

Class FilterNormalizerImpl.State

java.lang.Object

it.unibz.inf.ontop.iq.node.normalization.impl.FilterNormalizerImpl.State

Enclosing class:

FilterNormalizerImpl

protected class FilterNormalizerImpl.State
extends Object

Immutable Normalization operations are directly done on this structure.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	State(FilterNode initialFilterNode, IQTree initialChild) Initial constructor
protected	State(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<UnaryOperatorNode> ancestors, Optional<ImmutableExpression> condition, IQTree child)

Method Summary

Modifier and Type	Method and Description
IQTree	createNormalizedTree(VariableGenerator variableGenerator, IQProperties currentIQProperties) Returns a tree in which the "filter-level" sub-tree is declared as normalized.
FilterNormalizerImpl.State	liftBindingsAndDistinct()
FilterNormalizerImpl.State	mergeWithChild() Tries to merge with the child
FilterNormalizerImpl.State	normalizeChild(VariableGenerator variableGenerator)
FilterNormalizerImpl.State	simplifyAndPropagateDownConstraint()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

State

protected State(FilterNode initialFilterNode,
                IQTree initialChild)

Initial constructor

State

protected State(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables,
                it.unibz.inf.ontop.com.google.common.collect.ImmutableList<UnaryOperatorNode> ancestors,
                Optional<ImmutableExpression> condition,
                IQTree child)

Method Detail

normalizeChild

public FilterNormalizerImpl.State normalizeChild(VariableGenerator variableGenerator)

createNormalizedTree

public IQTree createNormalizedTree(VariableGenerator variableGenerator,
                                   IQProperties currentIQProperties)

Returns a tree in which the "filter-level" sub-tree is declared as normalized.

liftBindingsAndDistinct

public FilterNormalizerImpl.State liftBindingsAndDistinct()

mergeWithChild

public FilterNormalizerImpl.State mergeWithChild()

Tries to merge with the child

simplifyAndPropagateDownConstraint

public FilterNormalizerImpl.State simplifyAndPropagateDownConstraint()