| Package | Description |
|---|---|
| it.unibz.inf.ontop.iq.node.normalization.impl |
| Modifier and Type | Method and Description |
|---|---|
AggregationNormalizerImpl.AggregationNormalizationState |
AggregationNormalizerImpl.AggregationNormalizationState.liftGroupingBindings()
Lifts (fragments of) bindings that are injective.
|
AggregationNormalizerImpl.AggregationNormalizationState |
AggregationNormalizerImpl.AggregationNormalizationState.propagateNonGroupingBindingsIntoToAggregationSubstitution()
All the bindings of non-grouping variables in the child construction node are propagated to
the aggregation substitution
|
AggregationNormalizerImpl.AggregationNormalizationState |
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.
|
Copyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.