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

Class DefaultDBOrFunctionSymbol

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

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

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

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

All Implemented Interfaces:

BooleanFunctionSymbol, DBBooleanFunctionSymbol, DBFunctionSymbol, DBFunctionSymbolSerializer, DBOrFunctionSymbol, FunctionSymbol, Predicate

public class DefaultDBOrFunctionSymbol
extends AbstractDBBooleanConnectorFunctionSymbol
implements DBOrFunctionSymbol

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	DefaultDBOrFunctionSymbol(String nameInDialect, int arity, DBTermType dbBooleanTermType)

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	buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) NB: terms are assumed to be either TRUE, FALSE, NULL or ImmutableExpressions.
boolean	canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) 1.
static ImmutableTerm	computeNewDisjunction(com.google.common.collect.ImmutableList<ImmutableTerm> evaluatedTerms, TermFactory termFactory) Temporarily public TODO: hide it again
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() When the function symbol is, in the absence of non-injective functional sub-terms, sometimes but not always injective, please override isInjective(...)
ImmutableExpression	negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory) Usually NOT supported when the function symbol blocks negation.
protected com.google.common.collect.ImmutableList<ImmutableTerm>	simplify2VLInteractions(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected com.google.common.collect.ImmutableList<ImmutableTerm>	simplifyInteractions(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) Look at the interaction between disjuncts

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

simplify2VL, simplifyIsNullOrIsNotNull, tolerateNulls, transformIntoRegularArguments

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

inBrackets, isPreferringToBePostProcessedOverBeingBlocked, mayReturnNullWithoutNullArguments

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

enableIfElseNullLifting, inferType, tryToLiftIfThenTerm, tryToLiftMagicNumbers

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

analyzeInjectivity, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, getExpectedBaseType, getExpectedBaseTypes, isAggregation, isDeterministic, isInjective, isNullable, proposeProvenanceVariables, simplify, 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.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

Constructor Detail

DefaultDBOrFunctionSymbol

protected DefaultDBOrFunctionSymbol(String nameInDialect,
                                    int arity,
                                    DBTermType dbBooleanTermType)

Method Detail

simplify2VLInteractions

protected com.google.common.collect.ImmutableList<ImmutableTerm> simplify2VLInteractions(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms,
                                                                                         TermFactory termFactory,
                                                                                         VariableNullability variableNullability)

Specified by:

simplify2VLInteractions in class AbstractDBBooleanConnectorFunctionSymbol

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

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

buildTermAfterEvaluation

protected ImmutableTerm buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms,
                                                 TermFactory termFactory,
                                                 VariableNullability variableNullability)

NB: terms are assumed to be either TRUE, FALSE, NULL or ImmutableExpressions. TODO: check it

Overrides:

buildTermAfterEvaluation in class BooleanFunctionSymbolImpl

computeNewDisjunction

public static ImmutableTerm computeNewDisjunction(com.google.common.collect.ImmutableList<ImmutableTerm> evaluatedTerms,
                                                  TermFactory termFactory)

Temporarily public TODO: hide it again

simplifyInteractions

protected com.google.common.collect.ImmutableList<ImmutableTerm> simplifyInteractions(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms,
                                                                                      TermFactory termFactory,
                                                                                      VariableNullability variableNullability)

Look at the interaction between disjuncts

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

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