it.unibz.inf.ontop.iq.node.impl

Class SliceNodeImpl

java.lang.Object

it.unibz.inf.ontop.iq.node.impl.QueryNodeImpl

it.unibz.inf.ontop.iq.node.impl.QueryModifierNodeImpl

it.unibz.inf.ontop.iq.node.impl.SliceNodeImpl

All Implemented Interfaces:

QueryModifierNode, QueryNode, SliceNode, UnaryOperatorNode, Cloneable

public class SliceNodeImpl
extends QueryModifierNodeImpl
implements SliceNode

Field Summary

Fields inherited from class it.unibz.inf.ontop.iq.node.impl.QueryModifierNodeImpl

iqFactory

Method Summary

Modifier and Type	Method and Description
SliceNode	acceptNodeTransformer(HomogeneousQueryNodeTransformer transformer) "Accept" method for the "Visitor" pattern.
IQTree	acceptTransformer(IQTree tree, IQTreeVisitingTransformer transformer, IQTree child)
<T> T	acceptVisitor(IQVisitor<T> visitor, IQTree child)
void	acceptVisitor(QueryNodeVisitor visitor) "Accept" method for the "Visitor" pattern.
IQTree	applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree child)
IQTree	applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, IQTree child)
IQTree	applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, IQTree child, IQTreeCache treeCache)
SliceNode	clone() See https://stackoverflow.com/questions/6837362/
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	computeNotInternallyRequiredVariables(IQTree child)
Optional<Long>	getLimit() Length of the slice
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	getLocallyDefinedVariables() Locally defined variables must not appear in the sub-tree
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	getLocallyRequiredVariables() Set of variables that this node, INDEPENDENTLY OF THE REQUIREMENTS OF ITS ANCESTORS, requires to be defined in the sub-tree.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	getLocalVariables() Set of variables MENTIONED in the node, INDEPENDENTLY of its sub-tree.
long	getOffset() Beginning of the slice
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	getRequiredVariables(IntermediateQuery query) Set of variables which, individually, must be provided by at least one child, INDEPENDENTLY OF THE REQUIREMENTS OF THIS NODE'S ANCESTORS.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	inferUniqueConstraints(IQTree child)
boolean	isDistinct(IQTree tree, IQTree child)
boolean	isEquivalentTo(QueryNode queryNode) Is syntactically equivalent
boolean	isSyntacticallyEquivalentTo(QueryNode node) TODO: explain
IQTree	liftIncompatibleDefinitions(Variable variable, IQTree child, VariableGenerator variableGenerator) Does not lift unions, blocks them
IQTree	normalizeForOptimization(IQTree child, VariableGenerator variableGenerator, IQProperties currentIQProperties)
IQTree	propagateDownConstraint(ImmutableExpression constraint, IQTree child) Stops constraints
IQTree	removeDistincts(IQTree child, IQProperties iqProperties)
String	toString()
void	validateNode(IQTree child) Only validates the node, not its child

Methods inherited from class it.unibz.inf.ontop.iq.node.impl.QueryModifierNodeImpl

getPossibleVariableDefinitions, getVariableNullability, isConstructed, isVariableNullable

Methods inherited from class java.lang.Object

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

Methods inherited from interface it.unibz.inf.ontop.iq.node.UnaryOperatorNode

getPossibleVariableDefinitions, getVariableNullability, isConstructed

Methods inherited from interface it.unibz.inf.ontop.iq.node.QueryNode

isVariableNullable

Method Detail

liftIncompatibleDefinitions

public IQTree liftIncompatibleDefinitions(Variable variable,
                                          IQTree child,
                                          VariableGenerator variableGenerator)

Does not lift unions, blocks them

Specified by:

liftIncompatibleDefinitions in interface UnaryOperatorNode

normalizeForOptimization

public IQTree normalizeForOptimization(IQTree child,
                                       VariableGenerator variableGenerator,
                                       IQProperties currentIQProperties)

Specified by:

normalizeForOptimization in interface UnaryOperatorNode

applyDescendingSubstitution

public IQTree applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution,
                                          Optional<ImmutableExpression> constraint,
                                          IQTree child)

Specified by:

applyDescendingSubstitution in interface UnaryOperatorNode

applyDescendingSubstitutionWithoutOptimizing

public IQTree applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution,
                                                           IQTree child)

Specified by:

applyDescendingSubstitutionWithoutOptimizing in interface UnaryOperatorNode

applyFreshRenaming

public IQTree applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution,
                                 IQTree child,
                                 IQTreeCache treeCache)

Specified by:

applyFreshRenaming in interface UnaryOperatorNode

isDistinct

public boolean isDistinct(IQTree tree,
                          IQTree child)

