it.unibz.inf.ontop.iq

Interface IntermediateQuery

All Known Implementing Classes:

IntermediateQueryImpl

public interface IntermediateQuery

Method Summary

Modifier and Type	Method and Description
<R extends ProposalResults,P extends QueryOptimizationProposal<R>> R	applyProposal(P proposal) Central method for submitting a proposal.
<R extends ProposalResults,P extends QueryOptimizationProposal<R>> R	applyProposal(P propagationProposal, boolean disableValidation) May disable the (possible) validation tests
boolean	contains(QueryNode node)
IntermediateQuery	createSnapshot() Keeps the same query node objects but clones the tree edges (since the latter are mutable by default).
Variable	generateNewVariable() Returns a variable that is not used in the intermediate query.
Variable	generateNewVariable(Variable formerVariable) Returns a variable that is not used in the intermediate query.
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<QueryNode>	getAncestors(QueryNode descendantNode) From the parent to the oldest ancestor.
Optional<QueryNode>	getChild(QueryNode currentNode, BinaryOrderedOperatorNode.ArgumentPosition position)
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<QueryNode>	getChildren(QueryNode node)
Stream<QueryNode>	getChildrenStream(QueryNode node)
ConstructionNode	getClosestConstructionNode(QueryNode node) Returns itself if is a ConstructionNode or its first ancestor that is a construction node otherwise.
ExecutorRegistry	getExecutorRegistry() Not for end-users! Needed using when using specialized intermediate queries
IntermediateQueryFactory	getFactory()
Optional<QueryNode>	getFirstChild(QueryNode node)
Stream<IntensionalDataNode>	getIntensionalNodes()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	getKnownVariables()
Optional<QueryNode>	getNextSibling(QueryNode node)
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<QueryNode>	getNodesInBottomUpOrder()
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<QueryNode>	getNodesInTopDownOrder()
Optional<BinaryOrderedOperatorNode.ArgumentPosition>	getOptionalPosition(QueryNode child)
Optional<BinaryOrderedOperatorNode.ArgumentPosition>	getOptionalPosition(QueryNode parentNode, QueryNode child) TODO: explain
Stream<QueryNode>	getOtherChildrenStream(QueryNode parent, QueryNode childToOmit)
Optional<QueryNode>	getParent(QueryNode node)
DistinctVariableOnlyDataAtom	getProjectionAtom()
QueryNode	getRootNode()
IntermediateQuery	getSubquery(QueryNode root, DistinctVariableOnlyDataAtom projectionAtom)
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<QueryNode>	getSubTreeNodesInTopDownOrder(QueryNode currentNode) EXCLUDES the root of the sub-tree (currentNode).
Stream<TrueNode>	getTrueNodes()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	getVariables(QueryNode subTreeRootNode) Set of variables that are returned by the sub-tree.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	getVariablesRequiredByAncestors(QueryNode queryNode) Minimal set of variables such that a construction node projecting exactly these variables could be inserted just above this node without altering the query semantics.
UUID	getVersionNumber()
boolean	hasAncestor(QueryNode descendantNode, QueryNode ancestorNode)
IntermediateQueryBuilder	newBuilder() Creates a uninitialized query builder.

Method Detail

getRootNode

QueryNode getRootNode()

getNodesInBottomUpOrder

it.unibz.inf.ontop.com.google.common.collect.ImmutableList<QueryNode> getNodesInBottomUpOrder()

getNodesInTopDownOrder

it.unibz.inf.ontop.com.google.common.collect.ImmutableList<QueryNode> getNodesInTopDownOrder()

getChildren

it.unibz.inf.ontop.com.google.common.collect.ImmutableList<QueryNode> getChildren(QueryNode node)

getChildrenStream

Stream<QueryNode> getChildrenStream(QueryNode node)

getOtherChildrenStream

Stream<QueryNode> getOtherChildrenStream(QueryNode parent,
                                         QueryNode childToOmit)

getChild

