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

Interface DBIfThenFunctionSymbol

All Superinterfaces:

DBFunctionSymbol, DBFunctionSymbolSerializer, FunctionSymbol, Predicate

All Known Subinterfaces:

DBIfElseNullFunctionSymbol

All Known Implementing Classes:

AbstractDBIfThenElseFunctionSymbol, AbstractDBIfThenFunctionSymbol, BooleanDBIfElseNullFunctionSymbolImpl, DBBooleanCaseFunctionSymbolImpl, DefaultDBCaseFunctionSymbol, DefaultDBIfElseNullFunctionSymbol, MockupDBIfElseNullFunctionSymbol, WrappedDBBooleanCaseFunctionSymbolImpl

public interface DBIfThenFunctionSymbol
extends DBFunctionSymbol

Abstraction for CASE, IF-ELSE-NULL and so on

Nested Class Summary

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

FunctionSymbol.FunctionalTermNullability

Method Summary

Modifier and Type	Method and Description
Stream<ImmutableTerm>	extractPossibleValues(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
ImmutableExpression	pushDownExpression(ImmutableExpression expression, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory) Pushes a unary boolean function symbol down to the "then" arguments For instance, f(CASE(c1, t1, c2, t2, t3), t4) -> BOOL_CASE(c1, f(t1,t4), c2, f(t2,t4), f(t3,t4))
ImmutableFunctionalTerm	pushDownRegularFunctionalTerm(ImmutableFunctionalTerm functionalTerm, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory) Similar to pushDownExpression(...) but for regular functional terms

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

isPreferringToBePostProcessedOverBeingBlocked

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

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

getNativeDBString

Method Detail

extractPossibleValues

Stream<ImmutableTerm> extractPossibleValues(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)

pushDownExpression

ImmutableExpression pushDownExpression(ImmutableExpression expression,
                                       int indexOfDBIfThenFunctionSymbol,
                                       TermFactory termFactory)

Pushes a unary boolean function symbol down to the "then" arguments For instance, f(CASE(c1, t1, c2, t2, t3), t4) -> BOOL_CASE(c1, f(t1,t4), c2, f(t2,t4), f(t3,t4))

pushDownRegularFunctionalTerm

ImmutableFunctionalTerm pushDownRegularFunctionalTerm(ImmutableFunctionalTerm functionalTerm,
                                                      int indexOfDBIfThenFunctionSymbol,
                                                      TermFactory termFactory)

Similar to pushDownExpression(...) but for regular functional terms