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

Class DBCountFunctionSymbolImpl

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

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

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

All Implemented Interfaces:

AggregationFunctionSymbol, DBFunctionSymbol, DBFunctionSymbolSerializer, FunctionSymbol, Predicate

public class DBCountFunctionSymbolImpl
extends AbstractDBAggregationFunctionSymbol

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	DBCountFunctionSymbolImpl(DBTermType targetType, boolean isDistinct)
protected	DBCountFunctionSymbolImpl(DBTermType targetType, boolean isDistinct, DBFunctionSymbolSerializer serializer)
protected	DBCountFunctionSymbolImpl(DBTermType inputType, DBTermType targetType, boolean isDistinct)
protected	DBCountFunctionSymbolImpl(DBTermType inputType, DBTermType targetType, boolean isDistinct, DBFunctionSymbolSerializer serializer)

Method Summary

Modifier and Type	Method and Description
protected ImmutableTerm	buildTermAfterEvaluation(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) By default, just build a new functional term.
Constant	evaluateEmptyBag(TermFactory termFactory)
protected static DBFunctionSymbolSerializer	get0arySerializer(boolean isDistinct)
boolean	isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms() When the function symbol is, in the absence of non-injective functional sub-terms, sometimes but not always injective, please override isInjective(...)
protected boolean	mayReturnNullWithoutNullArguments() Returns false when a functional term with this symbol: 1.
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.db.impl.AbstractDBAggregationFunctionSymbol

getNativeDBString, isPreferringToBePostProcessedOverBeingBlocked

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

canBePostProcessed, inferType, isAggregation, isDistinct

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

analyzeInjectivity, canBePostProcessed, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, getExpectedBaseType, inferType, isAggregation, isDeterministic, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull

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

getArity, getName

Constructor Detail

DBCountFunctionSymbolImpl

protected DBCountFunctionSymbolImpl(@Nonnull
                                    DBTermType inputType,
                                    @Nonnull
                                    DBTermType targetType,
                                    boolean isDistinct,
                                    @Nonnull
                                    DBFunctionSymbolSerializer serializer)

DBCountFunctionSymbolImpl

protected DBCountFunctionSymbolImpl(@Nonnull
                                    DBTermType targetType,
                                    boolean isDistinct,
                                    @Nonnull
                                    DBFunctionSymbolSerializer serializer)

DBCountFunctionSymbolImpl

protected DBCountFunctionSymbolImpl(@Nonnull
                                    DBTermType inputType,
                                    @Nonnull
                                    DBTermType targetType,
                                    boolean isDistinct)

DBCountFunctionSymbolImpl

protected DBCountFunctionSymbolImpl(@Nonnull
                                    DBTermType targetType,
                                    boolean isDistinct)

Method Detail

get0arySerializer

protected static DBFunctionSymbolSerializer get0arySerializer(boolean isDistinct)

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

buildTermAfterEvaluation

protected ImmutableTerm buildTermAfterEvaluation(it.unibz.inf.ontop.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 AbstractDBAggregationFunctionSymbol

mayReturnNullWithoutNullArguments

protected boolean mayReturnNullWithoutNullArguments()

Description copied from class: FunctionSymbolImpl

Returns false when a functional term with this symbol: 1. never produce NULLs 2. May produce NULLs but it is always due to a NULL argument

Specified by:

mayReturnNullWithoutNullArguments 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

evaluateEmptyBag

public Constant evaluateEmptyBag(TermFactory termFactory)