Optional<QueryNode> getChild(QueryNode currentNode,
                             BinaryOrderedOperatorNode.ArgumentPosition position)

getAncestors

it.unibz.inf.ontop.com.google.common.collect.ImmutableList<QueryNode> getAncestors(QueryNode descendantNode)

From the parent to the oldest ancestor.

getParent

Optional<QueryNode> getParent(QueryNode node)

getNextSibling

Optional<QueryNode> getNextSibling(QueryNode node)

getFirstChild

Optional<QueryNode> getFirstChild(QueryNode node)

getOptionalPosition

Optional<BinaryOrderedOperatorNode.ArgumentPosition> getOptionalPosition(QueryNode parentNode,
                                                                         QueryNode child)

TODO: explain

getOptionalPosition

Optional<BinaryOrderedOperatorNode.ArgumentPosition> getOptionalPosition(QueryNode child)

getSubTreeNodesInTopDownOrder

it.unibz.inf.ontop.com.google.common.collect.ImmutableList<QueryNode> getSubTreeNodesInTopDownOrder(QueryNode currentNode)

EXCLUDES the root of the sub-tree (currentNode). TODO: find a better name

getIntensionalNodes

Stream<IntensionalDataNode> getIntensionalNodes()

getTrueNodes

Stream<TrueNode> getTrueNodes()

contains

boolean contains(QueryNode node)

applyProposal

<R extends ProposalResults,P extends QueryOptimizationProposal<R>> R applyProposal(P proposal)
                                                                            throws InvalidQueryOptimizationProposalException,
                                                                                   EmptyQueryException

Central method for submitting a proposal. Throws a InvalidQueryOptimizationProposalException if the proposal is rejected. The current intermediate query will most likely be modified (SIDE-EFFECT). The proposal is expected TO optimize the query WITHOUT CHANGING ITS SEMANTICS. In principle, the proposal could be carefully checked, beware!

Throws:

InvalidQueryOptimizationProposalException

EmptyQueryException

applyProposal

<R extends ProposalResults,P extends QueryOptimizationProposal<R>> R applyProposal(P propagationProposal,
                                                                                   boolean disableValidation)
                                                                            throws InvalidQueryOptimizationProposalException,
                                                                                   EmptyQueryException

May disable the (possible) validation tests

Throws:

InvalidQueryOptimizationProposalException

EmptyQueryException

getClosestConstructionNode

ConstructionNode getClosestConstructionNode(QueryNode node)

Returns itself if is a ConstructionNode or its first ancestor that is a construction node otherwise.

generateNewVariable

Variable generateNewVariable()

Returns a variable that is not used in the intermediate query.

generateNewVariable

Variable generateNewVariable(Variable formerVariable)

Returns a variable that is not used in the intermediate query. The new variable always differs from the former one.

getProjectionAtom

DistinctVariableOnlyDataAtom getProjectionAtom()

getKnownVariables

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

createSnapshot

IntermediateQuery createSnapshot()

Keeps the same query node objects but clones the tree edges (since the latter are mutable by default). TODO: return an immutable Intermediate Query

hasAncestor

boolean hasAncestor(QueryNode descendantNode,
                    QueryNode ancestorNode)

getVariables

it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> getVariables(QueryNode subTreeRootNode)

Set of variables that are returned by the sub-tree.

getVersionNumber

UUID getVersionNumber()

newBuilder

IntermediateQueryBuilder newBuilder()

Creates a uninitialized query builder.

getExecutorRegistry

ExecutorRegistry getExecutorRegistry()

Not for end-users! Needed using when using specialized intermediate queries

getFactory

IntermediateQueryFactory getFactory()

getVariablesRequiredByAncestors

it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> getVariablesRequiredByAncestors(QueryNode queryNode)

Minimal set of variables such that a construction node projecting exactly these variables could be inserted just above this node without altering the query semantics. The assumption is made that the query is consistent. Therefore this method should not be used for validation.

getSubquery

IntermediateQuery getSubquery(QueryNode root,
                              DistinctVariableOnlyDataAtom projectionAtom)