Crate proof_of_sql_planner

Expand description

This crate converts a DataFusion LogicalPlan to a ProofPlan

Structs§

column_fields_to_schema: Convert a Vec to a Schema
expr_to_proof_expr: Convert an [datafusion::expr::Expr] to DynProofExpr
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