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

Class DBMinFunctionSymbolImpl

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.DBMinFunctionSymbolImpl

All Implemented Interfaces:

AggregationFunctionSymbol, DBFunctionSymbol, DBFunctionSymbolSerializer, FunctionSymbol, Predicate

public class DBMinFunctionSymbolImpl
extends AbstractDBAggregationFunctionSymbol

Ignores nulls. Returns NULL if the bag/set does not contain any non-null value.

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	DBMinFunctionSymbolImpl(DBTermType inputType)
protected	DBMinFunctionSymbolImpl(DBTermType dbType, DBFunctionSymbolSerializer serializer)

Method Summary

Modifier and Type	Method and Description
Constant	evaluateEmptyBag(TermFactory termFactory)
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() When the bag/set does not contain any null
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, buildTermAfterEvaluation, 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

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

DBMinFunctionSymbolImpl

protected DBMinFunctionSymbolImpl(@Nonnull
                                  DBTermType dbType,
                                  @Nonnull
                                  DBFunctionSymbolSerializer serializer)

DBMinFunctionSymbolImpl

protected DBMinFunctionSymbolImpl(@Nonnull
                                  DBTermType inputType)

Method Detail

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

mayReturnNullWithoutNullArguments

protected boolean mayReturnNullWithoutNullArguments()

When the bag/set does not contain any null

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)