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

Class DistinctNodeImpl

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.DistinctNodeImpl

All Implemented Interfaces:

DistinctNode, QueryModifierNode, QueryNode, UnaryOperatorNode, Cloneable

public class DistinctNodeImpl
extends QueryModifierNodeImpl
implements DistinctNode

Field Summary

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

iqFactory

Method Summary

Modifier and Type	Method and Description
DistinctNode	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)
DistinctNode	clone() See https://stackoverflow.com/questions/6837362/
com.google.common.collect.ImmutableSet<Variable>	computeNotInternallyRequiredVariables(IQTree child) TODO: implement it more seriously, by consider functional dependencies between variables
com.google.common.collect.ImmutableSet<Variable>	getLocallyDefinedVariables() Locally defined variables must not appear in the sub-tree
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.
com.google.common.collect.ImmutableSet<Variable>	getLocalVariables() Set of variables MENTIONED in the node, INDEPENDENTLY of its sub-tree.
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.
com.google.common.collect.ImmutableSet<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) TODO: implement it seriously! (is currently blocking)
IQTree	normalizeForOptimization(IQTree child, VariableGenerator variableGenerator, IQProperties currentIQProperties)
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, propagateDownConstraint

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, propagateDownConstraint

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

isVariableNullable

Method Detail

normalizeForOptimization

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

Specified by:

normalizeForOptimization in interface UnaryOperatorNode

liftIncompatibleDefinitions

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

TODO: implement it seriously! (is currently blocking)

Specified by:

liftIncompatibleDefinitions 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 com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> inferUniqueConstraints(IQTree child)

Specified by:

inferUniqueConstraints in interface UnaryOperatorNode

computeNotInternallyRequiredVariables

public com.google.common.collect.ImmutableSet<Variable> computeNotInternallyRequiredVariables(IQTree child)

TODO: implement it more seriously, by consider functional dependencies between variables

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 DistinctNode 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

getLocalVariables

public 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

getLocallyRequiredVariables

public 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 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 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

toString

public String toString()

Overrides:

toString in class Object

clone

public DistinctNode clone()

Description copied from class: QueryNodeImpl

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

Specified by:

clone in interface DistinctNode

Specified by:

clone in interface QueryNode

Overrides:

clone in class QueryNodeImpl