Uses of Interface
it.unibz.inf.ontop.model.term.ImmutableFunctionalTerm.FunctionalTermDecomposition

Packages that use ImmutableFunctionalTerm.FunctionalTermDecomposition

Package	Description
it.unibz.inf.ontop.iq.node.normalization.impl
it.unibz.inf.ontop.model.term
it.unibz.inf.ontop.model.term.functionsymbol
it.unibz.inf.ontop.model.term.functionsymbol.db.impl
it.unibz.inf.ontop.model.term.functionsymbol.impl
it.unibz.inf.ontop.model.term.impl

Uses of ImmutableFunctionalTerm.FunctionalTermDecomposition in it.unibz.inf.ontop.iq.node.normalization.impl

Methods in it.unibz.inf.ontop.iq.node.normalization.impl that return types with arguments of type ImmutableFunctionalTerm.FunctionalTermDecomposition

Modifier and Type	Method and Description
protected Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	AggregationNormalizerImpl.AggregationNormalizationState.decomposeFunctionalTerm(ImmutableFunctionalTerm functionalTerm) Decomposes functional terms so as to lift non-aggregation function symbols above and block the aggregation functional terms

Uses of ImmutableFunctionalTerm.FunctionalTermDecomposition in it.unibz.inf.ontop.model.term

Methods in it.unibz.inf.ontop.model.term that return ImmutableFunctionalTerm.FunctionalTermDecomposition

Modifier and Type	Method and Description
ImmutableFunctionalTerm.FunctionalTermDecomposition	TermFactory.getFunctionalTermDecomposition(ImmutableTerm liftableTerm)
ImmutableFunctionalTerm.FunctionalTermDecomposition	TermFactory.getFunctionalTermDecomposition(ImmutableTerm liftableTerm, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm> subTermSubstitutionMap)

Methods in it.unibz.inf.ontop.model.term that return types with arguments of type ImmutableFunctionalTerm.FunctionalTermDecomposition

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	ImmutableFunctionalTerm.analyzeInjectivity(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator) Returns an empty optional when no decomposition is possible In the decomposition, the liftable term is injective.

Uses of ImmutableFunctionalTerm.FunctionalTermDecomposition in it.unibz.inf.ontop.model.term.functionsymbol

Methods in it.unibz.inf.ontop.model.term.functionsymbol that return ImmutableFunctionalTerm.FunctionalTermDecomposition

Modifier and Type	Method and Description
ImmutableFunctionalTerm.FunctionalTermDecomposition	SPARQLAggregationFunctionSymbol.AggregationSimplification.getDecomposition()

Methods in it.unibz.inf.ontop.model.term.functionsymbol that return types with arguments of type ImmutableFunctionalTerm.FunctionalTermDecomposition

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	FunctionSymbol.analyzeInjectivity(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)

Methods in it.unibz.inf.ontop.model.term.functionsymbol with parameters of type ImmutableFunctionalTerm.FunctionalTermDecomposition

Modifier and Type	Method and Description
static SPARQLAggregationFunctionSymbol.AggregationSimplification	SPARQLAggregationFunctionSymbol.AggregationSimplification.create(ImmutableFunctionalTerm.FunctionalTermDecomposition decomposition)
static SPARQLAggregationFunctionSymbol.AggregationSimplification	SPARQLAggregationFunctionSymbol.AggregationSimplification.create(ImmutableFunctionalTerm.FunctionalTermDecomposition decomposition, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<DefinitionPushDownRequest> pushDownRequests)

Uses of ImmutableFunctionalTerm.FunctionalTermDecomposition in it.unibz.inf.ontop.model.term.functionsymbol.db.impl

Methods in it.unibz.inf.ontop.model.term.functionsymbol.db.impl that return types with arguments of type ImmutableFunctionalTerm.FunctionalTermDecomposition

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	DefaultDBIfElseNullFunctionSymbol.analyzeInjectivity(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	AbstractDBConcatFunctionSymbol.analyzeInjectivity(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)

Uses of ImmutableFunctionalTerm.FunctionalTermDecomposition in it.unibz.inf.ontop.model.term.functionsymbol.impl

Methods in it.unibz.inf.ontop.model.term.functionsymbol.impl that return ImmutableFunctionalTerm.FunctionalTermDecomposition

Modifier and Type	Method and Description
protected ImmutableFunctionalTerm.FunctionalTermDecomposition	FunctionSymbolImpl.decomposeInjectiveTopFunctionalTerm(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory) Only when injectivity of the top function symbol is proved!
ImmutableFunctionalTerm.FunctionalTermDecomposition	AggregationSimplificationImpl.getDecomposition()

Methods in it.unibz.inf.ontop.model.term.functionsymbol.impl that return types with arguments of type ImmutableFunctionalTerm.FunctionalTermDecomposition

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	FunctionSymbolImpl.analyzeInjectivity(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, it.unibz.inf.ontop.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
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	ConcatSPARQLFunctionSymbolImpl.analyzeInjectivity(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)

Constructors in it.unibz.inf.ontop.model.term.functionsymbol.impl with parameters of type ImmutableFunctionalTerm.FunctionalTermDecomposition

Constructor and Description
AggregationSimplificationImpl(ImmutableFunctionalTerm.FunctionalTermDecomposition decomposition, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<DefinitionPushDownRequest> pushDownRequests)

Uses of ImmutableFunctionalTerm.FunctionalTermDecomposition in it.unibz.inf.ontop.model.term.impl

Classes in it.unibz.inf.ontop.model.term.impl that implement ImmutableFunctionalTerm.FunctionalTermDecomposition

Modifier and Type	Class and Description
class	FunctionalTermDecompositionImpl

Methods in it.unibz.inf.ontop.model.term.impl that return ImmutableFunctionalTerm.FunctionalTermDecomposition

Modifier and Type	Method and Description
ImmutableFunctionalTerm.FunctionalTermDecomposition	TermFactoryImpl.getFunctionalTermDecomposition(ImmutableTerm liftableTerm)
ImmutableFunctionalTerm.FunctionalTermDecomposition	TermFactoryImpl.getFunctionalTermDecomposition(ImmutableTerm liftableTerm, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm> subTermSubstitutionMap)

Methods in it.unibz.inf.ontop.model.term.impl that return types with arguments of type ImmutableFunctionalTerm.FunctionalTermDecomposition

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	ImmutableFunctionalTermImpl.analyzeInjectivity(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator)