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

Class DefaultBooleanDenormFunctionSymbol

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

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

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

All Implemented Interfaces:

BooleanFunctionSymbol, DBBooleanFunctionSymbol, DBFunctionSymbol, DBFunctionSymbolSerializer, DBTypeConversionFunctionSymbol, FunctionSymbol, Predicate

public class DefaultBooleanDenormFunctionSymbol
extends AbstractDBTypeConversionFunctionSymbolImpl
implements DBBooleanFunctionSymbol

Nested Class Summary

Nested classes/interfaces inherited from class it.unibz.inf.ontop.model.term.functionsymbol.db.impl.AbstractDBTypeConversionFunctionSymbolImpl

AbstractDBTypeConversionFunctionSymbolImpl.DBTypeConversionException

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

FunctionSymbol.FunctionalTermNullability

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DefaultBooleanDenormFunctionSymbol(DBTermType booleanType, DBTermType dbStringType)

Method Summary

Modifier and Type	Method and Description
boolean	blocksNegation() Returns TRUE if the NOT operator has to stay ABOVE the expression (i.e.
protected ImmutableTerm	buildTermFromFunctionalTerm(ImmutableFunctionalTerm subTerm, TermFactory termFactory, VariableNullability variableNullability) Default implementation
boolean	canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) 1.
protected DBConstant	convertDBConstant(DBConstant constant, TermFactory termFactory)
Optional<DBTermType>	getInputType()
String	getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Returns a String in the native query language.
boolean	isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms() "0" and "false" are equivalent lexical terms, "1" and "true" are also equivalent
boolean	isSimple() Returns true if does not transform the string representation of the value (i.e.
boolean	isTemporary()
ImmutableExpression	negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory) Usually NOT supported when the function symbol blocks negation.
protected ImmutableFunctionalTerm	transformIntoDBCase(ImmutableTerm subTerm, TermFactory termFactory)

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

buildTermAfterEvaluation

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

getTargetType, inferType, isPreferringToBePostProcessedOverBeingBlocked, mayReturnNullWithoutNullArguments, tolerateNulls

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

analyzeInjectivity, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, enableIfElseNullLifting, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, getExpectedBaseType, getExpectedBaseTypes, isAggregation, 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.BooleanFunctionSymbol

simplify2VL

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

getTargetType

Constructor Detail

DefaultBooleanDenormFunctionSymbol

protected DefaultBooleanDenormFunctionSymbol(DBTermType booleanType,
                                             DBTermType dbStringType)

Method Detail

getInputType

public Optional<DBTermType> getInputType()

Specified by:

getInputType in interface DBTypeConversionFunctionSymbol

isTemporary

public boolean isTemporary()

Specified by:

isTemporary in interface DBTypeConversionFunctionSymbol

isSimple

public boolean isSimple()

Description copied from interface: DBTypeConversionFunctionSymbol

Returns true if does not transform the string representation of the value (i.e. no normalization). Useful for simplifying nested casts ( A-to-B(B-to-A(x)) === x if both casts are simple)

Specified by:

isSimple in interface DBTypeConversionFunctionSymbol

isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms

public boolean isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms()

"0" and "false" are equivalent lexical terms, "1" and "true" are also equivalent

Specified by:

isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms in class FunctionSymbolImpl

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

convertDBConstant

protected DBConstant convertDBConstant(DBConstant constant,
                                       TermFactory termFactory)

Specified by:

convertDBConstant in class AbstractDBTypeConversionFunctionSymbolImpl

buildTermFromFunctionalTerm

protected ImmutableTerm buildTermFromFunctionalTerm(ImmutableFunctionalTerm subTerm,
                                                    TermFactory termFactory,
                                                    VariableNullability variableNullability)

Description copied from class: AbstractDBTypeConversionFunctionSymbolImpl

Default implementation

Overrides:

buildTermFromFunctionalTerm in class AbstractDBTypeConversionFunctionSymbolImpl

blocksNegation

public boolean blocksNegation()

Description copied from interface: BooleanFunctionSymbol

Returns TRUE if the NOT operator has to stay ABOVE the expression (i.e. cannot lead to a change in the operator or cannot be delegated to sub-expressions)

Specified by:

blocksNegation in interface BooleanFunctionSymbol

negate

public ImmutableExpression negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms,
                                  TermFactory termFactory)

Description copied from interface: BooleanFunctionSymbol

Usually NOT supported when the function symbol blocks negation. Please use ImmutableExpression.negate() instead.

Specified by:

negate in interface BooleanFunctionSymbol

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

transformIntoDBCase

protected ImmutableFunctionalTerm transformIntoDBCase(ImmutableTerm subTerm,
                                                      TermFactory termFactory)