A B C D E F G H I J L M N O P Q R S T U V

A

AbstractDiscardedVariablesTransformer - Class in it.unibz.inf.ontop.iq.optimizer.impl

TODO: find a better name IMPORTANT: Assumes that cardinality does matter for the current tree

AbstractDiscardedVariablesTransformer(ImmutableSet<Variable>, IQTreeTransformer, CoreSingletons) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.AbstractDiscardedVariablesTransformer

AbstractIntensionalQueryMerger - Class in it.unibz.inf.ontop.iq.optimizer.impl

AbstractIntensionalQueryMerger(IntermediateQueryFactory) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.AbstractIntensionalQueryMerger

AbstractIntensionalQueryMerger.QueryMergingTransformer - Class in it.unibz.inf.ontop.iq.optimizer.impl

Replaces intensional data nodes by an IQTree Does NOT look for intensional data nodes inside the definitions

AbstractOntopOptimizationBuilderMixin() - Constructor for class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl.AbstractOntopOptimizationBuilderMixin

AbstractSelfJoinSimplifier<C extends FunctionalDependency> - Class in it.unibz.inf.ontop.iq.optimizer.impl

AbstractSelfJoinSimplifier(CoreSingletons) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier

AbstractSelfJoinSimplifier.DeterminantGroupEvaluation - Class in it.unibz.inf.ontop.iq.optimizer.impl

AbstractSelfJoinSimplifier.NormalizationBeforeUnification - Class in it.unibz.inf.ontop.iq.optimizer.impl

AbstractSelfJoinSimplifier.OptimizationState - Class in it.unibz.inf.ontop.iq.optimizer.impl

If extensional data nodes are empty, insert an EmptyNode

AggregationSimplifier - Interface in it.unibz.inf.ontop.iq.optimizer

