Struct SortMergeJoinExec

pub struct SortMergeJoinExec { /* private fields */ }

ProofPlan for queries of the form

    <ProofPlan> INNER JOIN <ProofPlan>
    ON col1 = col2

Implementations

impl SortMergeJoinExec

pub fn new( left: Box<DynProofPlan>, right: Box<DynProofPlan>, left_join_column_indexes: Vec<usize>, right_join_column_indexes: Vec<usize>, result_idents: Vec<Ident>, ) -> Self

Create a new SortMergeJoinExec with the given left and right plans

Panics

Panics if one of the following conditions is met:

• The join column index is out of bounds
• The number of join columns is different
• The number of result idents is different from the expected number of columns

Trait Implementations

impl Clone for SortMergeJoinExec

fn clone(&self) -> SortMergeJoinExec

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SortMergeJoinExec

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SortMergeJoinExec

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<SortMergeJoinExec> for DynProofPlan

fn from(v: SortMergeJoinExec) -> DynProofPlan

Converts to this type from the input type.

impl PartialEq for SortMergeJoinExec

fn eq(&self, other: &SortMergeJoinExec) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ProofPlan for SortMergeJoinExec

where SortMergeJoinExec: ProverEvaluate,

fn verifier_evaluate<S: Scalar>( &self, builder: &mut impl VerificationBuilder<S>, accessor: &IndexMap<TableRef, IndexMap<Ident, S, BuildHasherDefault<AHasher>>, BuildHasherDefault<AHasher>>, _result: Option<&OwnedTable<S>>, chi_eval_map: &IndexMap<TableRef, (S, usize), BuildHasherDefault<AHasher>>, params: &[LiteralValue], ) -> Result<TableEvaluation<S>, ProofError>

Form components needed to verify and proof store into VerificationBuilder

fn get_column_result_fields(&self) -> Vec<ColumnField>

Return all the result column fields

fn get_column_references( &self, ) -> IndexSet<ColumnRef, BuildHasherDefault<AHasher>>

Return all the columns referenced in the Query

fn get_table_references( &self, ) -> IndexSet<TableRef, BuildHasherDefault<AHasher>>

Return all the tables referenced in the Query

impl Serialize for SortMergeJoinExec

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryInto<SortMergeJoinExec> for DynProofPlan

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into( self, ) -> Result<SortMergeJoinExec, <Self as TryInto<SortMergeJoinExec>>::Error>

Performs the conversion.

impl StructuralPartialEq for SortMergeJoinExec