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

Class AbstractDBBooleanConnectorFunctionSymbol

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

All Implemented Interfaces:

BooleanFunctionSymbol, DBBooleanFunctionSymbol, DBFunctionSymbol, DBFunctionSymbolSerializer, FunctionSymbol, Predicate, Serializable

Direct Known Subclasses:

DefaultDBAndFunctionSymbol, DefaultDBOrFunctionSymbol

public abstract class AbstractDBBooleanConnectorFunctionSymbol
extends DBBooleanFunctionSymbolImpl

For AND, OR, etc.

See Also:

Serialized Form

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

Method Summary

Modifier and Type	Method and Description
ImmutableTerm	simplify2VL(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability) Propagates the info that 2VL can be applied to the sub-expressions.
protected abstract it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm>	simplify2VLInteractions(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm>	simplifyIsNullOrIsNotNull(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability, boolean lookForIsNull) Look for conjuncts that are IS_NULL(...) or disjuncts that are IS_NOT_NULL(...) and uses them to nullify some terms
protected boolean	tolerateNulls() Returns true if is not guaranteed to return NULL when one argument is NULL.
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm>	transformIntoRegularArguments(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments, TermFactory termFactory) Requires its arguments to be expressions

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

buildTermAfterEvaluation, 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, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, isDeterministic, isInjective, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull, tryToLiftMagicNumbers

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

equals, getArity, getName, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

blocksNegation, negate

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

Constructor Detail

AbstractDBBooleanConnectorFunctionSymbol

protected AbstractDBBooleanConnectorFunctionSymbol(String name,
                                                   int arity,
                                                   DBTermType dbBooleanTermType)

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

simplify2VL

public ImmutableTerm simplify2VL(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                                 TermFactory termFactory,
                                 VariableNullability variableNullability)

Propagates the info that 2VL can be applied to the sub-expressions.

simplify2VLInteractions

protected abstract it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> simplify2VLInteractions(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> newTerms,
                                                                                                                     TermFactory termFactory,
                                                                                                                     VariableNullability variableNullability)

transformIntoRegularArguments

protected it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> transformIntoRegularArguments(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments,
                                                                                                                            TermFactory termFactory)

Requires its arguments to be expressions

Overrides:

transformIntoRegularArguments in class FunctionSymbolImpl

simplifyIsNullOrIsNotNull

protected it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> simplifyIsNullOrIsNotNull(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> newTerms,
                                                                                                              TermFactory termFactory,
                                                                                                              VariableNullability variableNullability,
                                                                                                              boolean lookForIsNull)

Look for conjuncts that are IS_NULL(...) or disjuncts that are IS_NOT_NULL(...) and uses them to nullify some terms