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

Class InnerJoinNodeImpl

java.lang.Object

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

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

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

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

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

All Implemented Interfaces:

CommutativeJoinNode, CommutativeJoinOrFilterNode, InnerJoinLikeNode, InnerJoinNode, JoinLikeNode, JoinOrFilterNode, NaryOperatorNode, QueryNode, Cloneable

public class InnerJoinNodeImpl
extends JoinLikeNodeImpl
implements InnerJoinNode

Field Summary

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

substitutionFactory, substitutionTools, termFactory, typeFactory, unificationTools

Constructor Summary

Constructors

Modifier

Constructor and Description

protected

InnerJoinNodeImpl(Optional<ImmutableExpression> optionalFilterCondition, TermNullabilityEvaluator nullabilityEvaluator, TermFactory termFactory, TypeFactory typeFactory, IntermediateQueryFactory iqFactory, SubstitutionFactory substitutionFactory, ConstructionNodeTools constructionNodeTools, ImmutableUnificationTools unificationTools, ImmutableSubstitutionTools substitutionTools, JoinOrFilterVariableNullabilityTools variableNullabilityTools, ConditionSimplifier conditionSimplifier, InnerJoinNormalizer normalizer)

Method Summary

Modifier and Type	Method and Description
InnerJoinNode	acceptNodeTransformer(HomogeneousQueryNodeTransformer transformer) "Accept" method for the "Visitor" pattern.
IQTree	acceptTransformer(IQTree tree, IQTreeVisitingTransformer transformer, com.google.common.collect.ImmutableList<IQTree> children)
<T> T	acceptVisitor(IQVisitor<T> visitor, com.google.common.collect.ImmutableList<IQTree> children)
void	acceptVisitor(QueryNodeVisitor visitor) "Accept" method for the "Visitor" pattern.
IQTree	applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, com.google.common.collect.ImmutableList<IQTree> children, IQTreeCache treeCache)
InnerJoinNode	changeOptionalFilterCondition(Optional<ImmutableExpression> newOptionalFilterCondition) Constructs a new JoinLikeNode with the following optional filter condition (recall that a QueryNode is immutable).
InnerJoinNode	clone() See https://stackoverflow.com/questions/6837362/
com.google.common.collect.ImmutableSet<Variable>	computeNotInternallyRequiredVariables(com.google.common.collect.ImmutableList<IQTree> children)
com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>>	getPossibleVariableDefinitions(com.google.common.collect.ImmutableList<IQTree> children)
VariableNullability	getVariableNullability(com.google.common.collect.ImmutableList<IQTree> children)
com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>>	inferUniqueConstraints(com.google.common.collect.ImmutableList<IQTree> children) For unique constraints to emerge from an inner join, children must provide unique constraints and being naturally joined over some of such constraints.
boolean	isConstructed(Variable variable, com.google.common.collect.ImmutableList<IQTree> children)
boolean	isDistinct(IQTree tree, com.google.common.collect.ImmutableList<IQTree> children)
boolean	isEquivalentTo(QueryNode queryNode) Is syntactically equivalent
boolean	isSyntacticallyEquivalentTo(QueryNode node) TODO: explain
boolean	isVariableNullable(IntermediateQuery query, Variable variable) Returns true if it cannot guarantee the projected variable to be non-null Throws an IllegalArgumentException if the variable is not projected by the node
IQTree	liftIncompatibleDefinitions(Variable variable, com.google.common.collect.ImmutableList<IQTree> children, VariableGenerator variableGenerator)
IQTree	normalizeForOptimization(com.google.common.collect.ImmutableList<IQTree> children, VariableGenerator variableGenerator, IQProperties currentIQProperties) TODO: refactor
IQTree	propagateDownConstraint(ImmutableExpression constraint, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	removeDistincts(com.google.common.collect.ImmutableList<IQTree> children, IQProperties properties)
String	toString()
void	validateNode(com.google.common.collect.ImmutableList<IQTree> children) Only validates the node, not its children

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

checkNonProjectedVariables, getRequiredVariables

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

checkExpression, getLocallyDefinedVariables, getLocallyRequiredVariables, getLocalVariables, getNullabilityEvaluator, getOptionalFilterCondition, getOptionalFilterString, isFilteringNullValue

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

getOptionalFilterCondition

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

getLocallyDefinedVariables, getLocallyRequiredVariables, getLocalVariables, getRequiredVariables

Constructor Detail

InnerJoinNodeImpl

protected InnerJoinNodeImpl(Optional<ImmutableExpression> optionalFilterCondition,
                            TermNullabilityEvaluator nullabilityEvaluator,
                            TermFactory termFactory,
                            TypeFactory typeFactory,
                            IntermediateQueryFactory iqFactory,
                            SubstitutionFactory substitutionFactory,
                            ConstructionNodeTools constructionNodeTools,
                            ImmutableUnificationTools unificationTools,
                            ImmutableSubstitutionTools substitutionTools,
                            JoinOrFilterVariableNullabilityTools variableNullabilityTools,
                            ConditionSimplifier conditionSimplifier,
                            InnerJoinNormalizer normalizer)

Method Detail

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

clone

public InnerJoinNode clone()

Description copied from class: QueryNodeImpl

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

Specified by:

clone in interface InnerJoinLikeNode

Specified by:

clone in interface InnerJoinNode

Specified by:

clone in interface QueryNode

Overrides:

clone in class QueryNodeImpl

acceptNodeTransformer

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

Specified by:

acceptNodeTransformer in interface InnerJoinNode

Specified by:

acceptNodeTransformer in interface NaryOperatorNode

Specified by:

acceptNodeTransformer in interface QueryNode

Throws:

QueryNodeTransformationException

getPossibleVariableDefinitions

public com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> getPossibleVariableDefinitions(com.google.common.collect.ImmutableList<IQTree> children)

Specified by:

getPossibleVariableDefinitions in interface NaryOperatorNode

changeOptionalFilterCondition

public InnerJoinNode changeOptionalFilterCondition(Optional<ImmutableExpression> newOptionalFilterCondition)

Description copied from interface: JoinLikeNode

Constructs a new JoinLikeNode with the following optional filter condition (recall that a QueryNode is immutable).

Specified by:

changeOptionalFilterCondition in interface CommutativeJoinNode

Specified by:

changeOptionalFilterCondition in interface InnerJoinLikeNode

Specified by:

changeOptionalFilterCondition in interface InnerJoinNode

Specified by:

changeOptionalFilterCondition in interface JoinLikeNode

isVariableNullable

public boolean isVariableNullable(IntermediateQuery query,
                                  Variable variable)

Description copied from interface: QueryNode

Returns true if it cannot guarantee the projected variable to be non-null Throws an IllegalArgumentException if the variable is not projected by the node

Specified by:

isVariableNullable in interface QueryNode

isSyntacticallyEquivalentTo

public boolean isSyntacticallyEquivalentTo(QueryNode node)

Description copied from interface: QueryNode

TODO: explain

Specified by:

isSyntacticallyEquivalentTo 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

normalizeForOptimization

public IQTree normalizeForOptimization(com.google.common.collect.ImmutableList<IQTree> children,
                                       VariableGenerator variableGenerator,
                                       IQProperties currentIQProperties)

TODO: refactor

Specified by:

normalizeForOptimization in interface NaryOperatorNode

applyDescendingSubstitution

public IQTree applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution,
                                          Optional<ImmutableExpression> constraint,
                                          com.google.common.collect.ImmutableList<IQTree> children)

