it.unibz.inf.ontop.iq.optimizer.impl.lj

Class AbstractJoinTransferLJTransformer

java.lang.Object

it.unibz.inf.ontop.iq.transform.impl.DefaultNonRecursiveIQTreeTransformer

it.unibz.inf.ontop.iq.optimizer.impl.lj.AbstractJoinTransferLJTransformer

All Implemented Interfaces:

IQTreeTransformer, IQTreeVisitingTransformer

Direct Known Subclasses:

CardinalityInsensitiveJoinTransferLJOptimizer.CardinalityInsensitiveTransformer, CardinalitySensitiveJoinTransferLJOptimizer.Transformer

public abstract class AbstractJoinTransferLJTransformer
extends DefaultNonRecursiveIQTreeTransformer

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	AbstractJoinTransferLJTransformer.DataNodeAndReplacement
protected static class	AbstractJoinTransferLJTransformer.RenamingAndEqualities
protected static class	AbstractJoinTransferLJTransformer.ReplaceNodeByTrueTransformer
protected static class	AbstractJoinTransferLJTransformer.SelectedNode

Field Summary

Fields

Modifier and Type	Field and Description
protected OptimizationSingletons	optimizationSingletons
protected RequiredExtensionalDataNodeExtractor	requiredDataNodeExtractor
protected RightProvenanceNormalizer	rightProvenanceNormalizer
protected VariableGenerator	variableGenerator

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractJoinTransferLJTransformer(Supplier<VariableNullability> variableNullabilitySupplier, VariableGenerator variableGenerator, RequiredExtensionalDataNodeExtractor requiredDataNodeExtractor, RightProvenanceNormalizer rightProvenanceNormalizer, OptimizationSingletons optimizationSingletons)

Method Summary

