Module proof_plans 

This module proves provable execution plans.

Structs

EmptyExec

Source ProofPlan for (sub)queries without table source such as SELECT "No table here" as msg; Inspired by DataFusion EmptyExec

SortMergeJoinExec

ProofPlan for queries of the form

TableExec

Source ProofPlan for (sub)queries with table source such as SELECT col from tab; Inspired by DataFusion data source [ExecutionPlan]s such as [ArrowExec] and [CsvExec]. Note that we only need to load the columns we use.

Enums

DynProofPlan

The query plan for proving a query