Specified by:

isDistinct in interface UnaryOperatorNode

acceptTransformer

public IQTree acceptTransformer(IQTree tree,
                                IQTreeVisitingTransformer transformer,
                                IQTree child)

Specified by:

acceptTransformer in interface UnaryOperatorNode

acceptVisitor

public <T> T acceptVisitor(IQVisitor<T> visitor,
                           IQTree child)

Specified by:

acceptVisitor in interface UnaryOperatorNode

validateNode

public void validateNode(IQTree child)
                  throws InvalidIntermediateQueryException

Description copied from interface: UnaryOperatorNode

Only validates the node, not its child

Specified by:

validateNode in interface UnaryOperatorNode

Throws:

InvalidIntermediateQueryException

removeDistincts

public IQTree removeDistincts(IQTree child,
                              IQProperties iqProperties)

Specified by:

removeDistincts in interface UnaryOperatorNode

inferUniqueConstraints

public it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>> inferUniqueConstraints(IQTree child)

Specified by:

inferUniqueConstraints in interface UnaryOperatorNode

computeNotInternallyRequiredVariables

public it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> computeNotInternallyRequiredVariables(IQTree child)

Specified by:

computeNotInternallyRequiredVariables in interface UnaryOperatorNode

acceptVisitor

public void acceptVisitor(QueryNodeVisitor visitor)

Description copied from interface: QueryNode

"Accept" method for the "Visitor" pattern. To be implemented by leaf classes.

Specified by:

acceptVisitor in interface QueryNode

acceptNodeTransformer

public SliceNode acceptNodeTransformer(HomogeneousQueryNodeTransformer transformer)
                                throws QueryNodeTransformationException

Description copied from interface: QueryNode

"Accept" method for the "Visitor" pattern. To be implemented by leaf classes. If the transformation cannot be done, throw a QueryNodeTransformationException

Specified by:

acceptNodeTransformer in interface QueryNode

Specified by:

acceptNodeTransformer in interface UnaryOperatorNode

Throws:

QueryNodeTransformationException

getLocallyRequiredVariables

public it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> getLocallyRequiredVariables()

Description copied from interface: QueryNode

Set of variables that this node, INDEPENDENTLY OF THE REQUIREMENTS OF ITS ANCESTORS, requires to be defined in the sub-tree. Said differently, additional variable requirements may come from its ancestors.

Specified by:

getLocallyRequiredVariables in interface QueryNode

getRequiredVariables

public it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> getRequiredVariables(IntermediateQuery query)

Description copied from interface: QueryNode

Set of variables which, individually, must be provided by at least one child, INDEPENDENTLY OF THE REQUIREMENTS OF THIS NODE'S ANCESTORS. This may extend locally required variables. For instance, for a join node, this includes variables used in implicit joining conditions

Specified by:

getRequiredVariables in interface QueryNode

getLocallyDefinedVariables

public it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> getLocallyDefinedVariables()

Description copied from interface: QueryNode

Locally defined variables must not appear in the sub-tree

Specified by:

getLocallyDefinedVariables in interface QueryNode

isEquivalentTo

public boolean isEquivalentTo(QueryNode queryNode)

Description copied from interface: QueryNode

Is syntactically equivalent

Specified by:

isEquivalentTo in interface QueryNode

getLocalVariables

public it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> getLocalVariables()

Description copied from interface: QueryNode

Set of variables MENTIONED in the node, INDEPENDENTLY of its sub-tree. See ImmutableQuery.getVariables(QueryNode node) for getting all the variables returned by the QueryNode.

Specified by:

getLocalVariables in interface QueryNode

isSyntacticallyEquivalentTo

public boolean isSyntacticallyEquivalentTo(QueryNode node)

Description copied from interface: QueryNode

TODO: explain

Specified by:

isSyntacticallyEquivalentTo in interface QueryNode

getOffset

public long getOffset()

Description copied from interface: SliceNode

Beginning of the slice

Specified by:

getOffset in interface SliceNode

getLimit

public Optional<Long> getLimit()

Description copied from interface: SliceNode

Length of the slice

Specified by:

getLimit in interface SliceNode

clone

public SliceNode clone()

Description copied from class: QueryNodeImpl

See https://stackoverflow.com/questions/6837362/

Specified by:

clone in interface QueryNode

Specified by:

clone in interface SliceNode

Overrides:

clone in class QueryNodeImpl

toString

public String toString()

Overrides:

toString in class Object

propagateDownConstraint

public IQTree propagateDownConstraint(ImmutableExpression constraint,
                                      IQTree child)

Stops constraints

Specified by:

propagateDownConstraint in interface UnaryOperatorNode

Overrides:

propagateDownConstraint in class QueryModifierNodeImpl