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

Interface RDFTermTypeFunctionSymbol

All Superinterfaces:

FunctionSymbol, Predicate

All Known Implementing Classes:

RDFTermTypeFunctionSymbolImpl

public interface RDFTermTypeFunctionSymbol
extends FunctionSymbol

Builds a RDFTermTypeConstant out of a DBConstant

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
com.google.common.collect.ImmutableBiMap<DBConstant,RDFTermTypeConstant>	getConversionMap()
TypeConstantDictionary	getDictionary()
RDFTermTypeFunctionSymbol	getSimplifiableVariant() By default, RDFTermTypeFunctionSymbol cannot be simplified and are therefore not post-processable.
default ImmutableFunctionalTerm	lift(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<RDFTermTypeConstant,? extends ImmutableTerm> caseTermFct, TermFactory termFactory, boolean isBoolean)
ImmutableFunctionalTerm	lift(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<RDFTermTypeConstant,ImmutableTerm> caseTermFct, TermFactory termFactory) Builds a DB CASE functional term with an "entry" for possible DBConstant value.
ImmutableExpression	liftExpression(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<RDFTermTypeConstant,ImmutableExpression> caseExpressionFct, TermFactory termFactory) Builds a boolean DB CASE functional term with an "entry" for possible DBConstant value.

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

Method Detail

getConversionMap

com.google.common.collect.ImmutableBiMap<DBConstant,RDFTermTypeConstant> getConversionMap()

getDictionary

TypeConstantDictionary getDictionary()

lift

ImmutableFunctionalTerm lift(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                             Function<RDFTermTypeConstant,ImmutableTerm> caseTermFct,
                             TermFactory termFactory)

Builds a DB CASE functional term with an "entry" for possible DBConstant value. Returns NULL in the default case

liftExpression

ImmutableExpression liftExpression(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                                   Function<RDFTermTypeConstant,ImmutableExpression> caseExpressionFct,
                                   TermFactory termFactory)

Builds a boolean DB CASE functional term with an "entry" for possible DBConstant value. Returns IS_TRUE(NULL) in the default case

lift

default ImmutableFunctionalTerm lift(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                                     Function<RDFTermTypeConstant,? extends ImmutableTerm> caseTermFct,
                                     TermFactory termFactory,
                                     boolean isBoolean)

getSimplifiableVariant

RDFTermTypeFunctionSymbol getSimplifiableVariant()

By default, RDFTermTypeFunctionSymbol cannot be simplified and are therefore not post-processable. This is needed for lifting them above UNIONs using the standard binding lifting mechanisms. However, RDFTermTypeFunctionSymbol that arrive to the top construction node needs to replaced by "simplifiable" versions so as to be post-processed. Observe that we expect RDFTermTypeFunctionSymbol to either reach the top construction node or to be eliminated, as they cannot be delegated to the DB engine.