it.unibz.inf.ontop.iq.node

Interface BinaryOrderedOperatorNode

All Superinterfaces:

Cloneable, QueryNode

All Known Subinterfaces:

BinaryNonCommutativeOperatorNode, LeftJoinNode

All Known Implementing Classes:

LeftJoinNodeImpl

public interface BinaryOrderedOperatorNode
extends QueryNode

The ordering of the operands is meaningful procedurally, and therefore should be preserved. It may not be meaningful semantically though. such that there may be instances of BinaryOrderedOperatorNode which are also instances of CommutativeJoinOrFilterNode.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	BinaryOrderedOperatorNode.ArgumentPosition

Method Summary

Modifier and Type	Method and Description
IQTree	acceptTransformer(IQTree tree, IQTreeVisitingTransformer transformer, IQTree leftChild, IQTree rightChild)
<T> T	acceptVisitor(IQVisitor<T> visitor, IQTree leftChild, IQTree rightChild)
IQTree	applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree leftChild, IQTree rightChild)
IQTree	applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, IQTree leftChild, IQTree rightChild)
IQTree	applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, IQTree leftChild, IQTree rightChild, IQTreeCache treeCache)
com.google.common.collect.ImmutableSet<Variable>	computeNotInternallyRequiredVariables(IQTree leftChild, IQTree rightChild)
com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>>	getPossibleVariableDefinitions(IQTree leftChild, IQTree rightChild)
VariableNullability	getVariableNullability(IQTree leftChild, IQTree rightChild)
com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>>	inferUniqueConstraints(IQTree leftChild, IQTree rightChild)
boolean	isConstructed(Variable variable, IQTree leftChild, IQTree rightChild)
boolean	isDistinct(IQTree tree, IQTree leftChild, IQTree rightChild)
IQTree	liftIncompatibleDefinitions(Variable variable, IQTree leftChild, IQTree rightChild, VariableGenerator variableGenerator)
IQTree	normalizeForOptimization(IQTree leftChild, IQTree rightChild, VariableGenerator variableGenerator, IQProperties currentIQProperties)
IQTree	propagateDownConstraint(ImmutableExpression constraint, IQTree leftChild, IQTree rightChild)
IQTree	removeDistincts(IQTree leftChild, IQTree rightChild, IQProperties properties)
void	validateNode(IQTree leftChild, IQTree rightChild) Only validates the node, not its children

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

acceptNodeTransformer, acceptVisitor, clone, getLocallyDefinedVariables, getLocallyRequiredVariables, getLocalVariables, getRequiredVariables, isEquivalentTo, isSyntacticallyEquivalentTo, isVariableNullable

Method Detail

getVariableNullability

VariableNullability getVariableNullability(IQTree leftChild,
                                           IQTree rightChild)

getPossibleVariableDefinitions

com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> getPossibleVariableDefinitions(IQTree leftChild,
                                                                                                              IQTree rightChild)

acceptTransformer

IQTree acceptTransformer(IQTree tree,
                         IQTreeVisitingTransformer transformer,
                         IQTree leftChild,
                         IQTree rightChild)

acceptVisitor

<T> T acceptVisitor(IQVisitor<T> visitor,
                    IQTree leftChild,
                    IQTree rightChild)

normalizeForOptimization

IQTree normalizeForOptimization(IQTree leftChild,
                                IQTree rightChild,
                                VariableGenerator variableGenerator,
                                IQProperties currentIQProperties)

liftIncompatibleDefinitions

IQTree liftIncompatibleDefinitions(Variable variable,
                                   IQTree leftChild,
                                   IQTree rightChild,
                                   VariableGenerator variableGenerator)

applyDescendingSubstitution

IQTree applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution,
                                   Optional<ImmutableExpression> constraint,
                                   IQTree leftChild,
                                   IQTree rightChild)

applyDescendingSubstitutionWithoutOptimizing

IQTree applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution,
                                                    IQTree leftChild,
                                                    IQTree rightChild)

applyFreshRenaming

IQTree applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution,
                          IQTree leftChild,
                          IQTree rightChild,
                          IQTreeCache treeCache)

isConstructed

boolean isConstructed(Variable variable,
                      IQTree leftChild,
                      IQTree rightChild)

isDistinct

boolean isDistinct(IQTree tree,
                   IQTree leftChild,
                   IQTree rightChild)

propagateDownConstraint

IQTree propagateDownConstraint(ImmutableExpression constraint,
                               IQTree leftChild,
                               IQTree rightChild)

validateNode

void validateNode(IQTree leftChild,
                  IQTree rightChild)
           throws InvalidIntermediateQueryException

Only validates the node, not its children

Throws:

InvalidIntermediateQueryException

removeDistincts

IQTree removeDistincts(IQTree leftChild,
                       IQTree rightChild,
                       IQProperties properties)

inferUniqueConstraints

com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> inferUniqueConstraints(IQTree leftChild,
                                                                                                                IQTree rightChild)

computeNotInternallyRequiredVariables

com.google.common.collect.ImmutableSet<Variable> computeNotInternallyRequiredVariables(IQTree leftChild,
                                                                                       IQTree rightChild)