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

Class DefaultDBIfElseNullFunctionSymbol

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

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

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

All Implemented Interfaces:

DBFunctionSymbol, DBFunctionSymbolSerializer, DBIfElseNullFunctionSymbol, DBIfThenFunctionSymbol, FunctionSymbol, Predicate

Direct Known Subclasses:

BooleanDBIfElseNullFunctionSymbolImpl

public class DefaultDBIfElseNullFunctionSymbol
extends AbstractDBIfThenFunctionSymbol
implements DBIfElseNullFunctionSymbol

Nested Class Summary

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

FunctionSymbol.FunctionalTermNullability

Field Summary

Fields inherited from class it.unibz.inf.ontop.model.term.functionsymbol.db.impl.AbstractDBIfThenFunctionSymbol

doOrderingMatter

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DefaultDBIfElseNullFunctionSymbol(DBTermType dbBooleanType, DBTermType rootDBTermType)
protected	DefaultDBIfElseNullFunctionSymbol(String name, DBTermType dbBooleanType, DBTermType rootDBTermType)

Method Summary

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	analyzeInjectivity(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory) To be overridden when is sometimes but not always injective in the absence of non-injective functional terms
boolean	canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Only looks if the second argument is guaranteed to be post-processed or not since the first argument (the condition expression) will always be evaluated.
protected boolean	canBeReplacedByValue(ImmutableExpression conditionExpression, ImmutableTerm possibleValue, TermFactory termFactory) When the condition is only composed of IS_NOT_NULL expressions, see if the IF_ELSE_NULL(...) can be replaced by its "then" value TODO: group together terms that are known to be nullable together to detect more cases
IncrementalEvaluation	evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability) Default implementation, can be overridden
protected ImmutableTerm	extractDefaultValue(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
String	getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Returns a String in the native query language.
ImmutableExpression	liftUnaryBooleanFunctionSymbol(com.google.common.collect.ImmutableList<? extends ImmutableTerm> ifElseNullTerms, BooleanFunctionSymbol unaryBooleanFunctionSymbol, TermFactory termFactory) Returns BOOL_IF_ELSE_NULL(c, f(v)) where f is an unary BooleanFunctionSymbol, and c and v and the initial terms
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))
protected ImmutableTerm	simplify(ImmutableExpression newCondition, ImmutableTerm newThenValue, TermFactory termFactory, VariableNullability variableNullability)
ImmutableTerm	simplify(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)

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

buildCase, extractPossibleValues, extractSubFunctionalTerms, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, isPreferringToBePostProcessedOverBeingBlocked, mayReturnNullWithoutNullArguments, pushDownFunctionalTerm, pushDownRegularFunctionalTerm, simplifyValue, tolerateNulls, transformIntoRegularArguments

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

inferType

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

buildTermAfterEvaluation, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, enableIfElseNullLifting, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, getExpectedBaseType, getExpectedBaseTypes, isAggregation, isDeterministic, isInjective, isNullable, proposeProvenanceVariables, simplifyAsGuaranteedToBeNonNull, 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.db.DBIfThenFunctionSymbol

extractPossibleValues, pushDownRegularFunctionalTerm

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

evaluateNullability, evaluateStrictEq, getExpectedBaseType, inferType, isAggregation, isDeterministic, isNullable, proposeProvenanceVariables, simplifyAsGuaranteedToBeNonNull

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

getArity, getName

Constructor Detail

DefaultDBIfElseNullFunctionSymbol

protected DefaultDBIfElseNullFunctionSymbol(DBTermType dbBooleanType,
                                            DBTermType rootDBTermType)

DefaultDBIfElseNullFunctionSymbol

protected DefaultDBIfElseNullFunctionSymbol(String name,
                                            DBTermType dbBooleanType,
                                            DBTermType rootDBTermType)

Method Detail

extractDefaultValue

protected ImmutableTerm extractDefaultValue(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                                            TermFactory termFactory)

Specified by:

extractDefaultValue in class AbstractDBIfThenFunctionSymbol

simplify

public ImmutableTerm simplify(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                              TermFactory termFactory,
                              VariableNullability variableNullability)

Specified by:

simplify in interface FunctionSymbol

Overrides:

simplify in class AbstractDBIfThenFunctionSymbol

simplify

protected ImmutableTerm simplify(ImmutableExpression newCondition,
                                 ImmutableTerm newThenValue,
                                 TermFactory termFactory,
                                 VariableNullability variableNullability)

canBeReplacedByValue

protected boolean canBeReplacedByValue(ImmutableExpression conditionExpression,
                                       ImmutableTerm possibleValue,
                                       TermFactory termFactory)

When the condition is only composed of IS_NOT_NULL expressions, see if the IF_ELSE_NULL(...) can be replaced by its "then" value TODO: group together terms that are known to be nullable together to detect more cases

canBePostProcessed

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

Only looks if the second argument is guaranteed to be post-processed or not since the first argument (the condition expression) will always be evaluated.

Specified by:

canBePostProcessed in interface FunctionSymbol

Overrides:

canBePostProcessed in class AbstractDBIfThenFunctionSymbol

getNativeDBString

public String getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                                Function<ImmutableTerm,String> termConverter,
                                TermFactory termFactory)

Description copied from interface: DBFunctionSymbolSerializer

Returns a String in the native query language.

Specified by:

getNativeDBString in interface DBFunctionSymbolSerializer

liftUnaryBooleanFunctionSymbol

public ImmutableExpression liftUnaryBooleanFunctionSymbol(com.google.common.collect.ImmutableList<? extends ImmutableTerm> ifElseNullTerms,
                                                          BooleanFunctionSymbol unaryBooleanFunctionSymbol,
                                                          TermFactory termFactory)

Description copied from interface: DBIfElseNullFunctionSymbol

Returns BOOL_IF_ELSE_NULL(c, f(v)) where f is an unary BooleanFunctionSymbol, and c and v and the initial terms

Specified by:

liftUnaryBooleanFunctionSymbol in interface DBIfElseNullFunctionSymbol

evaluateIsNotNull

public IncrementalEvaluation evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                                               TermFactory termFactory,
                                               VariableNullability variableNullability)

Description copied from class: FunctionSymbolImpl

Default implementation, can be overridden

Specified by:

evaluateIsNotNull in interface FunctionSymbol

Overrides:

evaluateIsNotNull in class FunctionSymbolImpl

analyzeInjectivity

public Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition> analyzeInjectivity(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments,
                                                                                        com.google.common.collect.ImmutableSet<Variable> nonFreeVariables,
                                                                                        VariableNullability variableNullability,
                                                                                        VariableGenerator variableGenerator,
                                                                                        TermFactory termFactory)

Description copied from class: FunctionSymbolImpl

To be overridden when is sometimes but not always injective in the absence of non-injective functional terms

Specified by:

analyzeInjectivity in interface FunctionSymbol

Overrides:

analyzeInjectivity in class FunctionSymbolImpl

pushDownExpression

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

Description copied from interface: DBIfThenFunctionSymbol

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

Specified by:

pushDownExpression in interface DBIfThenFunctionSymbol

Overrides:

pushDownExpression in class AbstractDBIfThenFunctionSymbol