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

Class AbstractDiscardedVariablesTransformer

java.lang.Object

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

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

All Implemented Interfaces:

IQTreeTransformer, IQTreeVisitingTransformer

Direct Known Subclasses:

SelfJoinSameTermIQOptimizerImpl.SameTermSelfJoinTransformer

public abstract class AbstractDiscardedVariablesTransformer
extends DefaultNonRecursiveIQTreeTransformer

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

Field Summary

Fields

Modifier and Type	Field and Description
protected CoreSingletons	coreSingletons

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractDiscardedVariablesTransformer(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> discardedVariables, IQTreeTransformer lookForDistinctTransformer, CoreSingletons coreSingletons)

Method Summary

Modifier and Type	Method and Description
protected abstract Optional<IQTree>	furtherSimplifyInnerJoinChildren(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>> discardedVariablesPerChild, Optional<ImmutableExpression> optionalFilterCondition, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children) Takes in account the interaction between children Returns empty() if no further optimization has been applied
protected IQTree	transformBinaryNonCommutativeNode(IQTree tree, BinaryNonCommutativeOperatorNode rootNode, IQTree leftChild, IQTree rightChild) By default, switch back to the "LookForDistinctTransformer"
IQTree	transformConstruction(IQTree tree, ConstructionNode rootNode, IQTree child) NB: For the sake of simplicity, does not "take into account" (i.e.
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) By default, switch back to the "LookForDistinctTransformer"
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) By default, switch back to the "LookForDistinctTransformer"
IQTree	transformUnion(IQTree tree, UnionNode rootNode, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
protected abstract AbstractDiscardedVariablesTransformer	update(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> newDiscardedVariables)

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

transformAggregation, transformDistinct, transformEmpty, transformExtensionalData, transformIntensionalData, transformLeaf, transformNonStandardBinaryNonCommutativeNode, transformNonStandardLeafNode, transformNonStandardNaryNode, transformNonStandardUnaryNode, transformTrue

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

coreSingletons

protected final CoreSingletons coreSingletons

Constructor Detail

AbstractDiscardedVariablesTransformer

protected AbstractDiscardedVariablesTransformer(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> discardedVariables,
                                                IQTreeTransformer lookForDistinctTransformer,
                                                CoreSingletons coreSingletons)

Method Detail

update

protected abstract AbstractDiscardedVariablesTransformer update(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> newDiscardedVariables)

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

furtherSimplifyInnerJoinChildren

protected abstract Optional<IQTree> furtherSimplifyInnerJoinChildren(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>> discardedVariablesPerChild,
                                                                     Optional<ImmutableExpression> optionalFilterCondition,
                                                                     it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)

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

transformConstruction

public IQTree transformConstruction(IQTree tree,
                                    ConstructionNode rootNode,
                                    IQTree child)

NB: For the sake of simplicity, does not "take into account" (i.e. optimize) discarded variables projected by the construction node. This should not occur if the tree is normalized.

Specified by:

transformConstruction in interface IQTreeVisitingTransformer

Overrides:

transformConstruction 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

transformFilter

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

Specified by:

transformFilter in interface IQTreeVisitingTransformer

Overrides:

transformFilter in class DefaultNonRecursiveIQTreeTransformer

transformUnion

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

Specified by:

transformUnion in interface IQTreeVisitingTransformer

Overrides:

transformUnion in class DefaultNonRecursiveIQTreeTransformer

transformLeftJoin

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

Specified by:

transformLeftJoin in interface IQTreeVisitingTransformer

Overrides:

transformLeftJoin in class DefaultNonRecursiveIQTreeTransformer

transformUnaryNode

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

By default, switch back to the "LookForDistinctTransformer"

Overrides:

transformUnaryNode in class DefaultNonRecursiveIQTreeTransformer

transformNaryCommutativeNode

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

By default, switch back to the "LookForDistinctTransformer"

Overrides:

transformNaryCommutativeNode in class DefaultNonRecursiveIQTreeTransformer

transformBinaryNonCommutativeNode

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

By default, switch back to the "LookForDistinctTransformer"

Overrides:

transformBinaryNonCommutativeNode in class DefaultNonRecursiveIQTreeTransformer