it.unibz.inf.ontop.iq.impl

Class NaryIQTreeImpl

java.lang.Object

it.unibz.inf.ontop.iq.impl.AbstractCompositeIQTree<NaryOperatorNode>

it.unibz.inf.ontop.iq.impl.NaryIQTreeImpl

All Implemented Interfaces:

CompositeIQTree<NaryOperatorNode>, IQTree, NaryIQTree

public class NaryIQTreeImpl
extends AbstractCompositeIQTree<NaryOperatorNode>
implements NaryIQTree

Field Summary

Fields inherited from class it.unibz.inf.ontop.iq.impl.AbstractCompositeIQTree

iqFactory, iqTreeTools

Method Summary

Modifier and Type	Method and Description
IQTree	acceptTransformer(IQTreeVisitingTransformer transformer)
<T> T	acceptVisitor(IQVisitor<T> visitor)
IQTree	applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution) Applies the descending substitution WITHOUT applying any additional optimization.
protected IQTree	applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, boolean alreadyNormalized)
protected IQTree	applyRegularDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint)
protected boolean	computeIsDistinct()
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	computeNotInternallyRequiredVariables()
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>>	computePossibleVariableDefinitions()
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	computeUniqueConstraints()
protected VariableNullability	computeVariableNullability()
boolean	isConstructed(Variable variable) TODO: should we cache the boolean?
boolean	isDeclaredAsEmpty() Returns true if corresponds to a EmptyNode
IQTree	liftIncompatibleDefinitions(Variable variable, VariableGenerator variableGenerator) TODO: use the properties for optimization purposes?
IQTree	normalizeForOptimization(VariableGenerator variableGenerator)
IQTree	propagateDownConstraint(ImmutableExpression constraint) TODO: explain The constraint is used for pruning.
IQTree	removeDistincts() TODO: find a better name
IQTree	replaceSubTree(IQTree subTreeToReplace, IQTree newSubTree) If subTreeToReplace is not found, has no effect (besides creating a novel copy).
protected void	validateNode() Only validates the node, not its children

Methods inherited from class it.unibz.inf.ontop.iq.impl.AbstractCompositeIQTree

applyDescendingSubstitution, applyFreshRenaming, applyFreshRenamingToAllVariables, computeVariables, equals, getChildren, getKnownVariables, getNotInternallyRequiredVariables, getPossibleVariableDefinitions, getProperties, getRootNode, getTreeCache, getVariableNullability, getVariables, hashCode, inferUniqueConstraints, isDistinct, isEquivalentTo, normalizeDescendingSubstitution, toString, validate

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface it.unibz.inf.ontop.iq.CompositeIQTree

getRootNode

Methods inherited from interface it.unibz.inf.ontop.iq.IQTree

applyDescendingSubstitution, applyFreshRenaming, applyFreshRenamingToAllVariables, getChildren, getKnownVariables, getNotInternallyRequiredVariables, getPossibleVariableDefinitions, getVariableNullability, getVariables, inferUniqueConstraints, isDistinct, isEquivalentTo, isLeaf, validate

Method Detail

validateNode

protected void validateNode()
                     throws InvalidIntermediateQueryException

Description copied from class: AbstractCompositeIQTree

Only validates the node, not its children

Specified by:

validateNode in class AbstractCompositeIQTree<NaryOperatorNode>

Throws:

InvalidIntermediateQueryException

computeVariableNullability

protected VariableNullability computeVariableNullability()

Specified by:

computeVariableNullability in class AbstractCompositeIQTree<NaryOperatorNode>

acceptTransformer

public IQTree acceptTransformer(IQTreeVisitingTransformer transformer)

Specified by:

acceptTransformer in interface IQTree

acceptVisitor

public <T> T acceptVisitor(IQVisitor<T> visitor)

Specified by:

acceptVisitor in interface IQTree

normalizeForOptimization

public IQTree normalizeForOptimization(VariableGenerator variableGenerator)

Specified by:

normalizeForOptimization in interface IQTree

liftIncompatibleDefinitions

public IQTree liftIncompatibleDefinitions(Variable variable,
                                          VariableGenerator variableGenerator)

TODO: use the properties for optimization purposes?

Specified by:

liftIncompatibleDefinitions in interface IQTree

applyFreshRenaming

protected IQTree applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution,
                                    boolean alreadyNormalized)

Specified by:

applyFreshRenaming in class AbstractCompositeIQTree<NaryOperatorNode>

applyRegularDescendingSubstitution

protected IQTree applyRegularDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution,
                                                    Optional<ImmutableExpression> constraint)

Specified by:

applyRegularDescendingSubstitution in class AbstractCompositeIQTree<NaryOperatorNode>

applyDescendingSubstitutionWithoutOptimizing

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

Description copied from interface: IQTree

Applies the descending substitution WITHOUT applying any additional optimization. Designed to be called AFTER the "structural/semantic optimization" phase.

Specified by:

applyDescendingSubstitutionWithoutOptimizing in interface IQTree

isConstructed

public boolean isConstructed(Variable variable)

TODO: should we cache the boolean?

Specified by:

isConstructed in interface IQTree

computeIsDistinct

protected boolean computeIsDistinct()

Specified by:

computeIsDistinct in class AbstractCompositeIQTree<NaryOperatorNode>

isDeclaredAsEmpty

public boolean isDeclaredAsEmpty()

Description copied from interface: IQTree

Returns true if corresponds to a EmptyNode

Specified by:

isDeclaredAsEmpty in interface IQTree

propagateDownConstraint

public IQTree propagateDownConstraint(ImmutableExpression constraint)

Description copied from interface: IQTree

TODO: explain The constraint is used for pruning. It remains enforced by a parent tree.

Specified by:

propagateDownConstraint in interface IQTree

replaceSubTree

public IQTree replaceSubTree(IQTree subTreeToReplace,
                             IQTree newSubTree)

Description copied from interface: IQTree

If subTreeToReplace is not found, has no effect (besides creating a novel copy).

Specified by:

replaceSubTree in interface IQTree

computePossibleVariableDefinitions

protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> computePossibleVariableDefinitions()

Specified by:

computePossibleVariableDefinitions in class AbstractCompositeIQTree<NaryOperatorNode>

removeDistincts

public IQTree removeDistincts()

Description copied from interface: IQTree

TODO: find a better name

Specified by:

removeDistincts in interface IQTree

computeUniqueConstraints

protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>> computeUniqueConstraints()

Specified by:

computeUniqueConstraints in class AbstractCompositeIQTree<NaryOperatorNode>

computeNotInternallyRequiredVariables

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

Specified by:

computeNotInternallyRequiredVariables in class AbstractCompositeIQTree<NaryOperatorNode>