Specified by:

applyDescendingSubstitution in interface NaryOperatorNode

applyDescendingSubstitutionWithoutOptimizing

public IQTree applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution,
                                                           com.google.common.collect.ImmutableList<IQTree> children)

Specified by:

applyDescendingSubstitutionWithoutOptimizing in interface NaryOperatorNode

applyFreshRenaming

public IQTree applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution,
                                 com.google.common.collect.ImmutableList<IQTree> children,
                                 IQTreeCache treeCache)

Specified by:

applyFreshRenaming in interface NaryOperatorNode

getVariableNullability

public VariableNullability getVariableNullability(com.google.common.collect.ImmutableList<IQTree> children)

Specified by:

getVariableNullability in interface NaryOperatorNode

isConstructed

public boolean isConstructed(Variable variable,
                             com.google.common.collect.ImmutableList<IQTree> children)

Specified by:

isConstructed in interface NaryOperatorNode

isDistinct

public boolean isDistinct(IQTree tree,
                          com.google.common.collect.ImmutableList<IQTree> children)

Specified by:

isDistinct in interface NaryOperatorNode

Overrides:

isDistinct in class JoinOrFilterNodeImpl

liftIncompatibleDefinitions

public IQTree liftIncompatibleDefinitions(Variable variable,
                                          com.google.common.collect.ImmutableList<IQTree> children,
                                          VariableGenerator variableGenerator)

Specified by:

liftIncompatibleDefinitions in interface NaryOperatorNode

propagateDownConstraint

public IQTree propagateDownConstraint(ImmutableExpression constraint,
                                      com.google.common.collect.ImmutableList<IQTree> children)

Specified by:

propagateDownConstraint in interface NaryOperatorNode

acceptTransformer

public IQTree acceptTransformer(IQTree tree,
                                IQTreeVisitingTransformer transformer,
                                com.google.common.collect.ImmutableList<IQTree> children)

Specified by:

acceptTransformer in interface NaryOperatorNode

acceptVisitor

public <T> T acceptVisitor(IQVisitor<T> visitor,
                           com.google.common.collect.ImmutableList<IQTree> children)

Specified by:

acceptVisitor in interface NaryOperatorNode

validateNode

public void validateNode(com.google.common.collect.ImmutableList<IQTree> children)
                  throws InvalidIntermediateQueryException

Description copied from interface: NaryOperatorNode

Only validates the node, not its children

Specified by:

validateNode in interface NaryOperatorNode

Throws:

InvalidIntermediateQueryException

removeDistincts

public IQTree removeDistincts(com.google.common.collect.ImmutableList<IQTree> children,
                              IQProperties properties)

Specified by:

removeDistincts in interface NaryOperatorNode

inferUniqueConstraints

public com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> inferUniqueConstraints(com.google.common.collect.ImmutableList<IQTree> children)

For unique constraints to emerge from an inner join, children must provide unique constraints and being naturally joined over some of such constraints.

Specified by:

inferUniqueConstraints in interface NaryOperatorNode

computeNotInternallyRequiredVariables

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

Specified by:

computeNotInternallyRequiredVariables in interface NaryOperatorNode

Overrides:

computeNotInternallyRequiredVariables in class JoinOrFilterNodeImpl