Struct sql::query_model::model::graph::QueryBox

pub(crate) struct QueryBox {
    pub id: BoxId,
    pub box_type: BoxType,
    pub columns: Vec<Column>,
    pub quantifiers: BTreeSet<QuantifierId>,
    pub ranging_quantifiers: BTreeSet<QuantifierId>,
    pub distinct: DistinctOperation,
    pub attributes: Attributes,
}

A semantic operator within a Query Graph.

Fields

id: BoxId

uniquely identifies the box within the model

box_type: BoxType

the type of the box

columns: Vec<Column>

the projection of the box

quantifiers: BTreeSet<QuantifierId>

the input quantifiers of the box

ranging_quantifiers: BTreeSet<QuantifierId>

quantifiers ranging over this box

distinct: DistinctOperation

whether this box must enforce the uniqueness of its output, it is guaranteed by structure of the box or it must preserve duplicated rows from its input boxes. See DistinctOperation.

attributes: Attributes

Derived attributes

Implementations

impl QueryBox

pub fn add_column(&mut self, expr: BoxScalarExpr) -> usize

Append the given expression as a new column without an explicit alias in the projection of the box.

pub fn add_column_if_not_exists(&mut self, expr: BoxScalarExpr) -> usize

Append the given expression as a new column in the projection of the box if there isn’t already a column with the same expression. Returns the position of the first column in the projection with the same expression.

pub fn visit_expressions<F, E>(&self, f: &mut F) -> Result<(), E> where
    F: FnMut(&BoxScalarExpr) -> Result<(), E>, 

Visit all the expressions in this query box.

pub fn visit_expressions_mut<F, E>(&mut self, f: &mut F) -> Result<(), E> where
    F: FnMut(&mut BoxScalarExpr) -> Result<(), E>, 

Mutably visit all the expressions in this query box.

pub fn is_select(&self) -> bool

fn correlation_info(
    &self,
    model: &Model
) -> BTreeMap<QuantifierId, HashSet<ColumnReference>>

Correlation information of the quantifiers in this box. Returns a map containing, for each quantifier, the column references from sibling quantifiers they are correlated with.

pub fn update_column_quantifiers(
    &mut self,
    updated_quantifier_ids: &HashMap<QuantifierId, QuantifierId>
)

For every expression in this box, update the quantifier ids of every referenced column.

updated_quantifier_ids should be a map of the old QuantifierId to the new one.

impl QueryBox

Model-dependent methods.

Publicly visible delegates to these methods are defined for BoundRef<'_, QueryBox> and BoundRefMut<'_, QueryBox>.

fn input_quantifiers<'a>(
    &'a self,
    model: &'a Model
) -> impl Iterator<Item = BoundRef<'a, Quantifier>>

Resolve the input quantifiers of this box as an iterator of immutable bound references.

fn ranging_quantifiers<'a>(
    &'a self,
    model: &'a Model
) -> impl Iterator<Item = BoundRef<'a, Quantifier>>

Resolve the quantifiers ranging over this box as an iterator of immutable bound references.

Trait Implementations

impl Debug for QueryBox

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.