From c00988189c8af0c0eeb73a12e2ede26943f529e3 Mon Sep 17 00:00:00 2001 From: Ian Joiner <14581281+iajoiner@users.noreply.github.com> Date: Mon, 4 Nov 2024 12:24:10 -0500 Subject: [PATCH 1/2] feat: add basic sqlparser adaptions --- crates/proof-of-sql-parser/Cargo.toml | 4 +- crates/proof-of-sql-parser/src/lib.rs | 2 + crates/proof-of-sql-parser/src/sqlparser.rs | 269 ++++++++++++++++++++ 3 files changed, 273 insertions(+), 2 deletions(-) create mode 100644 crates/proof-of-sql-parser/src/sqlparser.rs diff --git a/crates/proof-of-sql-parser/Cargo.toml b/crates/proof-of-sql-parser/Cargo.toml index 29c23bc56..be789d985 100644 --- a/crates/proof-of-sql-parser/Cargo.toml +++ b/crates/proof-of-sql-parser/Cargo.toml @@ -16,12 +16,12 @@ test = true [dependencies] arrayvec = { workspace = true, features = ["serde"] } -bigdecimal = { workspace = true } +bigdecimal = { workspace = true, default_features = false } chrono = { workspace = true, features = ["serde"] } lalrpop-util = { workspace = true, features = ["lexer", "unicode"] } serde = { workspace = true, features = ["serde_derive", "alloc"] } snafu = { workspace = true } -sqlparser = { workspace = true } +sqlparser = { workspace = true, default_features = false } [build-dependencies] lalrpop = { workspace = true } diff --git a/crates/proof-of-sql-parser/src/lib.rs b/crates/proof-of-sql-parser/src/lib.rs index a600d6b97..ae9181132 100644 --- a/crates/proof-of-sql-parser/src/lib.rs +++ b/crates/proof-of-sql-parser/src/lib.rs @@ -32,6 +32,8 @@ pub use identifier::Identifier; pub mod resource_id; pub use resource_id::ResourceId; +pub mod sqlparser; + // lalrpop-generated code is not clippy-compliant lalrpop_mod!(#[allow(clippy::all, missing_docs, clippy::missing_docs_in_private_items, clippy::pedantic, clippy::missing_panics_doc)] pub sql); diff --git a/crates/proof-of-sql-parser/src/sqlparser.rs b/crates/proof-of-sql-parser/src/sqlparser.rs new file mode 100644 index 000000000..9fb9ec093 --- /dev/null +++ b/crates/proof-of-sql-parser/src/sqlparser.rs @@ -0,0 +1,269 @@ +//! This module exists to adapt the current parser to `sqlparser`. +use crate::{ + intermediate_ast::{ + AliasedResultExpr, BinaryOperator as PoSqlBinaryOperator, Expression, Literal, + OrderBy as PoSqlOrderBy, OrderByDirection, SelectResultExpr, SetExpression, + TableExpression, UnaryOperator as PoSqlUnaryOperator, + }, + Identifier, ResourceId, SelectStatement, +}; +use alloc::{boxed::Box, string::ToString, vec}; +use core::fmt::Display; +use sqlparser::ast::{ + BinaryOperator, Expr, Function, FunctionArg, FunctionArgExpr, GroupByExpr, Ident, ObjectName, + Offset, OffsetRows, OrderByExpr, Query, Select, SelectItem, SetExpr, TableFactor, + TableWithJoins, UnaryOperator, Value, WildcardAdditionalOptions, +}; + +/// Convert a number into a [`Expr`]. +fn number(val: T) -> Expr +where + T: Display, +{ + Expr::Value(Value::Number(val.to_string(), false)) +} + +/// Convert an [`Identifier`] into a [`Expr`]. +fn id(id: Identifier) -> Expr { + Expr::Identifier(id.into()) +} + +impl From for Ident { + fn from(id: Identifier) -> Self { + Ident::new(id.as_str()) + } +} + +impl From for ObjectName { + fn from(id: ResourceId) -> Self { + ObjectName(vec![id.schema().into(), id.object_name().into()]) + } +} + +impl From for TableFactor { + fn from(table: TableExpression) -> Self { + match table { + TableExpression::Named { table, schema } => { + let object_name = if let Some(schema) = schema { + ObjectName(vec![schema.into(), table.into()]) + } else { + ObjectName(vec![table.into()]) + }; + TableFactor::Table { + name: object_name, + alias: None, + args: None, + with_hints: vec![], + version: None, + partitions: vec![], + } + } + } + } +} + +impl From for Value { + fn from(literal: Literal) -> Self { + match literal { + Literal::VarChar(s) => Value::SingleQuotedString(s), + Literal::BigInt(n) => Value::Number(n.to_string(), false), + Literal::Int128(n) => Value::Number(n.to_string(), false), + Literal::Decimal(n) => Value::Number(n.to_string(), false), + Literal::Boolean(b) => Value::Boolean(b), + Literal::Timestamp(_ts) => todo!(), + } + } +} + +impl From for BinaryOperator { + fn from(op: PoSqlBinaryOperator) -> Self { + match op { + PoSqlBinaryOperator::And => BinaryOperator::And, + PoSqlBinaryOperator::Or => BinaryOperator::Or, + PoSqlBinaryOperator::Equal => BinaryOperator::Eq, + PoSqlBinaryOperator::LessThanOrEqual => BinaryOperator::LtEq, + PoSqlBinaryOperator::GreaterThanOrEqual => BinaryOperator::GtEq, + PoSqlBinaryOperator::Add => BinaryOperator::Plus, + PoSqlBinaryOperator::Subtract => BinaryOperator::Minus, + PoSqlBinaryOperator::Multiply => BinaryOperator::Multiply, + PoSqlBinaryOperator::Division => BinaryOperator::Divide, + } + } +} + +impl From for UnaryOperator { + fn from(op: PoSqlUnaryOperator) -> Self { + match op { + PoSqlUnaryOperator::Not => UnaryOperator::Not, + } + } +} + +impl From for OrderByExpr { + fn from(order_by: PoSqlOrderBy) -> Self { + let asc = match order_by.direction { + OrderByDirection::Asc => Some(true), + OrderByDirection::Desc => Some(false), + }; + OrderByExpr { + expr: id(order_by.expr), + asc, + nulls_first: None, + } + } +} + +impl From for Expr { + fn from(expr: Expression) -> Self { + match expr { + Expression::Literal(literal) => Expr::Value(literal.into()), + Expression::Column(identifier) => id(identifier), + Expression::Unary { op, expr } => Expr::UnaryOp { + op: op.into(), + expr: Box::new((*expr).into()), + }, + Expression::Binary { op, left, right } => Expr::BinaryOp { + left: Box::new((*left).into()), + op: op.into(), + right: Box::new((*right).into()), + }, + Expression::Wildcard => Expr::Wildcard, + Expression::Aggregation { op, expr } => Expr::Function(Function { + name: ObjectName(vec![Ident::new(op.to_string())]), + args: vec![FunctionArg::Unnamed((*expr).into())], + filter: None, + null_treatment: None, + over: None, + distinct: false, + special: false, + order_by: vec![], + }), + } + } +} + +// Note that sqlparser singles out `Wildcard` as a separate case, so we have to handle it separately. +impl From for FunctionArgExpr { + fn from(expr: Expression) -> Self { + match expr { + Expression::Wildcard => FunctionArgExpr::Wildcard, + _ => FunctionArgExpr::Expr(expr.into()), + } + } +} + +impl From for SelectItem { + fn from(select: SelectResultExpr) -> Self { + match select { + SelectResultExpr::ALL => SelectItem::Wildcard(WildcardAdditionalOptions { + opt_exclude: None, + opt_except: None, + opt_rename: None, + opt_replace: None, + }), + SelectResultExpr::AliasedResultExpr(AliasedResultExpr { expr, alias }) => { + SelectItem::ExprWithAlias { + expr: (*expr).into(), + alias: alias.into(), + } + } + } + } +} + +impl From for Select { + fn from(select: SetExpression) -> Self { + match select { + SetExpression::Query { + result_exprs, + from, + where_expr, + group_by, + } => Select { + distinct: None, + top: None, + projection: result_exprs.into_iter().map(SelectItem::from).collect(), + into: None, + from: from + .into_iter() + .map(|table_expression| TableWithJoins { + relation: (*table_expression).into(), + joins: vec![], + }) + .collect(), + lateral_views: vec![], + selection: where_expr.map(|expr| (*expr).into()), + group_by: GroupByExpr::Expressions(group_by.into_iter().map(id).collect()), + cluster_by: vec![], + distribute_by: vec![], + sort_by: vec![], + having: None, + named_window: vec![], + qualify: None, + value_table_mode: None, + }, + } + } +} + +impl From for Query { + fn from(select: SelectStatement) -> Self { + Query { + with: None, + body: Box::new(SetExpr::Select(Box::new((*select.expr).into()))), + order_by: select.order_by.into_iter().map(OrderByExpr::from).collect(), + limit: select.slice.clone().map(|slice| number(slice.number_rows)), + limit_by: vec![], + offset: select.slice.map(|slice| Offset { + value: number(slice.offset_value), + rows: OffsetRows::None, + }), + fetch: None, + locks: vec![], + for_clause: None, + } + } +} + +#[cfg(test)] +mod test { + use super::*; + use sqlparser::{ast::Statement, dialect::PostgreSqlDialect, parser::Parser}; + + /// Check that the intermediate AST can be converted to the SQL parser AST which should functionally match + /// the direct conversion from the SQL string. + /// Note that the `PoSQL` parser has some quirks: + /// - If LIMIT is specified, OFFSET must also be specified so we have to append `OFFSET 0`. + /// - Explicit aliases are mandatory for all columns. + fn check_posql_intermediate_ast_to_sqlparser_equality(sql: &str) { + let dialect = PostgreSqlDialect {}; + let posql_ast = sql.parse::().unwrap(); + let converted_sqlparser_ast = &Statement::Query(Box::new(Query::from(posql_ast))); + let direct_sqlparser_ast = &Parser::parse_sql(&dialect, sql).unwrap()[0]; + assert_eq!(converted_sqlparser_ast, direct_sqlparser_ast); + } + + #[test] + fn we_can_convert_posql_intermediate_ast_to_sqlparser() { + check_posql_intermediate_ast_to_sqlparser_equality("SELECT * FROM t"); + check_posql_intermediate_ast_to_sqlparser_equality( + "select a as a, 4.7 * b as b from namespace.table where c = 2.5;", + ); + check_posql_intermediate_ast_to_sqlparser_equality( + "select a as a, b as b from namespace.table where c = 4;", + ); + check_posql_intermediate_ast_to_sqlparser_equality( + "select a as a, b as b from namespace.table where c = 4 order by a desc;", + ); + check_posql_intermediate_ast_to_sqlparser_equality("select 1 as a, 'Meow' as d, b as b from namespace.table where c = 4 order by a desc limit 10 offset 0;"); + check_posql_intermediate_ast_to_sqlparser_equality( + "select true as cons, a and b or c >= 4 as comp from tab where d = 'Space and Time';", + ); + check_posql_intermediate_ast_to_sqlparser_equality( + "select cat as cat, true as cons, a and b or c >= 4 as comp from tab where d = 'Space and Time' group by cat;", + ); + check_posql_intermediate_ast_to_sqlparser_equality( + "select cat as cat, sum(a) as s, count(*) as rows from tab where d = 'Space and Time' group by cat;", + ); + } +} From 26d19adaabdd872cf9c096ce0eed4186f60c06bb Mon Sep 17 00:00:00 2001 From: Ian Joiner <14581281+iajoiner@users.noreply.github.com> Date: Wed, 6 Nov 2024 14:48:34 -0500 Subject: [PATCH 2/2] feat: add timestamp adaptation --- .../src/posql_time/unit.rs | 11 +++++ crates/proof-of-sql-parser/src/sqlparser.rs | 44 ++++++++++++++----- 2 files changed, 43 insertions(+), 12 deletions(-) diff --git a/crates/proof-of-sql-parser/src/posql_time/unit.rs b/crates/proof-of-sql-parser/src/posql_time/unit.rs index 215fa7959..16be4cfb0 100644 --- a/crates/proof-of-sql-parser/src/posql_time/unit.rs +++ b/crates/proof-of-sql-parser/src/posql_time/unit.rs @@ -16,6 +16,17 @@ pub enum PoSQLTimeUnit { Nanosecond, } +impl From for u64 { + fn from(value: PoSQLTimeUnit) -> u64 { + match value { + PoSQLTimeUnit::Second => 0, + PoSQLTimeUnit::Millisecond => 3, + PoSQLTimeUnit::Microsecond => 6, + PoSQLTimeUnit::Nanosecond => 9, + } + } +} + impl TryFrom<&str> for PoSQLTimeUnit { type Error = PoSQLTimestampError; fn try_from(value: &str) -> Result { diff --git a/crates/proof-of-sql-parser/src/sqlparser.rs b/crates/proof-of-sql-parser/src/sqlparser.rs index 9fb9ec093..62cbfac55 100644 --- a/crates/proof-of-sql-parser/src/sqlparser.rs +++ b/crates/proof-of-sql-parser/src/sqlparser.rs @@ -5,14 +5,15 @@ use crate::{ OrderBy as PoSqlOrderBy, OrderByDirection, SelectResultExpr, SetExpression, TableExpression, UnaryOperator as PoSqlUnaryOperator, }, + posql_time::PoSQLTimeUnit, Identifier, ResourceId, SelectStatement, }; use alloc::{boxed::Box, string::ToString, vec}; use core::fmt::Display; use sqlparser::ast::{ - BinaryOperator, Expr, Function, FunctionArg, FunctionArgExpr, GroupByExpr, Ident, ObjectName, - Offset, OffsetRows, OrderByExpr, Query, Select, SelectItem, SetExpr, TableFactor, - TableWithJoins, UnaryOperator, Value, WildcardAdditionalOptions, + BinaryOperator, DataType, Expr, Function, FunctionArg, FunctionArgExpr, GroupByExpr, Ident, + ObjectName, Offset, OffsetRows, OrderByExpr, Query, Select, SelectItem, SetExpr, TableFactor, + TableWithJoins, TimezoneInfo, UnaryOperator, Value, WildcardAdditionalOptions, }; /// Convert a number into a [`Expr`]. @@ -62,15 +63,34 @@ impl From for TableFactor { } } -impl From for Value { +impl From for Expr { fn from(literal: Literal) -> Self { match literal { - Literal::VarChar(s) => Value::SingleQuotedString(s), - Literal::BigInt(n) => Value::Number(n.to_string(), false), - Literal::Int128(n) => Value::Number(n.to_string(), false), - Literal::Decimal(n) => Value::Number(n.to_string(), false), - Literal::Boolean(b) => Value::Boolean(b), - Literal::Timestamp(_ts) => todo!(), + Literal::VarChar(s) => Expr::Value(Value::SingleQuotedString(s)), + Literal::BigInt(n) => Expr::Value(Value::Number(n.to_string(), false)), + Literal::Int128(n) => Expr::Value(Value::Number(n.to_string(), false)), + Literal::Decimal(n) => Expr::Value(Value::Number(n.to_string(), false)), + Literal::Boolean(b) => Expr::Value(Value::Boolean(b)), + Literal::Timestamp(timestamp) => { + let timeunit = timestamp.timeunit(); + let raw_timestamp = match timeunit { + PoSQLTimeUnit::Nanosecond => timestamp + .timestamp() + .timestamp_nanos_opt() + .expect( + "Valid nanosecond timestamps must be between 1677-09-21T00:12:43.145224192 + and 2262-04-11T23:47:16.854775807.", + ), + PoSQLTimeUnit::Microsecond => timestamp.timestamp().timestamp_micros(), + PoSQLTimeUnit::Millisecond => timestamp.timestamp().timestamp_millis(), + PoSQLTimeUnit::Second => timestamp.timestamp().timestamp(), + }; + // We currently exclusively store timestamps in UTC. + Expr::TypedString { + data_type: DataType::Timestamp(Some(timeunit.into()), TimezoneInfo::None), + value: raw_timestamp.to_string(), + } + } } } } @@ -116,7 +136,7 @@ impl From for OrderByExpr { impl From for Expr { fn from(expr: Expression) -> Self { match expr { - Expression::Literal(literal) => Expr::Value(literal.into()), + Expression::Literal(literal) => literal.into(), Expression::Column(identifier) => id(identifier), Expression::Unary { op, expr } => Expr::UnaryOp { op: op.into(), @@ -260,7 +280,7 @@ mod test { "select true as cons, a and b or c >= 4 as comp from tab where d = 'Space and Time';", ); check_posql_intermediate_ast_to_sqlparser_equality( - "select cat as cat, true as cons, a and b or c >= 4 as comp from tab where d = 'Space and Time' group by cat;", + "select cat as cat, true as cons, max(meow) as max_meow from tab where d = 'Space and Time' group by cat;", ); check_posql_intermediate_ast_to_sqlparser_equality( "select cat as cat, sum(a) as s, count(*) as rows from tab where d = 'Space and Time' group by cat;",