Replaces type-sensitive SPARQL aggregation functional terms (e.g.

AggregationSimplifierImpl - Class in it.unibz.inf.ontop.iq.optimizer.impl

AggregationSimplifierImpl.AggregationSimplifyingTransformer - Class in it.unibz.inf.ontop.iq.optimizer.impl

Recursive

AggregationSimplifyingTransformer(VariableGenerator, OptimizationSingletons) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.AggregationSimplifierImpl.AggregationSimplifyingTransformer

AlreadyExistingPredicateException - Exception in it.unibz.inf.ontop.iq.executor.renaming

When the predicate is already used in the intermediate query (in a construction node or in a data node)

AlreadyExistingPredicateException(String) - Constructor for exception it.unibz.inf.ontop.iq.executor.renaming.AlreadyExistingPredicateException

analyze(ImmutableSet<Variable>, ImmutableList<ExtensionalDataNode>, ExtensionalDataNode, VariableGenerator, VariableNullability) - Method in interface it.unibz.inf.ontop.iq.executor.leftjoin.LeftJoinRightChildNormalizationAnalyzer

NB: VariableNullability is at the level of the LJ tree

analyze(ImmutableSet<Variable>, ImmutableList<ExtensionalDataNode>, ExtensionalDataNode, VariableGenerator, VariableNullability) - Method in class it.unibz.inf.ontop.iq.executor.leftjoin.LeftJoinRightChildNormalizationAnalyzerImpl

apply(ConstructionNodeCleaningProposal, IntermediateQuery, QueryTreeComponent) - Method in class it.unibz.inf.ontop.iq.executor.construction.impl.ConstructionNodeCleaningExecutorImpl

apply(P, IntermediateQuery, QueryTreeComponent) - Method in class it.unibz.inf.ontop.iq.executor.InternalCompositeExecutor

apply(InnerJoinOptimizationProposal, IntermediateQuery, QueryTreeComponent) - Method in class it.unibz.inf.ontop.iq.executor.join.RedundantJoinFKExecutor

apply(InnerJoinOptimizationProposal, IntermediateQuery, QueryTreeComponent) - Method in class it.unibz.inf.ontop.iq.executor.join.RedundantSelfJoinExecutor

apply(LeftJoinOptimizationProposal, IntermediateQuery, QueryTreeComponent) - Method in class it.unibz.inf.ontop.iq.executor.leftjoin.LeftToInnerJoinExecutor

apply(ProjectionShrinkingProposal, IntermediateQuery, QueryTreeComponent) - Method in class it.unibz.inf.ontop.iq.executor.projection.ProjectionShrinkingExecutorImpl

apply(SubstitutionPropagationProposal<N>, IntermediateQuery, QueryTreeComponent) - Method in class it.unibz.inf.ontop.iq.executor.substitution.IQBasedSubstitutionPropagationExecutor

apply(FlattenUnionProposal, IntermediateQuery, QueryTreeComponent) - Method in class it.unibz.inf.ontop.iq.executor.union.impl.FlattenUnionExecutorImpl

Replace the child subtrees of the focus node

apply(UnionLiftProposal, IntermediateQuery, QueryTreeComponent) - Method in class it.unibz.inf.ontop.iq.executor.union.impl.UnionLiftExecutorImpl

AtomUnificationException() - Constructor for exception it.unibz.inf.ontop.iq.executor.join.SelfJoinLikeExecutor.AtomUnificationException

AvoidJoinAboveUnionPlanner - Class in it.unibz.inf.ontop.iq.planner.impl

When an UNION appears as a child of an inner join, looks for other siblings that could be "pushed under the union".

AvoidJoinAboveUnionPlanner(GeneralStructuralAndSemanticIQOptimizer, AvoidJoinAboveUnionPlanner.AvoidJoinAboveUnionTransformer, IntermediateQueryFactory) - Constructor for class it.unibz.inf.ontop.iq.planner.impl.AvoidJoinAboveUnionPlanner

AvoidJoinAboveUnionPlanner.AvoidJoinAboveUnionTransformer - Class in it.unibz.inf.ontop.iq.planner.impl

AvoidJoinAboveUnionTransformer(IntermediateQueryFactory) - Constructor for class it.unibz.inf.ontop.iq.planner.impl.AvoidJoinAboveUnionPlanner.AvoidJoinAboveUnionTransformer

B

BasicJoinMutableOptimizer - Class in it.unibz.inf.ontop.iq.optimizer.impl

TODO: explain Top-down exploration.

BasicLeftJoinMutableOptimizer - Class in it.unibz.inf.ontop.iq.optimizer.impl

BindingLiftOptimizer - Interface in it.unibz.inf.ontop.iq.optimizer

Deprecated.

blockDefinition(IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefinitionPushDownTransformerImpl

BooleanExpressionPushDownTransformer - Interface in it.unibz.inf.ontop.iq.transformer

Pushes down the expression as much as possible without creating new sub-queries (e.g.

BooleanExpressionPushDownTransformerImpl - Class in it.unibz.inf.ontop.iq.transformer.impl

BooleanExpressionPushDownTransformerImpl(CoreSingletons) - Constructor for class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPushDownTransformerImpl

BooleanExpressionPusher - Class in it.unibz.inf.ontop.iq.transformer.impl

Tries to push down the expression given.

BooleanExpressionPusher(ImmutableExpression, CoreSingletons) - Constructor for class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

BottomUpUnionAndBindingLiftOptimizer - Class in it.unibz.inf.ontop.iq.optimizer.impl

TODO: explicit assumptions

build() - Method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl.BuilderImpl

build() - Method in interface it.unibz.inf.ontop.injection.OntopOptimizationConfiguration.Builder

BuilderImpl() - Constructor for class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl.BuilderImpl

buildGuiceModules() - Method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl

To be overloaded

C

ChildDefinitionLift(IQTree, ImmutableSet<Variable>, ImmutableTerm) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.ChildDefinitionLift

ComparatorSimplification(OrderByNode.OrderComparator, DefinitionPushDownRequest) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl.ComparatorSimplification

ComparatorSimplification(OrderByNode.OrderComparator) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl.ComparatorSimplification

computeDBTerm(ImmutableTerm, RDFTermType, IQTree) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl.OrderBySimplifyingTransformer

ConcreteProposal(Optional<ImmutableSubstitution<VariableOrGroundTerm>>, Optional<ImmutableExpression>) - Constructor for class it.unibz.inf.ontop.iq.executor.join.SelfJoinLikeExecutor.ConcreteProposal

configure() - Method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationModule

ConstructionNodeCleaningExecutor - Interface in it.unibz.inf.ontop.iq.executor.construction

ConstructionNodeCleaningExecutorImpl - Class in it.unibz.inf.ontop.iq.executor.construction.impl

TODO: should we keep it since query modifiers were removed from the construction node?

ConstructionNodeCleaningProposal - Interface in it.unibz.inf.ontop.iq.proposal

ConstructionNodeCleaningProposalImpl - Class in it.unibz.inf.ontop.iq.proposal.impl

ConstructionNodeCleaningProposalImpl(ConstructionNode, QueryNode, boolean) - Constructor for class it.unibz.inf.ontop.iq.proposal.impl.ConstructionNodeCleaningProposalImpl

coreSingletons - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractDiscardedVariablesTransformer

createConcreteProposal(ImmutableList<SelfJoinLikeExecutor.PredicateLevelProposal>, ImmutableMultimap<RelationDefinition, ExtensionalDataNode>, ImmutableList<Variable>) - Method in class it.unibz.inf.ontop.iq.executor.join.RedundantSelfJoinExecutor

createDefinitionPushDownTransformer(DefinitionPushDownRequest) - Method in interface it.unibz.inf.ontop.injection.OptimizerFactory

createEETransformer(VariableGenerator) - Method in interface it.unibz.inf.ontop.injection.OptimizerFactory

createNewProposal(R) - Method in class it.unibz.inf.ontop.iq.executor.InternalCompositeExecutor

createNewProposal(R) - Method in class it.unibz.inf.ontop.iq.executor.NodeCentricCompositeExecutor

createNewProposalFromFocusNode(InnerJoinNode) - Method in class it.unibz.inf.ontop.iq.executor.join.JoinCompositeExecutor

createNewProposalFromFocusNode(LeftJoinNode) - Method in class it.unibz.inf.ontop.iq.executor.leftjoin.LeftJoinCompositeExecutor

createNewProposalFromFocusNode(N) - Method in class it.unibz.inf.ontop.iq.executor.NodeCentricCompositeExecutor

createRDFTermTypeConstantTransformer(VariableGenerator) - Method in interface it.unibz.inf.ontop.injection.OptimizerFactory

createTransformer(ImmutableSet<Variable>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractIntensionalQueryMerger

createTransformer(VariableGenerator) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AggregationSimplifierImpl

createTransformer(VariableGenerator) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl

createTransformer(VariableGenerator) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl

TODO: refactor IQTreeVisitingTransformer so as avoid to create fresh transformers

D

dataNodes - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier.DeterminantGroupEvaluation

dataNodes - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier.NormalizationBeforeUnification

defaultBuilder() - Static method in interface it.unibz.inf.ontop.injection.OntopOptimizationConfiguration

Default builder

DefaultCompositeInnerJoinIQOptimizer - Class in it.unibz.inf.ontop.iq.optimizer.impl

DefaultCompositeLeftJoinIQOptimizer - Class in it.unibz.inf.ontop.iq.optimizer.impl

DefaultCompositeLeftJoinIQOptimizer() - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.DefaultCompositeLeftJoinIQOptimizer

DefaultOntopOptimizationBuilderFragment() - Constructor for class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl.DefaultOntopOptimizationBuilderFragment

For sub-classes ONLY!

DefaultOntopOptimizationBuilderFragment(B) - Constructor for class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl.DefaultOntopOptimizationBuilderFragment

When not inheriting

DefaultTermTypeTermVisitingTreeTransformer - Class in it.unibz.inf.ontop.iq.transformer.impl

Lifts meta term type definitions are blocked by unions.

DefaultTermTypeTermVisitingTreeTransformer(VariableGenerator, TermFactory, IntermediateQueryFactory, TypeConstantDictionary, SubstitutionFactory, FunctionSymbolFactory) - Constructor for class it.unibz.inf.ontop.iq.transformer.impl.DefaultTermTypeTermVisitingTreeTransformer

DefinitionPushDownTransformer - Interface in it.unibz.inf.ontop.iq.transformer

Pushes down in the tree a new definition (for a new variable) until: 1.

DefinitionPushDownTransformerImpl - Class in it.unibz.inf.ontop.iq.transformer.impl

DefinitionPushDownTransformerImpl(DefinitionPushDownRequest, IntermediateQueryFactory, OptimizerFactory, SubstitutionFactory, TermFactory) - Constructor for class it.unibz.inf.ontop.iq.transformer.impl.DefinitionPushDownTransformerImpl

deleteConstructionNodeChain() - Method in interface it.unibz.inf.ontop.iq.proposal.ConstructionNodeCleaningProposal

deleteConstructionNodeChain() - Method in class it.unibz.inf.ontop.iq.proposal.impl.ConstructionNodeCleaningProposalImpl

DeterminantGroupEvaluation(ImmutableSet<ImmutableExpression>, ImmutableList<ExtensionalDataNode>, ImmutableSubstitution<VariableOrGroundTerm>) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier.DeterminantGroupEvaluation

DummyQueryPlanner - Class in it.unibz.inf.ontop.iq.planner.impl

DummyQueryPlanner() - Constructor for class it.unibz.inf.ontop.iq.planner.impl.DummyQueryPlanner

E

enableTestMode() - Method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl.AbstractOntopOptimizationBuilderMixin

equalities - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier.NormalizationBeforeUnification

evaluateDeterminantGroup(ImmutableList<VariableOrGroundTerm>, Collection<ExtensionalDataNode>, C) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier

evaluateDeterminantGroup(ImmutableList<VariableOrGroundTerm>, Collection<ExtensionalDataNode>, UniqueConstraint) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.SelfJoinUCIQOptimizerImpl.SelfJoinUCSimplifier

evaluateNode(QueryNode, IntermediateQuery) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.BasicJoinMutableOptimizer

evaluateNode(QueryNode, IntermediateQuery) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.BasicLeftJoinMutableOptimizer

evaluateNode(QueryNode, IntermediateQuery) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.NodeCentricDepthFirstOptimizer

ExplicitEqualityTransformer - Interface in it.unibz.inf.ontop.iq.transformer

ExplicitEqualityTransformerImpl - Class in it.unibz.inf.ontop.iq.transformer.impl

ExplicitEqualityTransformerImpl(VariableGenerator, IntermediateQueryFactory, AtomFactory, TermFactory, SubstitutionFactory) - Constructor for class it.unibz.inf.ontop.iq.transformer.impl.ExplicitEqualityTransformerImpl

expressions - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier.DeterminantGroupEvaluation

extensionalDataNodes - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier.OptimizationState

extractBooleanExpressionsFromJoins(InnerJoinNode, IntermediateQuery) - Static method in class it.unibz.inf.ontop.iq.executor.join.JoinExtractionUtils

Deprecated.

extractConstraints(RelationDefinition) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier

extractConstraints(RelationDefinition) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.SelfJoinUCIQOptimizerImpl.SelfJoinUCSimplifier

extractDataNodes(ImmutableList<QueryNode>) - Static method in class it.unibz.inf.ontop.iq.executor.join.SelfJoinLikeExecutor

extractFilterAndInnerJoinNodes(InnerJoinNode, IntermediateQuery) - Static method in class it.unibz.inf.ontop.iq.executor.join.JoinExtractionUtils

TODO: find a better name TODO: explain

extractFoldAndOptimizeBooleanExpressions(ImmutableList<JoinOrFilterNode>) - Method in class it.unibz.inf.ontop.iq.executor.join.JoinExtractionUtils

TODO: explain

extractNonInnerJoinOrFilterNodesFromJoins(InnerJoinNode, IntermediateQuery) - Static method in class it.unibz.inf.ontop.iq.executor.join.JoinExtractionUtils

Deprecated.

extractPossibleTypes(ImmutableTerm, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.RDFTypeDependentSimplifyingTransformer

extractPushableSiblings(NaryIQTree, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.planner.impl.AvoidJoinAboveUnionPlanner.AvoidJoinAboveUnionTransformer

Criteria for selecting siblings: must be leaf and must naturally join (i.e.

extractRDFTermTypeTerm(ImmutableTerm) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AggregationSimplifierImpl.AggregationSimplifyingTransformer

extractSubstitutions(ImmutableCollection<SelfJoinLikeExecutor.PredicateLevelProposal>) - Method in class it.unibz.inf.ontop.iq.executor.join.SelfJoinLikeExecutor

extractType(Variable, ImmutableList<PostProcessableFunctionLifterImpl.ChildDefinitionLift>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.LiftState

F

FixedPointJoinLikeOptimizer - Class in it.unibz.inf.ontop.iq.optimizer.impl

FlattenUnionExecutor - Interface in it.unibz.inf.ontop.iq.executor.union

FlattenUnionExecutorImpl - Class in it.unibz.inf.ontop.iq.executor.union.impl

FlattenUnionProposal - Interface in it.unibz.inf.ontop.iq.proposal

FlattenUnionProposalImpl - Class in it.unibz.inf.ontop.iq.proposal.impl

FlattenUnionProposalImpl(UnionNode, ImmutableSet<QueryNode>) - Constructor for class it.unibz.inf.ontop.iq.proposal.impl.FlattenUnionProposalImpl

foldBooleanExpressions(ImmutableList<ImmutableExpression>) - Method in class it.unibz.inf.ontop.iq.executor.join.JoinExtractionUtils

FunctionalDependencyUnificationExecutor - Class in it.unibz.inf.ontop.iq.executor.join

Focuses on functional dependencies that are not unique constraints.

FunctionLifterTransformer(VariableGenerator, OptimizationSingletons) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.FunctionLifterTransformer

furtherSimplifyInnerJoinChildren(ImmutableList<ImmutableSet<Variable>>, Optional<ImmutableExpression>, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractDiscardedVariablesTransformer

Takes in account the interaction between children Returns empty() if no further optimization has been applied

furtherSimplifyInnerJoinChildren(ImmutableList<ImmutableSet<Variable>>, Optional<ImmutableExpression>, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.SelfJoinSameTermIQOptimizerImpl.SameTermSelfJoinTransformer

TODO: explain Only removes some children that are extensional data nodes

G

GeneralStructuralAndSemanticIQOptimizer - Interface in it.unibz.inf.ontop.iq.optimizer

Performs all the structural and semantic optimizations TODO: find a better name

GeneralStructuralAndSemanticIQOptimizerImpl - Class in it.unibz.inf.ontop.iq.optimizer.impl

generateOntopOptimizationConfigurationOptions() - Method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl.AbstractOntopOptimizationBuilderMixin

generateOptimizationConfigurationMap() - Method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl

Can be overloaded by sub-classes

generateOptimizationOptions(OntopModelConfigurationImpl.OntopModelConfigurationOptions) - Method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl.DefaultOntopOptimizationBuilderFragment

generateProperties() - Method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl.AbstractOntopOptimizationBuilderMixin

generateProperties() - Method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl.DefaultOntopOptimizationBuilderFragment

generateTree(IntermediateQueryFactory) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.LiftState

getAdditionalExpression() - Method in interface it.unibz.inf.ontop.iq.executor.leftjoin.LeftJoinRightChildNormalizationAnalyzer.LeftJoinRightChildNormalizationAnalysis

getAdditionalExpression() - Method in class it.unibz.inf.ontop.iq.executor.leftjoin.LeftJoinRightChildNormalizationAnalyzerImpl.LeftJoinRightChildNormalizationAnalysisImpl

getChildren() - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.LiftState

getChildSubtreeRoot() - Method in interface it.unibz.inf.ontop.iq.proposal.ConstructionNodeCleaningProposal

getChildSubtreeRoot() - Method in class it.unibz.inf.ontop.iq.proposal.impl.ConstructionNodeCleaningProposalImpl

getCoreSingletons() - Method in class it.unibz.inf.ontop.injection.impl.OptimizationSingletonsImpl

getCoreSingletons() - Method in interface it.unibz.inf.ontop.injection.OptimizationSingletons

getDefinition(IntensionalDataNode) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractIntensionalQueryMerger.QueryMergingTransformer

getDepthFirstNextNode(IntermediateQuery, QueryNode) - Static method in class it.unibz.inf.ontop.iq.optimizer.impl.QueryNodeNavigationTools

Depth-first exploration

getExecutors() - Method in class it.unibz.inf.ontop.iq.executor.InternalCompositeExecutor

getExecutors() - Method in class it.unibz.inf.ontop.iq.executor.join.JoinCompositeExecutor

getExecutors() - Method in class it.unibz.inf.ontop.iq.executor.leftjoin.LeftJoinCompositeExecutor

getExecutors() - Method in class it.unibz.inf.ontop.iq.executor.NodeCentricCompositeExecutor

getExecutors() - Method in class it.unibz.inf.ontop.iq.executor.SimpleNodeCentricCompositeExecutor

getExpressionProviderReplacingNodes() - Method in class it.unibz.inf.ontop.iq.proposal.impl.PushUpBooleanExpressionResultsImpl

getExpressionProviderReplacingNodes() - Method in interface it.unibz.inf.ontop.iq.proposal.PushUpBooleanExpressionResults

All replacement nodes for the nodes initially providing the expression propagated up.

getFocusNode() - Method in class it.unibz.inf.ontop.iq.proposal.impl.ConstructionNodeCleaningProposalImpl

getFocusNode() - Method in class it.unibz.inf.ontop.iq.proposal.impl.FlattenUnionProposalImpl

getFocusNode() - Method in class it.unibz.inf.ontop.iq.proposal.impl.InnerJoinOptimizationProposalImpl

getFocusNode() - Method in class it.unibz.inf.ontop.iq.proposal.impl.LeftJoinOptimizationProposalImpl

getFocusNode() - Method in class it.unibz.inf.ontop.iq.proposal.impl.ProjectionShrinkingProposalImpl

getFocusNode() - Method in class it.unibz.inf.ontop.iq.proposal.impl.SubstitutionPropagationProposalImpl

getFocusNode() - Method in class it.unibz.inf.ontop.iq.proposal.impl.UnionLiftProposalImpl

getFocusNode() - Method in interface it.unibz.inf.ontop.iq.proposal.NodeCentricOptimizationProposal

getFreshlyCreatedVariables() - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.ChildDefinitionLift

getIsNotNullConjunction() - Method in class it.unibz.inf.ontop.iq.executor.join.SelfJoinLikeExecutor.PredicateLevelProposal

getLiftedDefinition() - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.ChildDefinitionLift

getMaxNbChildrenForLiftingDBFunctionSymbol() - Method in interface it.unibz.inf.ontop.injection.OntopOptimizationSettings

getModelOptions() - Method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl.OntopOptimizationOptions

getNewNodeOrReplacingChild() - Method in class it.unibz.inf.ontop.iq.proposal.impl.NodeCentricOptimizationResultsImpl

getNewNodeOrReplacingChild() - Method in interface it.unibz.inf.ontop.iq.proposal.NodeCentricOptimizationResults

getNextNodeAndQuery(IntermediateQuery, NodeCentricOptimizationResults<? extends QueryNode>) - Static method in class it.unibz.inf.ontop.iq.optimizer.impl.QueryNodeNavigationTools

Finds the next node to visit in a new intermediate query

getNextQuery() - Method in class it.unibz.inf.ontop.iq.optimizer.impl.QueryNodeNavigationTools.NextNodeAndQuery

getOptimizerFactory() - Method in class it.unibz.inf.ontop.injection.impl.OptimizationSingletonsImpl

getOptimizerFactory() - Method in interface it.unibz.inf.ontop.injection.OptimizationSingletons

TODO: shall we keep it?

getOptionalClosestAncestor() - Method in class it.unibz.inf.ontop.iq.proposal.impl.NodeCentricOptimizationResultsImpl

Is usually the parent but may be another ancestor in case of delete cascading.

getOptionalClosestAncestor() - Method in interface it.unibz.inf.ontop.iq.proposal.NodeCentricOptimizationResults

TODO: explain

getOptionalIsNotNullExpression() - Method in class it.unibz.inf.ontop.iq.executor.join.SelfJoinLikeExecutor.ConcreteProposal

getOptionalNewNode() - Method in class it.unibz.inf.ontop.iq.proposal.impl.NodeCentricOptimizationResultsImpl

getOptionalNewNode() - Method in interface it.unibz.inf.ontop.iq.proposal.NodeCentricOptimizationResults

TODO: explain

getOptionalNextNode() - Method in class it.unibz.inf.ontop.iq.optimizer.impl.QueryNodeNavigationTools.NextNodeAndQuery

getOptionalNextSibling() - Method in class it.unibz.inf.ontop.iq.proposal.impl.NodeCentricOptimizationResultsImpl

Is or was (if the node has been deleted) a sibling.

getOptionalNextSibling() - Method in interface it.unibz.inf.ontop.iq.proposal.NodeCentricOptimizationResults

TODO: explain

getOptionalReplacingChild() - Method in class it.unibz.inf.ontop.iq.proposal.impl.NodeCentricOptimizationResultsImpl

getOptionalReplacingChild() - Method in interface it.unibz.inf.ontop.iq.proposal.NodeCentricOptimizationResults

When the focus node is officially replaced by one of its children

getOptionalSubstitution() - Method in class it.unibz.inf.ontop.iq.executor.join.SelfJoinLikeExecutor.ConcreteProposal

getPartiallyPaddedChild() - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.ChildDefinitionLift

getProposedRightDataNode() - Method in interface it.unibz.inf.ontop.iq.executor.leftjoin.LeftJoinRightChildNormalizationAnalyzer.LeftJoinRightChildNormalizationAnalysis

Only if the data node has changed

getProposedRightDataNode() - Method in class it.unibz.inf.ontop.iq.executor.leftjoin.LeftJoinRightChildNormalizationAnalyzerImpl.LeftJoinRightChildNormalizationAnalysisImpl

getRequiredExtensionalDataNodeExtractor() - Method in class it.unibz.inf.ontop.injection.impl.OptimizationSingletonsImpl

getRequiredExtensionalDataNodeExtractor() - Method in interface it.unibz.inf.ontop.injection.OptimizationSingletons

getResultingQuery() - Method in class it.unibz.inf.ontop.iq.proposal.impl.PushUpBooleanExpressionResultsImpl

getResultingQuery() - Method in interface it.unibz.inf.ontop.iq.proposal.PushUpBooleanExpressionResults

getRetainedVariables() - Method in class it.unibz.inf.ontop.iq.proposal.impl.ProjectionShrinkingProposalImpl

getRetainedVariables() - Method in interface it.unibz.inf.ontop.iq.proposal.ProjectionShrinkingProposal

getSettings() - Method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl

getSettings() - Method in class it.unibz.inf.ontop.injection.impl.OptimizationSingletonsImpl

getSettings() - Method in interface it.unibz.inf.ontop.injection.OntopOptimizationConfiguration

getSettings() - Method in interface it.unibz.inf.ontop.injection.OptimizationSingletons

getSubqueryRoots() - Method in interface it.unibz.inf.ontop.iq.proposal.FlattenUnionProposal

getSubqueryRoots() - Method in class it.unibz.inf.ontop.iq.proposal.impl.FlattenUnionProposalImpl

getSubstitution() - Method in class it.unibz.inf.ontop.iq.proposal.impl.SubstitutionPropagationProposalImpl

getSubstitution() - Method in interface it.unibz.inf.ontop.iq.proposal.SubstitutionPropagationProposal

getSubstitutions() - Method in class it.unibz.inf.ontop.iq.executor.join.SelfJoinLikeExecutor.PredicateLevelProposal

getTargetNode() - Method in class it.unibz.inf.ontop.iq.proposal.impl.UnionLiftProposalImpl

getTargetNode() - Method in interface it.unibz.inf.ontop.iq.proposal.UnionLiftProposal

The Union has to be lift just above this target node

getUnionBasedQueryMerger() - Method in class it.unibz.inf.ontop.injection.impl.OptimizationSingletonsImpl

getUnionBasedQueryMerger() - Method in interface it.unibz.inf.ontop.injection.OptimizationSingletons

getUnionVariables() - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.LiftState

H

handleIntensionalWithoutDefinition(IntensionalDataNode) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractIntensionalQueryMerger.QueryMergingTransformer

I

InnerJoinExecutor - Interface in it.unibz.inf.ontop.iq.executor.join

InnerJoinIQOptimizer - Interface in it.unibz.inf.ontop.iq.optimizer

InnerJoinMutableOptimizer - Interface in it.unibz.inf.ontop.iq.optimizer

InnerJoinOptimizationProposal - Interface in it.unibz.inf.ontop.iq.proposal

TODO: explain TODO: describe precisely which join node we are considering

InnerJoinOptimizationProposalImpl - Class in it.unibz.inf.ontop.iq.proposal.impl

InnerJoinOptimizationProposalImpl(InnerJoinNode) - Constructor for class it.unibz.inf.ontop.iq.proposal.impl.InnerJoinOptimizationProposalImpl

IntermediateQueryOptimizer - Interface in it.unibz.inf.ontop.iq.optimizer

TODO: explain TODO: should we create two sub-interfaces: GeneralOptimizer and GoalOrientedOptimizer? For the moment, we expect the Optimizer to be general, not goal-oriented.

InternalCompositeExecutor<P extends QueryOptimizationProposal<R>,R extends ProposalResults> - Class in it.unibz.inf.ontop.iq.executor

TODO: explain

InternalCompositeExecutor() - Constructor for class it.unibz.inf.ontop.iq.executor.InternalCompositeExecutor

IQBasedSubstitutionPropagationExecutor<N extends QueryNode> - Class in it.unibz.inf.ontop.iq.executor.substitution

TEMPORARY CODE! Substitution propagation executor for the transition from mutable Intermediate Queries to immutable IQs.

iqFactory - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractIntensionalQueryMerger

iqFactory - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier

IQOptimizer - Interface in it.unibz.inf.ontop.iq.optimizer

isMatchingAConstraint() - Method in interface it.unibz.inf.ontop.iq.executor.leftjoin.LeftJoinRightChildNormalizationAnalyzer.LeftJoinRightChildNormalizationAnalysis

Returns true if its matches a non-nullable unique constraint or a foreign key

isMatchingAConstraint() - Method in class it.unibz.inf.ontop.iq.executor.leftjoin.LeftJoinRightChildNormalizationAnalyzerImpl.LeftJoinRightChildNormalizationAnalysisImpl

isRDFFunctionalTerm(ImmutableTerm) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AggregationSimplifierImpl.AggregationSimplifyingTransformer

isVariableUsedSomewhereElse(IntermediateQuery, QueryNode, Variable) - Method in class it.unibz.inf.ontop.iq.tools.impl.NaiveVariableOccurrenceAnalyzerImpl

isVariableUsedSomewhereElse(IntermediateQuery, QueryNode, Variable) - Method in interface it.unibz.inf.ontop.iq.tools.VariableOccurrenceAnalyzer

it.unibz.inf.ontop.datalog - package it.unibz.inf.ontop.datalog

it.unibz.inf.ontop.datalog.impl - package it.unibz.inf.ontop.datalog.impl

it.unibz.inf.ontop.injection - package it.unibz.inf.ontop.injection

it.unibz.inf.ontop.injection.impl - package it.unibz.inf.ontop.injection.impl

it.unibz.inf.ontop.iq.executor - package it.unibz.inf.ontop.iq.executor

it.unibz.inf.ontop.iq.executor.construction - package it.unibz.inf.ontop.iq.executor.construction

it.unibz.inf.ontop.iq.executor.construction.impl - package it.unibz.inf.ontop.iq.executor.construction.impl

it.unibz.inf.ontop.iq.executor.join - package it.unibz.inf.ontop.iq.executor.join

it.unibz.inf.ontop.iq.executor.leftjoin - package it.unibz.inf.ontop.iq.executor.leftjoin

it.unibz.inf.ontop.iq.executor.projection - package it.unibz.inf.ontop.iq.executor.projection

it.unibz.inf.ontop.iq.executor.renaming - package it.unibz.inf.ontop.iq.executor.renaming

it.unibz.inf.ontop.iq.executor.substitution - package it.unibz.inf.ontop.iq.executor.substitution

it.unibz.inf.ontop.iq.executor.union - package it.unibz.inf.ontop.iq.executor.union

it.unibz.inf.ontop.iq.executor.union.impl - package it.unibz.inf.ontop.iq.executor.union.impl

it.unibz.inf.ontop.iq.optimizer - package it.unibz.inf.ontop.iq.optimizer

it.unibz.inf.ontop.iq.optimizer.impl - package it.unibz.inf.ontop.iq.optimizer.impl

it.unibz.inf.ontop.iq.planner - package it.unibz.inf.ontop.iq.planner

it.unibz.inf.ontop.iq.planner.impl - package it.unibz.inf.ontop.iq.planner.impl

it.unibz.inf.ontop.iq.proposal - package it.unibz.inf.ontop.iq.proposal

it.unibz.inf.ontop.iq.proposal.impl - package it.unibz.inf.ontop.iq.proposal.impl

it.unibz.inf.ontop.iq.tools - package it.unibz.inf.ontop.iq.tools

it.unibz.inf.ontop.iq.tools.impl - package it.unibz.inf.ontop.iq.tools.impl

it.unibz.inf.ontop.iq.transformer - package it.unibz.inf.ontop.iq.transformer

it.unibz.inf.ontop.iq.transformer.impl - package it.unibz.inf.ontop.iq.transformer.impl

it.unibz.inf.ontop.iq.visitor - package it.unibz.inf.ontop.iq.visitor

it.unibz.inf.ontop.iq.visitor.impl - package it.unibz.inf.ontop.iq.visitor.impl

J

JoinCompositeExecutor - Class in it.unibz.inf.ontop.iq.executor.join

TODO: explain

JoinExtractionUtils - Class in it.unibz.inf.ontop.iq.executor.join

TODO: describe

JoinExtractionUtils.UnsatisfiableExpressionException - Exception in it.unibz.inf.ontop.iq.executor.join

TODO: explain

JoinLikeOptimizer - Interface in it.unibz.inf.ontop.iq.optimizer

L

LeftJoinCompositeExecutor - Class in it.unibz.inf.ontop.iq.executor.leftjoin

TODO: explain

LeftJoinExecutor - Interface in it.unibz.inf.ontop.iq.executor.leftjoin

LeftJoinIQOptimizer - Interface in it.unibz.inf.ontop.iq.optimizer

LeftJoinMutableOptimizer - Interface in it.unibz.inf.ontop.iq.optimizer

LeftJoinOptimizationProposal - Interface in it.unibz.inf.ontop.iq.proposal

TODO: explain

LeftJoinOptimizationProposalImpl - Class in it.unibz.inf.ontop.iq.proposal.impl

LeftJoinOptimizationProposalImpl(LeftJoinNode) - Constructor for class it.unibz.inf.ontop.iq.proposal.impl.LeftJoinOptimizationProposalImpl

LeftJoinRightChildNormalizationAnalyzer - Interface in it.unibz.inf.ontop.iq.executor.leftjoin

TODO: explain Does not propose to change the left data node.

LeftJoinRightChildNormalizationAnalyzer.LeftJoinRightChildNormalizationAnalysis - Interface in it.unibz.inf.ontop.iq.executor.leftjoin

LeftJoinRightChildNormalizationAnalyzerImpl - Class in it.unibz.inf.ontop.iq.executor.leftjoin

LeftJoinRightChildNormalizationAnalyzerImpl.LeftJoinRightChildNormalizationAnalysisImpl - Class in it.unibz.inf.ontop.iq.executor.leftjoin

LeftToInnerJoinExecutor - Class in it.unibz.inf.ontop.iq.executor.leftjoin

Tries to transform the left join into a inner join node TODO: describe them TODO: explicit the assumptions

LegacyBindingLiftOptimizer - Class in it.unibz.inf.ontop.iq.optimizer.impl

lift(PostProcessableFunctionLifterImpl.LiftState) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.FunctionLifterTransformer

lift(IQ) - Method in class it.unibz.inf.ontop.iq.planner.impl.AvoidJoinAboveUnionPlanner

liftDefinition(IQTree, int, Variable, ImmutableSet<Variable>, Variable) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.LiftState

LiftState(ImmutableList<IQTree>, ImmutableSet<Variable>, VariableGenerator, CoreSingletons) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.LiftState

Initial constructor

LiftState(ImmutableList<IQTree>, ImmutableSet<Variable>, ImmutableList<ConstructionNode>, Variable, VariableGenerator, CoreSingletons) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.LiftState

liftVariable(Variable) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.LiftState

loadDefaultOptimizationProperties() - Static method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationSettingsImpl

LOOPING_BOUND - Static variable in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.FunctionLifterTransformer

M

MAX_NB_CHILDREN_LIFTING_DB_FS - Static variable in interface it.unibz.inf.ontop.injection.OntopOptimizationSettings

mergeDefinitions(Variable, ImmutableList<PostProcessableFunctionLifterImpl.ChildDefinitionLift>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.LiftState

mergeDefinitions(Collection<IQ>) - Method in class it.unibz.inf.ontop.iq.tools.impl.UnionBasedQueryMergerImpl

mergeDefinitions(Collection<IQ>) - Method in interface it.unibz.inf.ontop.iq.tools.UnionBasedQueryMerger

mergeSubstitutions(ImmutableList<ImmutableSubstitution<VariableOrGroundTerm>>, ImmutableMultimap<RelationDefinition, ExtensionalDataNode>, ImmutableList<Variable>) - Method in class it.unibz.inf.ontop.iq.executor.join.SelfJoinLikeExecutor

N

NaiveVariableOccurrenceAnalyzerImpl - Class in it.unibz.inf.ontop.iq.tools.impl

Naive implementation: goes over all the nodes of the query TODO: should ignore variable occurrences in other branches of an union

NaiveVariableOccurrenceAnalyzerImpl() - Constructor for class it.unibz.inf.ontop.iq.tools.impl.NaiveVariableOccurrenceAnalyzerImpl

newComparator - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl.ComparatorSimplification

newExpressions - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier.OptimizationState

NextNodeAndQuery(Optional<QueryNode>, IntermediateQuery) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.QueryNodeNavigationTools.NextNodeAndQuery

NodeCentricCompositeExecutor<N extends QueryNode,R extends NodeCentricOptimizationResults<N>,P extends NodeCentricOptimizationProposal<N,R>> - Class in it.unibz.inf.ontop.iq.executor

TODO: explain

NodeCentricCompositeExecutor() - Constructor for class it.unibz.inf.ontop.iq.executor.NodeCentricCompositeExecutor

NodeCentricDepthFirstOptimizer<P extends SimpleNodeCentricOptimizationProposal<? extends QueryNode>> - Class in it.unibz.inf.ontop.iq.optimizer.impl

Optimizer that evaluates the QueryNode-s one by one in a Depth-First order.

NodeCentricDepthFirstOptimizer(boolean) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.NodeCentricDepthFirstOptimizer

NodeCentricExecutor<N extends QueryNode,R extends NodeCentricOptimizationResults<N>,P extends NodeCentricOptimizationProposal<N,R>> - Interface in it.unibz.inf.ontop.iq.executor

TODO: explain

NodeCentricOptimizationProposal<N extends QueryNode,R extends NodeCentricOptimizationResults<N>> - Interface in it.unibz.inf.ontop.iq.proposal

NodeCentricOptimizationResults<N extends QueryNode> - Interface in it.unibz.inf.ontop.iq.proposal

TODO: explain

NodeCentricOptimizationResultsImpl<N extends QueryNode> - Class in it.unibz.inf.ontop.iq.proposal.impl

NodeCentricOptimizationResultsImpl(IntermediateQuery, N) - Constructor for class it.unibz.inf.ontop.iq.proposal.impl.NodeCentricOptimizationResultsImpl

NodeCentricOptimizationResultsImpl(IntermediateQuery, Optional<QueryNode>, Optional<QueryNode>) - Constructor for class it.unibz.inf.ontop.iq.proposal.impl.NodeCentricOptimizationResultsImpl

When the focus node has been removed and not declared as being replaced by its first child.

NodeCentricOptimizationResultsImpl(IntermediateQuery, Optional<QueryNode>) - Constructor for class it.unibz.inf.ontop.iq.proposal.impl.NodeCentricOptimizationResultsImpl

The replacing child IS NOT OPTIONAL (Optional is here just to avoid confusion with other constructors).

nonLexicallyOrderedDatatypes - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl.OrderBySimplifyingTransformer

NormalizationBeforeUnification(Collection<ExtensionalDataNode>, ImmutableSet<ImmutableExpression>) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier.NormalizationBeforeUnification

normalizeDataNodes(Collection<ExtensionalDataNode>, UniqueConstraint) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier

TODO: we don't need to remove the functional terms for the determinants

O

OntopOptimizationConfiguration - Interface in it.unibz.inf.ontop.injection

OntopOptimizationConfiguration.Builder<B extends OntopOptimizationConfiguration.Builder<B>> - Interface in it.unibz.inf.ontop.injection

OntopOptimizationConfiguration.OntopOptimizationBuilderFragment<B extends OntopOptimizationConfiguration.Builder<B>> - Interface in it.unibz.inf.ontop.injection

TODO: add some configuration methods for end-users

OntopOptimizationConfigurationImpl - Class in it.unibz.inf.ontop.injection.impl

OntopOptimizationConfigurationImpl(OntopOptimizationSettings, OntopOptimizationConfigurationImpl.OntopOptimizationOptions) - Constructor for class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl

OntopOptimizationConfigurationImpl.AbstractOntopOptimizationBuilderMixin<B extends OntopOptimizationConfiguration.Builder<B>> - Class in it.unibz.inf.ontop.injection.impl

OntopOptimizationConfigurationImpl.BuilderImpl<B extends OntopOptimizationConfiguration.Builder<B>> - Class in it.unibz.inf.ontop.injection.impl

OntopOptimizationConfigurationImpl.DefaultOntopOptimizationBuilderFragment<B extends OntopOptimizationConfiguration.Builder<B>> - Class in it.unibz.inf.ontop.injection.impl

OntopOptimizationConfigurationImpl.OntopOptimizationOptions - Class in it.unibz.inf.ontop.injection.impl

OntopOptimizationModule - Class in it.unibz.inf.ontop.injection.impl

OntopOptimizationModule(OntopOptimizationConfiguration) - Constructor for class it.unibz.inf.ontop.injection.impl.OntopOptimizationModule

OntopOptimizationSettings - Interface in it.unibz.inf.ontop.injection

OntopOptimizationSettingsImpl - Class in it.unibz.inf.ontop.injection.impl

OntopOptimizationSettingsImpl(Properties) - Constructor for class it.unibz.inf.ontop.injection.impl.OntopOptimizationSettingsImpl

Beware: immutable class!

OptimizationSingletons - Interface in it.unibz.inf.ontop.injection

Helper for the ontop-optimization module See CoreSingletons for the motivation

optimizationSingletons - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.FunctionLifterTransformer

optimizationSingletons - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl

OptimizationSingletonsImpl - Class in it.unibz.inf.ontop.injection.impl

OptimizationSingletonsImpl(OptimizerFactory, CoreSingletons, UnionBasedQueryMerger, RequiredExtensionalDataNodeExtractor, OntopOptimizationSettings) - Constructor for class it.unibz.inf.ontop.injection.impl.OptimizationSingletonsImpl

OptimizationState(ImmutableSet<ImmutableExpression>, Collection<ExtensionalDataNode>, ImmutableSubstitution<VariableOrGroundTerm>) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier.OptimizationState

optimize(IQ) - Method in class it.unibz.inf.ontop.datalog.impl.UnionFlattenerImpl

TODO: why a fix point?

optimize(IQTree, VariableGenerator) - Method in class it.unibz.inf.ontop.datalog.impl.UnionFlattenerImpl

optimize(IQ) - Method in interface it.unibz.inf.ontop.datalog.UnionFlattener

optimize(IQTree, VariableGenerator) - Method in interface it.unibz.inf.ontop.datalog.UnionFlattener

optimize(IQ, ExecutorRegistry) - Method in interface it.unibz.inf.ontop.iq.optimizer.GeneralStructuralAndSemanticIQOptimizer

TODO: get rid of the executor registry and inherit IQOptimizer

optimize(IQ) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractIntensionalQueryMerger

optimize(IQ) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AggregationSimplifierImpl

optimize(IQ) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.BottomUpUnionAndBindingLiftOptimizer

optimize(IQ) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.DefaultCompositeInnerJoinIQOptimizer

optimize(IQ) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.DefaultCompositeLeftJoinIQOptimizer

TODO: enrich

optimize(IQ, ExecutorRegistry) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.FixedPointJoinLikeOptimizer

Combines IQ optimizations and "mutable" optimizations

optimize(IQ, ExecutorRegistry) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.GeneralStructuralAndSemanticIQOptimizerImpl

optimize(IntermediateQuery) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.LegacyBindingLiftOptimizer

optimize(IntermediateQuery) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.NodeCentricDepthFirstOptimizer

optimize(IQ) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl

optimize(IQ) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl

optimize(IQ) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.SelfJoinSameTermIQOptimizerImpl

optimize(IQ) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.SelfJoinUCIQOptimizerImpl

optimize(IQ) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.TermTypeTermLifterImpl

optimize(IntermediateQuery) - Method in interface it.unibz.inf.ontop.iq.optimizer.IntermediateQueryOptimizer

TODO: explain

optimize(IQ) - Method in interface it.unibz.inf.ontop.iq.optimizer.IQOptimizer

optimize(IQ, ExecutorRegistry) - Method in interface it.unibz.inf.ontop.iq.optimizer.JoinLikeOptimizer

optimize(IQ, ExecutorRegistry) - Method in class it.unibz.inf.ontop.iq.planner.impl.AvoidJoinAboveUnionPlanner

Tries to push down some inner joins under some unions.

optimize(IQ, ExecutorRegistry) - Method in class it.unibz.inf.ontop.iq.planner.impl.DummyQueryPlanner

optimize(IQ, ExecutorRegistry) - Method in interface it.unibz.inf.ontop.iq.planner.QueryPlanner

TODO: get rid of the executor registry and inherit IQOptimizer

optimizeExtensionalDataNodes(RelationDefinition, Collection<ExtensionalDataNode>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier

optimizeQuery(IntermediateQuery) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.NodeCentricDepthFirstOptimizer

OptimizerFactory - Interface in it.unibz.inf.ontop.injection

Accessible through Guice (recommended) or through OptimizationSingletons.

OrderBySimplifier - Interface in it.unibz.inf.ontop.iq.optimizer

Replaces RDF(...) terms by DB ones in the ORDER BY conditions

OrderBySimplifierImpl - Class in it.unibz.inf.ontop.iq.optimizer.impl

OrderBySimplifierImpl(OptimizationSingletons, IntermediateQueryFactory) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl

OrderBySimplifierImpl.ComparatorSimplification - Class in it.unibz.inf.ontop.iq.optimizer.impl

OrderBySimplifierImpl.OrderBySimplifyingTransformer - Class in it.unibz.inf.ontop.iq.optimizer.impl

OrderBySimplifyingTransformer(VariableGenerator, OptimizationSingletons) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl.OrderBySimplifyingTransformer

P

padChild(IQTree, ImmutableMap<Variable, Optional<DBTermType>>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.LiftState

PostProcessableFunctionLifter - Interface in it.unibz.inf.ontop.iq.optimizer

Lifts certain functional terms that are blocked by a UNION: - non DBFunctionSymbols (e.g.

PostProcessableFunctionLifterImpl - Class in it.unibz.inf.ontop.iq.optimizer.impl

PostProcessableFunctionLifterImpl(OptimizationSingletons, IntermediateQueryFactory) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl

PostProcessableFunctionLifterImpl.ChildDefinitionLift - Class in it.unibz.inf.ontop.iq.optimizer.impl

PostProcessableFunctionLifterImpl.FunctionLifterTransformer - Class in it.unibz.inf.ontop.iq.optimizer.impl

PostProcessableFunctionLifterImpl.LiftState - Class in it.unibz.inf.ontop.iq.optimizer.impl

PredicateLevelProposal(ImmutableCollection<ImmutableSubstitution<VariableOrGroundTerm>>, Optional<ImmutableExpression>) - Constructor for class it.unibz.inf.ontop.iq.executor.join.SelfJoinLikeExecutor.PredicateLevelProposal

prioritizeVariables(IntermediateQuery, JoinLikeNode) - Method in class it.unibz.inf.ontop.iq.executor.join.SelfJoinLikeExecutor

TODO: implement seriously

ProjectionShrinkingExecutor - Interface in it.unibz.inf.ontop.iq.executor.projection

ProjectionShrinkingExecutorImpl - Class in it.unibz.inf.ontop.iq.executor.projection

ProjectionShrinkingProposal - Interface in it.unibz.inf.ontop.iq.proposal

ProjectionShrinkingProposalImpl - Class in it.unibz.inf.ontop.iq.proposal.impl

ProjectionShrinkingProposalImpl(ExplicitVariableProjectionNode, ImmutableSet<Variable>) - Constructor for class it.unibz.inf.ontop.iq.proposal.impl.ProjectionShrinkingProposalImpl

properties(Properties) - Method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl.AbstractOntopOptimizationBuilderMixin

propertyFile(File) - Method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl.AbstractOntopOptimizationBuilderMixin

propertyFile(String) - Method in class it.unibz.inf.ontop.injection.impl.OntopOptimizationConfigurationImpl.AbstractOntopOptimizationBuilderMixin

proposePerPredicate(InnerJoinNode, ImmutableCollection<ExtensionalDataNode>, RelationDefinition, ImmutableList<Variable>, IntermediateQuery) - Method in class it.unibz.inf.ontop.iq.executor.join.FunctionalDependencyUnificationExecutor

proposePerPredicate(InnerJoinNode, ImmutableCollection<ExtensionalDataNode>, RelationDefinition, ImmutableList<Variable>, IntermediateQuery) - Method in class it.unibz.inf.ontop.iq.executor.join.RedundantSelfJoinExecutor

pushDownDefinitions(IQTree, Stream<DefinitionPushDownRequest>) - Method in class it.unibz.inf.ontop.iq.transformer.impl.RDFTypeDependentSimplifyingTransformer

Pushes down definitions emerging from the simplification of the order comparators

PushUpBooleanExpressionResults - Interface in it.unibz.inf.ontop.iq.proposal

PushUpBooleanExpressionResultsImpl - Class in it.unibz.inf.ontop.iq.proposal.impl

PushUpBooleanExpressionResultsImpl(ImmutableSet<QueryNode>, IntermediateQuery) - Constructor for class it.unibz.inf.ontop.iq.proposal.impl.PushUpBooleanExpressionResultsImpl

Q

QueryMergingTransformer(VariableGenerator, IntermediateQueryFactory, SubstitutionFactory, QueryTransformerFactory) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.AbstractIntensionalQueryMerger.QueryMergingTransformer

QueryNodeNavigationTools - Class in it.unibz.inf.ontop.iq.optimizer.impl

QueryNodeNavigationTools() - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.QueryNodeNavigationTools

QueryNodeNavigationTools.NextNodeAndQuery - Class in it.unibz.inf.ontop.iq.optimizer.impl

Next node and updated query

QueryPlanner - Interface in it.unibz.inf.ontop.iq.planner

By contrast to structural and semantic optimizations, the query planner can explore decisions that "it might regret afterwards" in isolated branches.

R

RDFTypeDependentSimplifyingTransformer - Class in it.unibz.inf.ontop.iq.transformer.impl

TODO: find a better name

RDFTypeDependentSimplifyingTransformer(OptimizationSingletons) - Constructor for class it.unibz.inf.ontop.iq.transformer.impl.RDFTypeDependentSimplifyingTransformer

RedundantJoinFKExecutor - Class in it.unibz.inf.ontop.iq.executor.join

Use foreign keys to remove some redundant inner joins Normalization assumption: variables are reused between data nodes (no explicit equality between variables)

RedundantSelfJoinExecutor - Class in it.unibz.inf.ontop.iq.executor.join

TODO: explain Assumption: clean inner join structure (an inner join does not have another inner join or filter node as a child).

RedundantSelfJoinExecutor(IntermediateQueryFactory, ImmutableUnificationTools, TermFactory) - Constructor for class it.unibz.inf.ontop.iq.executor.join.RedundantSelfJoinExecutor

request - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl.ComparatorSimplification

RequiredExtensionalDataNodeExtractor - Interface in it.unibz.inf.ontop.iq.visitor

Looks for extensional data nodes that are required to provide tuples.

RequiredExtensionalDataNodeExtractorImpl - Class in it.unibz.inf.ontop.iq.visitor.impl

RequiredExtensionalDataNodeExtractorImpl() - Constructor for class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

S

SameTermSelfJoinTransformer(ImmutableSet<Variable>, IQTreeTransformer, OptimizationSingletons) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.SelfJoinSameTermIQOptimizerImpl.SameTermSelfJoinTransformer

selectVariableToLift(ImmutableSet<Variable>, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.FunctionLifterTransformer

SelfJoinLikeExecutor - Class in it.unibz.inf.ontop.iq.executor.join

SelfJoinLikeExecutor(ImmutableUnificationTools, TermFactory) - Constructor for class it.unibz.inf.ontop.iq.executor.join.SelfJoinLikeExecutor

SelfJoinLikeExecutor.AtomUnificationException - Exception in it.unibz.inf.ontop.iq.executor.join

TODO: explain TODO: find valid cases

SelfJoinLikeExecutor.ConcreteProposal - Class in it.unibz.inf.ontop.iq.executor.join

TODO: explain

SelfJoinLikeExecutor.PredicateLevelProposal - Class in it.unibz.inf.ontop.iq.executor.join

TODO: explain

SelfJoinSameTermIQOptimizer - Interface in it.unibz.inf.ontop.iq.optimizer

SelfJoinSameTermIQOptimizerImpl - Class in it.unibz.inf.ontop.iq.optimizer.impl

SelfJoinSameTermIQOptimizerImpl(OptimizationSingletons, IntermediateQueryFactory) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.SelfJoinSameTermIQOptimizerImpl

SelfJoinSameTermIQOptimizerImpl.SameTermSelfJoinTransformer - Class in it.unibz.inf.ontop.iq.optimizer.impl

TODO: explain

SelfJoinUCIQOptimizer - Interface in it.unibz.inf.ontop.iq.optimizer

SelfJoinUCIQOptimizerImpl - Class in it.unibz.inf.ontop.iq.optimizer.impl

SelfJoinUCIQOptimizerImpl(IntermediateQueryFactory, SelfJoinUCIQOptimizerImpl.SelfJoinUCTransformer) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.SelfJoinUCIQOptimizerImpl

SelfJoinUCIQOptimizerImpl.SelfJoinUCSimplifier - Class in it.unibz.inf.ontop.iq.optimizer.impl

SelfJoinUCSimplifier(CoreSingletons) - Constructor for class it.unibz.inf.ontop.iq.optimizer.impl.SelfJoinUCIQOptimizerImpl.SelfJoinUCSimplifier

shouldBeLifted(Variable, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.FunctionLifterTransformer

shouldBeLifted(ImmutableFunctionalTerm, int) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.FunctionLifterTransformer

Recursive

SimpleNodeCentricCompositeExecutor<N extends QueryNode,P extends SimpleNodeCentricOptimizationProposal<N>> - Class in it.unibz.inf.ontop.iq.executor

SimpleNodeCentricCompositeExecutor() - Constructor for class it.unibz.inf.ontop.iq.executor.SimpleNodeCentricCompositeExecutor

SimpleNodeCentricExecutor<N extends QueryNode,P extends SimpleNodeCentricOptimizationProposal<N>> - Interface in it.unibz.inf.ontop.iq.executor

SimpleNodeCentricOptimizationProposal<N extends QueryNode> - Interface in it.unibz.inf.ontop.iq.proposal

For proposals that do not return results of a sub-interface of NodeCentricOptimizationResults

simplifyAggregationFunctionalTerm(ImmutableFunctionalTerm, IQTree, boolean) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AggregationSimplifierImpl.AggregationSimplifyingTransformer

simplifyComparator(OrderByNode.OrderComparator, IQTree) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl.OrderBySimplifyingTransformer

simplifyRDFTerm(ImmutableTerm, ImmutableTerm, IQTree, boolean) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl.OrderBySimplifyingTransformer

skipSubTreeAndContinueDepthFirst(IntermediateQuery, QueryNode) - Static method in class it.unibz.inf.ontop.iq.optimizer.impl.QueryNodeNavigationTools

step(PostProcessableFunctionLifterImpl.LiftState) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.FunctionLifterTransformer

substitution - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier.DeterminantGroupEvaluation

substitution - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier.OptimizationState

substitutionFactory - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier

SubstitutionPropagationExecutor<N extends QueryNode> - Interface in it.unibz.inf.ontop.iq.executor.substitution

SubstitutionPropagationProposal<T extends QueryNode> - Interface in it.unibz.inf.ontop.iq.proposal

Proposal to apply a substitution to a focus node and to propagate it down and up.

SubstitutionPropagationProposalImpl<T extends QueryNode> - Class in it.unibz.inf.ontop.iq.proposal.impl

SubstitutionPropagationProposalImpl(T, ImmutableSubstitution<? extends ImmutableTerm>) - Constructor for class it.unibz.inf.ontop.iq.proposal.impl.SubstitutionPropagationProposalImpl

SubstitutionPropagationProposalImpl(T, ImmutableSubstitution<? extends ImmutableTerm>, boolean) - Constructor for class it.unibz.inf.ontop.iq.proposal.impl.SubstitutionPropagationProposalImpl

T

termFactory - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier

termFactory - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl.OrderBySimplifyingTransformer

TermTypeTermLifter - Interface in it.unibz.inf.ontop.iq.optimizer

Makes sure that terms with a MetaTermType only appears in the top construction node

TermTypeTermLifterImpl - Class in it.unibz.inf.ontop.iq.optimizer.impl

TermTypeTermLiftTransformer - Interface in it.unibz.inf.ontop.iq.transformer

Makes sure that terms with a MetaTermType only appears in the top construction node

toString() - Method in class it.unibz.inf.ontop.iq.proposal.impl.SubstitutionPropagationProposalImpl

transform(IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefaultTermTypeTermVisitingTreeTransformer

transform(IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.ExplicitEqualityTransformerImpl

transformAggregation(IQTree, AggregationNode, IQTree) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AggregationSimplifierImpl.AggregationSimplifyingTransformer

transformAggregation(IQTree, AggregationNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefaultTermTypeTermVisitingTreeTransformer

transformAggregation(IQTree, AggregationNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefinitionPushDownTransformerImpl

TODO: understand when the definition does not have to be blocked

transformBinaryNonCommutativeNode(IQTree, BinaryNonCommutativeOperatorNode, IQTree, IQTree) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractDiscardedVariablesTransformer

By default, switch back to the "LookForDistinctTransformer"

transformBinaryNonCommutativeNode(IQTree, BinaryNonCommutativeOperatorNode, IQTree, IQTree) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.FunctionLifterTransformer

transformBinaryNonCommutativeNode(IQTree, BinaryNonCommutativeOperatorNode, IQTree, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefaultTermTypeTermVisitingTreeTransformer

transformConstruction(IQTree, ConstructionNode, IQTree) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractDiscardedVariablesTransformer

NB: For the sake of simplicity, does not "take into account" (i.e.

transformConstruction(IQTree, ConstructionNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefinitionPushDownTransformerImpl

transformDistinct(IQTree, DistinctNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefaultTermTypeTermVisitingTreeTransformer

transformDistinct(IQTree, DistinctNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefinitionPushDownTransformerImpl

TODO: stop blocking systematically

transformFilter(IQTree, FilterNode, IQTree) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractDiscardedVariablesTransformer

transformFilter(IQTree, FilterNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPushDownTransformerImpl

transformInnerJoin(IQTree, InnerJoinNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractDiscardedVariablesTransformer

transformInnerJoin(InnerJoinNode, ImmutableList<IQTree>, ImmutableSet<Variable>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier

transformInnerJoin(IQTree, InnerJoinNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.planner.impl.AvoidJoinAboveUnionPlanner.AvoidJoinAboveUnionTransformer

transformInnerJoin(IQTree, InnerJoinNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPushDownTransformerImpl

transformInnerJoin(IQTree, InnerJoinNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefinitionPushDownTransformerImpl

transformIntensionalData(IntensionalDataNode) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractIntensionalQueryMerger.QueryMergingTransformer

transformLeaf(LeafIQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefaultTermTypeTermVisitingTreeTransformer

transformLeaf(LeafIQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefinitionPushDownTransformerImpl

transformLeftJoin(IQTree, LeftJoinNode, IQTree, IQTree) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractDiscardedVariablesTransformer

transformLeftJoin(IQTree, LeftJoinNode, IQTree, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPushDownTransformerImpl

Tries to push the left join condition on the right

transformLeftJoin(IQTree, LeftJoinNode, IQTree, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefinitionPushDownTransformerImpl

transformNaryCommutativeNode(IQTree, NaryOperatorNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractDiscardedVariablesTransformer

By default, switch back to the "LookForDistinctTransformer"

transformNaryCommutativeNode(IQTree, NaryOperatorNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.FunctionLifterTransformer

transformNaryCommutativeNode(IQTree, NaryOperatorNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefaultTermTypeTermVisitingTreeTransformer

transformNonStandardBinaryNonCommutativeNode(IQTree, BinaryNonCommutativeOperatorNode, IQTree, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefinitionPushDownTransformerImpl

transformNonStandardNaryNode(IQTree, NaryOperatorNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefinitionPushDownTransformerImpl

transformNonStandardUnaryNode(IQTree, UnaryOperatorNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefinitionPushDownTransformerImpl

Blocks by default

transformOrderBy(IQTree, OrderByNode, IQTree) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractDiscardedVariablesTransformer

transformOrderBy(IQTree, OrderByNode, IQTree) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl.OrderBySimplifyingTransformer

transformSlice(IQTree, SliceNode, IQTree) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractDiscardedVariablesTransformer

transformUnaryNode(IQTree, UnaryOperatorNode, IQTree) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractDiscardedVariablesTransformer

By default, switch back to the "LookForDistinctTransformer"

transformUnaryNode(IQTree, UnaryOperatorNode, IQTree) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.FunctionLifterTransformer

transformUnaryNode(IQTree, UnaryOperatorNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefaultTermTypeTermVisitingTreeTransformer

transformUnion(IQTree, UnionNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractDiscardedVariablesTransformer

transformUnion(IQTree, UnionNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.FunctionLifterTransformer

transformUnion(IQTree, UnionNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefaultTermTypeTermVisitingTreeTransformer

transformUnion(IQTree, UnionNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.transformer.impl.DefinitionPushDownTransformerImpl

typeFactory - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl.OrderBySimplifyingTransformer

U

unificationTools - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier

unifyDataNodes(Stream<ExtensionalDataNode>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier

UnionAndBindingLiftOptimizer - Interface in it.unibz.inf.ontop.iq.optimizer

Lifts bindings and unions

UnionBasedQueryMerger - Interface in it.unibz.inf.ontop.iq.tools

Accessible through Guice (recommended) or through OptimizationSingletons.

UnionBasedQueryMergerImpl - Class in it.unibz.inf.ontop.iq.tools.impl

UnionFlattener - Interface in it.unibz.inf.ontop.datalog

UnionFlattenerImpl - Class in it.unibz.inf.ontop.datalog.impl

Lifts unions above projections, until a fixed point is reached.

UnionLiftExecutor - Interface in it.unibz.inf.ontop.iq.executor.union

UnionLiftExecutorImpl - Class in it.unibz.inf.ontop.iq.executor.union.impl

TODO: explain

UnionLiftProposal - Interface in it.unibz.inf.ontop.iq.proposal

UnionLiftProposalImpl - Class in it.unibz.inf.ontop.iq.proposal.impl

UnionLiftProposalImpl(UnionNode, QueryNode) - Constructor for class it.unibz.inf.ontop.iq.proposal.impl.UnionLiftProposalImpl

UnsatisfiableExpressionException() - Constructor for exception it.unibz.inf.ontop.iq.executor.join.JoinExtractionUtils.UnsatisfiableExpressionException

unwrapIfElseNull(ImmutableTerm) - Method in class it.unibz.inf.ontop.iq.transformer.impl.RDFTypeDependentSimplifyingTransformer

update(ImmutableSet<Variable>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.AbstractDiscardedVariablesTransformer

update(ImmutableSet<Variable>) - Method in class it.unibz.inf.ontop.iq.optimizer.impl.SelfJoinSameTermIQOptimizerImpl.SameTermSelfJoinTransformer

updateJoinNodeAndPropagateSubstitution(IntermediateQuery, QueryTreeComponent, N, SelfJoinLikeExecutor.ConcreteProposal) - Method in class it.unibz.inf.ontop.iq.executor.join.SelfJoinLikeExecutor

V

variableGenerator - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.OrderBySimplifierImpl.OrderBySimplifyingTransformer

variableGenerator - Variable in class it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.FunctionLifterTransformer

VariableOccurrenceAnalyzer - Interface in it.unibz.inf.ontop.iq.tools

TODO: explain

visitAggregation(AggregationNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

visitAggregation(AggregationNode, IQTree) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

Blocks

visitConstruction(ConstructionNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

visitConstruction(ConstructionNode, IQTree) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

visitDistinct(DistinctNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

visitDistinct(DistinctNode, IQTree) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

visitEmpty(EmptyNode) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

visitEmpty(EmptyNode) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

visitExtensionalData(ExtensionalDataNode) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

visitExtensionalData(ExtensionalDataNode) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

visitFilter(FilterNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

NB: focuses on the expressionToPushDown, NOT on pushing down its own expression

visitFilter(FilterNode, IQTree) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

visitInnerJoin(InnerJoinNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

visitInnerJoin(InnerJoinNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

visitIntensionalData(IntensionalDataNode) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

visitIntensionalData(IntensionalDataNode) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

visitLeftJoin(LeftJoinNode, IQTree, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

Only pushes on the left TODO: consider pushing on the right safe expressions

visitLeftJoin(LeftJoinNode, IQTree, IQTree) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

Only considers the left child

visitNative(NativeNode) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

visitNative(NativeNode) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

visitNonStandardBinaryNonCommutativeNode(BinaryNonCommutativeOperatorNode, IQTree, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

Blocks by default

visitNonStandardBinaryNonCommutativeNode(BinaryNonCommutativeOperatorNode, IQTree, IQTree) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

Blocks by default

visitNonStandardLeafNode(LeafIQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

visitNonStandardLeafNode(LeafIQTree) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

visitNonStandardNaryNode(NaryOperatorNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

Blocks by default

visitNonStandardNaryNode(NaryOperatorNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

Blocks by default

visitNonStandardUnaryNode(UnaryOperatorNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

Blocks by default

visitNonStandardUnaryNode(UnaryOperatorNode, IQTree) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

Blocks by default

visitOrderBy(OrderByNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

visitOrderBy(OrderByNode, IQTree) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

visitPassingUnaryNode(UnaryOperatorNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

visitSlice(SliceNode, IQTree) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

The slice blocks

visitSlice(SliceNode, IQTree) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

visitTrue(TrueNode) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

visitTrue(TrueNode) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

visitUnion(UnionNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.transformer.impl.BooleanExpressionPusher

visitUnion(UnionNode, ImmutableList<IQTree>) - Method in class it.unibz.inf.ontop.iq.visitor.impl.RequiredExtensionalDataNodeExtractorImpl

TODO: try to extract some common data nodes

A B C D E F G H I J L M N O P Q R S T U V