Modifier and Type	Method and Description
protected Stream<ExtensionalDataNode>	extractRightDataNodes(IQTree rightChild) Can be overridden to put restrictions
protected Optional<IQTree>	furtherTransformLeftJoin(LeftJoinNode rootNode, IQTree leftChild, IQTree rightChild) Returns empty if no optimization has been applied
protected VariableNullability	getInheritedVariableNullability()
protected Optional<it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Integer>>	matchForeignKey(ForeignKeyConstraint fk, it.unibz.inf.ontop.com.google.common.collect.ImmutableCollection<ExtensionalDataNode> leftNodes, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> rightArgumentMap)
protected Optional<it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Integer>>	matchFunctionalDependency(FunctionalDependency functionalDependency, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ExtensionalDataNode> sameRelationLeftNodes, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> rightArgumentMap)
protected Optional<it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Integer>>	matchIndexes(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ExtensionalDataNode> sameRelationLeftNodes, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> rightArgumentMap, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Integer> indexes)
protected Optional<it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Integer>>	matchUniqueConstraint(UniqueConstraint uniqueConstraint, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ExtensionalDataNode> sameRelationLeftNodes, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> rightArgumentMap) Matches an unique constraint whose determinants are nullable in the tree
protected IQTree	preTransformLJRightChild(IQTree rightChild) Can be overridden
protected abstract Optional<AbstractJoinTransferLJTransformer.SelectedNode>	selectForTransfer(ExtensionalDataNode rightDataNode, it.unibz.inf.ontop.com.google.common.collect.ImmutableMultimap<RelationDefinition,ExtensionalDataNode> leftMultimap)
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<AbstractJoinTransferLJTransformer.SelectedNode>	selectRightDataNodesToTransfer(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ExtensionalDataNode> leftDataNodes, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ExtensionalDataNode> rightDataNodes)
protected IQTree	transformBinaryNonCommutativeNode(IQTree tree, BinaryNonCommutativeOperatorNode rootNode, IQTree leftChild, IQTree rightChild)
protected IQTree	transformBinaryNonCommutativeNode(IQTree tree, BinaryNonCommutativeOperatorNode rootNode, IQTree leftChild, IQTree rightChild, Function<IQTree,IQTree> childTransformation)
protected abstract IQTree	transformBySearchingFromScratch(IQTree tree)
IQTree	transformDistinct(IQTree tree, DistinctNode rootNode, IQTree child)
IQTree	transformFilter(IQTree tree, FilterNode rootNode, IQTree child)
IQTree	transformInnerJoin(IQTree tree, InnerJoinNode rootNode, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
IQTree	transformLeftJoin(IQTree tree, LeftJoinNode rootNode, IQTree leftChild, IQTree rightChild)
protected IQTree	transformNaryCommutativeNode(IQTree tree, NaryOperatorNode rootNode, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
protected IQTree	transformNaryCommutativeNode(IQTree tree, NaryOperatorNode rootNode, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children, Function<IQTree,IQTree> childTransformation)
IQTree	transformOrderBy(IQTree tree, OrderByNode rootNode, IQTree child)
IQTree	transformSlice(IQTree tree, SliceNode sliceNode, IQTree child)
protected IQTree	transformUnaryNode(IQTree tree, UnaryOperatorNode rootNode, IQTree child)
protected IQTree	transformUnaryNode(IQTree tree, UnaryOperatorNode rootNode, IQTree child, Function<IQTree,IQTree> childTransformation)

Methods inherited from class it.unibz.inf.ontop.iq.transform.impl.DefaultNonRecursiveIQTreeTransformer

transformAggregation, transformConstruction, transformEmpty, transformExtensionalData, transformIntensionalData, transformLeaf, transformNonStandardBinaryNonCommutativeNode, transformNonStandardLeafNode, transformNonStandardNaryNode, transformNonStandardUnaryNode, transformTrue, transformUnion

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface it.unibz.inf.ontop.iq.transform.IQTreeVisitingTransformer

transform

Field Detail

variableGenerator

protected final VariableGenerator variableGenerator

requiredDataNodeExtractor

protected final RequiredExtensionalDataNodeExtractor requiredDataNodeExtractor

rightProvenanceNormalizer

protected final RightProvenanceNormalizer rightProvenanceNormalizer

optimizationSingletons

protected final OptimizationSingletons optimizationSingletons

Constructor Detail

AbstractJoinTransferLJTransformer

protected AbstractJoinTransferLJTransformer(Supplier<VariableNullability> variableNullabilitySupplier,
                                            VariableGenerator variableGenerator,
                                            RequiredExtensionalDataNodeExtractor requiredDataNodeExtractor,
                                            RightProvenanceNormalizer rightProvenanceNormalizer,
                                            OptimizationSingletons optimizationSingletons)

Method Detail

transformLeftJoin

public IQTree transformLeftJoin(IQTree tree,
                                LeftJoinNode rootNode,
                                IQTree leftChild,
                                IQTree rightChild)

Specified by:

transformLeftJoin in interface IQTreeVisitingTransformer

Overrides:

transformLeftJoin in class DefaultNonRecursiveIQTreeTransformer

furtherTransformLeftJoin

protected Optional<IQTree> furtherTransformLeftJoin(LeftJoinNode rootNode,
                                                    IQTree leftChild,
                                                    IQTree rightChild)

Returns empty if no optimization has been applied

selectRightDataNodesToTransfer

protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<AbstractJoinTransferLJTransformer.SelectedNode> selectRightDataNodesToTransfer(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ExtensionalDataNode> leftDataNodes,
                                                                                                                                                   it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ExtensionalDataNode> rightDataNodes)

selectForTransfer

protected abstract Optional<AbstractJoinTransferLJTransformer.SelectedNode> selectForTransfer(ExtensionalDataNode rightDataNode,
                                                                                              it.unibz.inf.ontop.com.google.common.collect.ImmutableMultimap<RelationDefinition,ExtensionalDataNode> leftMultimap)

getInheritedVariableNullability

protected VariableNullability getInheritedVariableNullability()

matchUniqueConstraint

protected Optional<it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Integer>> matchUniqueConstraint(UniqueConstraint uniqueConstraint,
                                                                                                              it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ExtensionalDataNode> sameRelationLeftNodes,
                                                                                                              it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> rightArgumentMap)

Matches an unique constraint whose determinants are nullable in the tree

matchForeignKey

protected Optional<it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Integer>> matchForeignKey(ForeignKeyConstraint fk,
                                                                                                        it.unibz.inf.ontop.com.google.common.collect.ImmutableCollection<ExtensionalDataNode> leftNodes,
                                                                                                        it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> rightArgumentMap)

matchFunctionalDependency

protected Optional<it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Integer>> matchFunctionalDependency(FunctionalDependency functionalDependency,
                                                                                                                  it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ExtensionalDataNode> sameRelationLeftNodes,
                                                                                                                  it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> rightArgumentMap)

matchIndexes

protected Optional<it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Integer>> matchIndexes(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ExtensionalDataNode> sameRelationLeftNodes,
                                                                                                     it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> rightArgumentMap,
                                                                                                     it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Integer> indexes)

extractRightDataNodes

protected Stream<ExtensionalDataNode> extractRightDataNodes(IQTree rightChild)

Can be overridden to put restrictions

transformFilter

public IQTree transformFilter(IQTree tree,
                              FilterNode rootNode,
                              IQTree child)

Specified by:

transformFilter in interface IQTreeVisitingTransformer

Overrides:

transformFilter in class DefaultNonRecursiveIQTreeTransformer

transformDistinct

public IQTree transformDistinct(IQTree tree,
                                DistinctNode rootNode,
                                IQTree child)

Specified by:

transformDistinct in interface IQTreeVisitingTransformer

Overrides:

transformDistinct in class DefaultNonRecursiveIQTreeTransformer

transformSlice

public IQTree transformSlice(IQTree tree,
                             SliceNode sliceNode,
                             IQTree child)

Specified by:

transformSlice in interface IQTreeVisitingTransformer

Overrides:

transformSlice in class DefaultNonRecursiveIQTreeTransformer

transformOrderBy

public IQTree transformOrderBy(IQTree tree,
                               OrderByNode rootNode,
                               IQTree child)

Specified by:

transformOrderBy in interface IQTreeVisitingTransformer

Overrides:

transformOrderBy in class DefaultNonRecursiveIQTreeTransformer

transformInnerJoin

public IQTree transformInnerJoin(IQTree tree,
                                 InnerJoinNode rootNode,
                                 it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)

Specified by:

transformInnerJoin in interface IQTreeVisitingTransformer

Overrides:

transformInnerJoin in class DefaultNonRecursiveIQTreeTransformer

transformUnaryNode

protected IQTree transformUnaryNode(IQTree tree,
                                    UnaryOperatorNode rootNode,
                                    IQTree child)

Overrides:

transformUnaryNode in class DefaultNonRecursiveIQTreeTransformer

transformUnaryNode

protected IQTree transformUnaryNode(IQTree tree,
                                    UnaryOperatorNode rootNode,
                                    IQTree child,
                                    Function<IQTree,IQTree> childTransformation)

transformNaryCommutativeNode

protected IQTree transformNaryCommutativeNode(IQTree tree,
                                              NaryOperatorNode rootNode,
                                              it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)

Overrides:

transformNaryCommutativeNode in class DefaultNonRecursiveIQTreeTransformer

transformNaryCommutativeNode

protected IQTree transformNaryCommutativeNode(IQTree tree,
                                              NaryOperatorNode rootNode,
                                              it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children,
                                              Function<IQTree,IQTree> childTransformation)

transformBinaryNonCommutativeNode

protected IQTree transformBinaryNonCommutativeNode(IQTree tree,
                                                   BinaryNonCommutativeOperatorNode rootNode,
                                                   IQTree leftChild,
                                                   IQTree rightChild)

Overrides:

transformBinaryNonCommutativeNode in class DefaultNonRecursiveIQTreeTransformer

transformBinaryNonCommutativeNode

protected IQTree transformBinaryNonCommutativeNode(IQTree tree,
                                                   BinaryNonCommutativeOperatorNode rootNode,
                                                   IQTree leftChild,
                                                   IQTree rightChild,
                                                   Function<IQTree,IQTree> childTransformation)

transformBySearchingFromScratch

protected abstract IQTree transformBySearchingFromScratch(IQTree tree)

preTransformLJRightChild

protected IQTree preTransformLJRightChild(IQTree rightChild)

Can be overridden