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

Class UnaryNumericSPARQLAggregationFunctionSymbolImpl

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.impl.SPARQLLikeFunctionSymbolImpl

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

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

All Implemented Interfaces:

AggregationFunctionSymbol, FunctionSymbol, Predicate, SPARQLAggregationFunctionSymbol, SPARQLFunctionSymbol

Direct Known Subclasses:

AvgSPARQLFunctionSymbolImpl, SumLikeSPARQLAggregationFunctionSymbolImpl

public abstract class UnaryNumericSPARQLAggregationFunctionSymbolImpl
extends SPARQLFunctionSymbolImpl
implements SPARQLAggregationFunctionSymbol

Nested Class Summary

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

SPARQLAggregationFunctionSymbol.AggregationSimplification

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

FunctionSymbol.FunctionalTermNullability

Constructor Summary

Constructors

Constructor and Description
UnaryNumericSPARQLAggregationFunctionSymbolImpl(String name, String officialName, boolean isDistinct, RDFTermType rootRdfTermType, String defaultAggVariableName)

Method Summary

Modifier and Type	Method and Description
protected ImmutableTerm	buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) By default, just build a new functional term.
boolean	canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) 1.
protected abstract ImmutableFunctionalTerm	createAggregate(ConcreteNumericRDFDatatype rdfType, ImmutableTerm dbTerm, TermFactory termFactory)
protected DefinitionPushDownRequest	createNonNumericRequest(ImmutableTerm subTermTypeTerm, Variable nonNumericVariable, com.google.common.collect.ImmutableSet<RDFTermType> nonNumericTypes, TermFactory termFactory)
Optional<SPARQLAggregationFunctionSymbol.AggregationSimplification>	decomposeIntoDBAggregation(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, com.google.common.collect.ImmutableList<com.google.common.collect.ImmutableSet<RDFTermType>> possibleRDFTypes, boolean hasGroupBy, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
protected abstract SPARQLAggregationFunctionSymbol.AggregationSimplification	decomposeMultityped(ImmutableTerm subTerm, com.google.common.collect.ImmutableSet<RDFTermType> subTermPossibleTypes, boolean hasGroupBy, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
protected SPARQLAggregationFunctionSymbol.AggregationSimplification	decomposeUnityped(ImmutableTerm subTerm, RDFTermType subTermType, boolean hasGroupBy, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
protected com.google.common.collect.ImmutableSet<RDFTermType>	extractNonNumericTypes(com.google.common.collect.ImmutableSet<RDFTermType> subTermPossibleTypes)
Optional<TermTypeInference>	inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Too complex to be implemented (for the moment)
protected abstract ConcreteNumericRDFDatatype	inferTypeWhenNonEmpty(ConcreteNumericRDFDatatype inputNumericDatatype, TypeFactory typeFactory)
boolean	isAggregation() By default, assume it is not an aggregation function symbol To be overridden when needed
boolean	isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms() When the function symbol is, in the absence of non-injective functional sub-terms, sometimes but not always injective, please override isInjective(...)
boolean	isDistinct()
boolean	isNullable(com.google.common.collect.ImmutableSet<Integer> nullableIndexes) Nullable due to typing errors
protected boolean	tolerateNulls() Returns true if is not guaranteed to return NULL when one argument is NULL.

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

getIRI, getOfficialName

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

extractLexicalTerm, extractRDFTermTypeTerm, isRDFFunctionalTerm, mayReturnNullWithoutNullArguments

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

analyzeInjectivity, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, enableIfElseNullLifting, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, getExpectedBaseType, getExpectedBaseTypes, isDeterministic, isInjective, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull, transformIntoRegularArguments, tryToLiftMagicNumbers

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

clone, equals, getArity, getName, hashCode, toString

Methods inherited from class java.lang.Object

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

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

getIRI, getOfficialName

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, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull

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

getArity, getName

Constructor Detail

UnaryNumericSPARQLAggregationFunctionSymbolImpl

public UnaryNumericSPARQLAggregationFunctionSymbolImpl(String name,
                                                       String officialName,
                                                       boolean isDistinct,
                                                       RDFTermType rootRdfTermType,
                                                       String defaultAggVariableName)

Method Detail

isDistinct

public boolean isDistinct()

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

tolerateNulls

protected boolean tolerateNulls()

Description copied from class: FunctionSymbolImpl

Returns true if is not guaranteed to return NULL when one argument is NULL. Can be the case for some function symbols that are rejecting certain cases and therefore refuse to simplify themselves, e.g. RDF(NULL,IRI) is invalid and therefore cannot be simplified.

Specified by:

tolerateNulls in class FunctionSymbolImpl

isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms

public boolean isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms()

Description copied from class: FunctionSymbolImpl

When the function symbol is, in the absence of non-injective functional sub-terms, sometimes but not always injective, please override isInjective(...)

Specified by:

isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms in class FunctionSymbolImpl

inferType

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

Too complex to be implemented (for the moment)

Specified by:

inferType in interface FunctionSymbol

canBePostProcessed

public boolean canBePostProcessed(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

isNullable

public boolean isNullable(com.google.common.collect.ImmutableSet<Integer> nullableIndexes)

Nullable due to typing errors

Specified by:

isNullable in interface FunctionSymbol

Overrides:

isNullable in class FunctionSymbolImpl

buildTermAfterEvaluation

protected ImmutableTerm buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms,
                                                 TermFactory termFactory,
                                                 VariableNullability variableNullability)

Description copied from class: FunctionSymbolImpl

By default, just build a new functional term. NB: If the function symbol does not tolerate NULL values, no need to handle them here.

Overrides:

buildTermAfterEvaluation in class FunctionSymbolImpl

decomposeIntoDBAggregation

public Optional<SPARQLAggregationFunctionSymbol.AggregationSimplification> decomposeIntoDBAggregation(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms,
                                                                                                      com.google.common.collect.ImmutableList<com.google.common.collect.ImmutableSet<RDFTermType>> possibleRDFTypes,
                                                                                                      boolean hasGroupBy,
                                                                                                      VariableNullability variableNullability,
                                                                                                      VariableGenerator variableGenerator,
                                                                                                      TermFactory termFactory)

Specified by:

decomposeIntoDBAggregation in interface SPARQLAggregationFunctionSymbol

decomposeUnityped

protected SPARQLAggregationFunctionSymbol.AggregationSimplification decomposeUnityped(ImmutableTerm subTerm,
                                                                                      RDFTermType subTermType,
                                                                                      boolean hasGroupBy,
                                                                                      VariableNullability variableNullability,
                                                                                      VariableGenerator variableGenerator,
                                                                                      TermFactory termFactory)

inferTypeWhenNonEmpty

protected abstract ConcreteNumericRDFDatatype inferTypeWhenNonEmpty(ConcreteNumericRDFDatatype inputNumericDatatype,
                                                                    TypeFactory typeFactory)

decomposeMultityped

protected abstract SPARQLAggregationFunctionSymbol.AggregationSimplification decomposeMultityped(ImmutableTerm subTerm,
                                                                                                 com.google.common.collect.ImmutableSet<RDFTermType> subTermPossibleTypes,
                                                                                                 boolean hasGroupBy,
                                                                                                 VariableNullability variableNullability,
                                                                                                 VariableGenerator variableGenerator,
                                                                                                 TermFactory termFactory)

createAggregate

protected abstract ImmutableFunctionalTerm createAggregate(ConcreteNumericRDFDatatype rdfType,
                                                           ImmutableTerm dbTerm,
                                                           TermFactory termFactory)

createNonNumericRequest

protected DefinitionPushDownRequest createNonNumericRequest(ImmutableTerm subTermTypeTerm,
                                                            Variable nonNumericVariable,
                                                            com.google.common.collect.ImmutableSet<RDFTermType> nonNumericTypes,
                                                            TermFactory termFactory)

extractNonNumericTypes

protected com.google.common.collect.ImmutableSet<RDFTermType> extractNonNumericTypes(com.google.common.collect.ImmutableSet<RDFTermType> subTermPossibleTypes)