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

Class AggregationNormalizerImpl.AggregationNormalizationState

java.lang.Object

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

Enclosing class:

AggregationNormalizerImpl

protected class AggregationNormalizerImpl.AggregationNormalizationState
extends Object

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AggregationNormalizationState(AggregationNode aggregationNode, ConstructionNode childConstructionNode, IQTree grandChild, VariableGenerator variableGenerator) Initial state

Method Summary

Modifier and Type	Method and Description
protected IQTree	createNormalizedTree(IQProperties normalizedProperties)
protected Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	decomposeFunctionalTerm(ImmutableFunctionalTerm functionalTerm) Decomposes functional terms so as to lift non-aggregation function symbols above and block the aggregation functional terms
AggregationNormalizerImpl.AggregationNormalizationState	liftGroupingBindings() Lifts (fragments of) bindings that are injective.
AggregationNormalizerImpl.AggregationNormalizationState	propagateNonGroupingBindingsIntoToAggregationSubstitution() All the bindings of non-grouping variables in the child construction node are propagated to the aggregation substitution
AggregationNormalizerImpl.AggregationNormalizationState	simplifyAggregationSubstitution() Simplifies the substitution of the aggregation node and partially lift some bindings so as to guarantee that all the values of the substitution are functional terms using an aggregation function symbol.

Methods inherited from class java.lang.Object

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

Constructor Detail

AggregationNormalizationState

protected AggregationNormalizationState(AggregationNode aggregationNode,
                                        @Nonnull
                                        ConstructionNode childConstructionNode,
                                        IQTree grandChild,
                                        VariableGenerator variableGenerator)

Initial state

Method Detail

propagateNonGroupingBindingsIntoToAggregationSubstitution

public AggregationNormalizerImpl.AggregationNormalizationState propagateNonGroupingBindingsIntoToAggregationSubstitution()

All the bindings of non-grouping variables in the child construction node are propagated to the aggregation substitution

liftGroupingBindings

public AggregationNormalizerImpl.AggregationNormalizationState liftGroupingBindings()

Lifts (fragments of) bindings that are injective. propagateNonGroupingBindingsIntoToAggregationSubstitution() is expected to have been called before

simplifyAggregationSubstitution

public AggregationNormalizerImpl.AggregationNormalizationState simplifyAggregationSubstitution()

Simplifies the substitution of the aggregation node and partially lift some bindings so as to guarantee that all the values of the substitution are functional terms using an aggregation function symbol.

decomposeFunctionalTerm

protected Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition> decomposeFunctionalTerm(ImmutableFunctionalTerm functionalTerm)

Decomposes functional terms so as to lift non-aggregation function symbols above and block the aggregation functional terms

createNormalizedTree

protected IQTree createNormalizedTree(IQProperties normalizedProperties)