it.unibz.inf.ontop.model.term.functionsymbol.db.impl

Class AbstractAggregationFunctionSymbol

java.lang.Object

it.unibz.inf.ontop.model.term.impl.PredicateImpl

it.unibz.inf.ontop.model.term.functionsymbol.impl.FunctionSymbolImpl

it.unibz.inf.ontop.model.term.functionsymbol.db.impl.AbstractAggregationFunctionSymbol

All Implemented Interfaces:

AggregationFunctionSymbol, FunctionSymbol, Predicate

Direct Known Subclasses:

AbstractDBAggregationFunctionSymbol

public abstract class AbstractAggregationFunctionSymbol
extends FunctionSymbolImpl
implements AggregationFunctionSymbol

Nested Class Summary

Nested classes/interfaces inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol

FunctionSymbol.FunctionalTermNullability

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractAggregationFunctionSymbol(String name, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<TermType> expectedBaseTypes, DBTermType targetType, boolean isDistinct)

Method Summary

Modifier and Type	Method and Description
boolean	canBePostProcessed(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) 1.
Optional<TermTypeInference>	inferType(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
boolean	isAggregation() By default, assume it is not an aggregation function symbol To be overridden when needed
boolean	isDistinct()

Methods inherited from class it.unibz.inf.ontop.model.term.functionsymbol.impl.FunctionSymbolImpl

analyzeInjectivity, buildTermAfterEvaluation, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, enableIfElseNullLifting, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, getExpectedBaseType, getExpectedBaseTypes, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, isDeterministic, isInjective, isNullable, mayReturnNullWithoutNullArguments, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull, tolerateNulls, transformIntoRegularArguments, tryToLiftMagicNumbers

Methods inherited from class it.unibz.inf.ontop.model.term.impl.PredicateImpl

equals, getArity, getName, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.AggregationFunctionSymbol

evaluateEmptyBag

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol

analyzeInjectivity, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, getExpectedBaseType, isDeterministic, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.Predicate

getArity, getName

Constructor Detail

AbstractAggregationFunctionSymbol

protected AbstractAggregationFunctionSymbol(@Nonnull
                                            String name,
                                            @Nonnull
                                            it.unibz.inf.ontop.com.google.common.collect.ImmutableList<TermType> expectedBaseTypes,
                                            @Nonnull
                                            DBTermType targetType,
                                            boolean isDistinct)

Method Detail

inferType

public Optional<TermTypeInference> inferType(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)

Specified by:

inferType in interface FunctionSymbol

canBePostProcessed

public boolean canBePostProcessed(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)

Description copied from interface: FunctionSymbol

1. When a functional term simplifies itself in a BOTTOM-UP manner: Returns true if is guaranteed to "simplify itself" as a Constant when receiving Constants as arguments (outside the optimization phase) . 2. When a functional term simplifies itself in a TOP-DOWN manner (e.g. IF-THEN-ELSE functional terms): The permission for post-processing may depend on the ability of sub-functional terms to be post-processed or safely evaluated by the DB engine. (Recall that top-down evaluation allows some arguments not to be evaluated when their pre-conditions are not met. This is particularly valuable for preventing fatal errors).

Specified by:

canBePostProcessed in interface FunctionSymbol

isAggregation

public boolean isAggregation()

Description copied from class: FunctionSymbolImpl

By default, assume it is not an aggregation function symbol To be overridden when needed

Specified by:

isAggregation in interface FunctionSymbol

Overrides:

isAggregation in class FunctionSymbolImpl

isDistinct

public boolean isDistinct()