it.unibz.inf.ontop.iq.impl

Class BinaryNonCommutativeIQTreeImpl

java.lang.Object

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

it.unibz.inf.ontop.iq.impl.BinaryNonCommutativeIQTreeImpl

All Implemented Interfaces:

BinaryNonCommutativeIQTree, CompositeIQTree<BinaryNonCommutativeOperatorNode>, IQTree

public class BinaryNonCommutativeIQTreeImpl
extends AbstractCompositeIQTree<BinaryNonCommutativeOperatorNode>
implements BinaryNonCommutativeIQTree

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 com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>>	computePossibleVariableDefinitions()
protected com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>>	computeUniqueConstraints()
protected VariableNullability	computeVariableNullability()
IQTree	getLeftChild()
IQTree	getRightChild()
boolean	isConstructed(Variable variable) Returns true if the variable is (at least in one branch) constructed by a substitution (in a construction node)
boolean	isDeclaredAsEmpty() Returns true if corresponds to a EmptyNode
IQTree	liftIncompatibleDefinitions(Variable variable, VariableGenerator variableGenerator) Tries to lift unions when they have incompatible definitions for a variable.
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, computeVariables, equals, getChildren, getKnownVariables, 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, getChildren, getKnownVariables, getPossibleVariableDefinitions, getVariableNullability, getVariables, inferUniqueConstraints, isDistinct, isEquivalentTo, isLeaf, validate

Method Detail

getLeftChild

public IQTree getLeftChild()

Specified by:

getLeftChild in interface BinaryNonCommutativeIQTree

getRightChild

public IQTree getRightChild()

Specified by:

getRightChild in interface BinaryNonCommutativeIQTree

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)

Description copied from interface: IQTree

Tries to lift unions when they have incompatible definitions for a variable. Union branches with compatible definitions are kept together

Specified by:

liftIncompatibleDefinitions in interface IQTree

applyFreshRenaming

protected IQTree applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution,
                                    boolean alreadyNormalized)

Specified by:

applyFreshRenaming in class AbstractCompositeIQTree<BinaryNonCommutativeOperatorNode>

applyRegularDescendingSubstitution

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

Specified by:

applyRegularDescendingSubstitution in class AbstractCompositeIQTree<BinaryNonCommutativeOperatorNode>

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)

Description copied from interface: IQTree

Returns true if the variable is (at least in one branch) constructed by a substitution (in a construction node)

Specified by:

isConstructed in interface IQTree

computeIsDistinct

protected boolean computeIsDistinct()

Specified by:

computeIsDistinct in class AbstractCompositeIQTree<BinaryNonCommutativeOperatorNode>

isDeclaredAsEmpty

public boolean isDeclaredAsEmpty()

Description copied from interface: IQTree

Returns true if corresponds to a EmptyNode

Specified by:

isDeclaredAsEmpty in interface IQTree

computeVariableNullability

protected VariableNullability computeVariableNullability()

Specified by:

computeVariableNullability in class AbstractCompositeIQTree<BinaryNonCommutativeOperatorNode>

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

removeDistincts

public IQTree removeDistincts()

Description copied from interface: IQTree

TODO: find a better name

Specified by:

removeDistincts 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 com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> computePossibleVariableDefinitions()

Specified by:

computePossibleVariableDefinitions in class AbstractCompositeIQTree<BinaryNonCommutativeOperatorNode>

validateNode

protected void validateNode()
                     throws InvalidIntermediateQueryException

Description copied from class: AbstractCompositeIQTree

Only validates the node, not its children

Specified by:

validateNode in class AbstractCompositeIQTree<BinaryNonCommutativeOperatorNode>

Throws:

InvalidIntermediateQueryException

computeUniqueConstraints

protected com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> computeUniqueConstraints()

Specified by:

computeUniqueConstraints in class AbstractCompositeIQTree<BinaryNonCommutativeOperatorNode>