Crate proof_of_sql_planner 

This crate converts a DataFusion LogicalPlan to a ProofPlan

Structs

PoSqlContextProvider

A ContextProvider implementation for Proof of SQL

Enums

AggregatePlanError

Errors encountered while converting an aggregate logical plan.

JoinPlanError

Errors encountered while converting a join logical plan.

LogicalPlanNodeKind

Kind of DataFusion logical plan node presented to the Proof of SQL converter.

PlannerError

Proof of SQL Planner error

Functions

column_fields_to_schema

Convert a Vec to a Schema

datafusion_config_no_normalization

Since all of our table identifiers/column identifiers are stored and communicated in all-caps, we need to disable this datafusion setting that will coerce identifiers to lowercase.

expr_to_proof_expr

Convert a DataFusion Expr into a provable DynProofExpr, using schema to resolve column references and their types.

get_table_refs_from_statement

Given a Statement retrieves all unique tables in the query

logical_plan_to_proof_plan

Visit a [datafusion::logical_plan::LogicalPlan] and return a DynProofPlan

sql_to_proof_plans

Convert a SQL query to a DynProofPlan using schema from provided tables

statement_with_uppercase_identifiers

Returns the sqlparser statement with all of its column/table identifiers uppercased.

uppercase_identifier

Returns an uppercased version of Ident Leaving this as public because the sdk also uses this function

Type Aliases

PlannerResult

Proof of SQL Planner result