Translate into SQL

compiler/include/garel/GARelAttr.td

@@ -53,7 +53,7 @@ def Aggregator : GARel_Attr<"Aggregator", "aggregator"> {
         OptionalArrayRefParameter<"ColumnIdx">:$inputs);
 
     let assemblyFormat = [{
-        `<` $func $inputs `>`
+        `<` $func (`>`) : ($inputs^ `>`)?
     }];
 
     let genVerifyDecl = 1;

compiler/include/garel/GARelOps.td

@@ -113,7 +113,7 @@ def UnionOp : GARel_Op<"union", [SameOperandsAndResultType]> {
     let results = (outs Relation:$result);
 
     let assemblyFormat = [{
-        $inputs `:` type($inputs)
+        $inputs `:` type($result)
         attr-dict
     }];
 

compiler/include/garel/GARelSQL.h

@@ -0,0 +1,17 @@
+#pragma once
+
+#include <llvm/Support/raw_ostream.h>
+#include <mlir/IR/Operation.h>
+#include <mlir/Support/LLVM.h>
+
+namespace garel {
+
+enum class SQLDialect {
+  DUCKDB_PYTHON,
+  UMBRA_ITERATE,
+};
+
+mlir::LogicalResult translateToSQL(mlir::Operation *op, llvm::raw_ostream &os,
+                                   SQLDialect dialect);
+
+} // namespace garel

compiler/src/garel/CMakeLists.txt

@@ -35,3 +35,13 @@ target_link_libraries(
     GARelIR
     MLIRPass
 )
+
+add_library(GARelSQL
+    GARelSQL.cpp
+)
+target_link_libraries(
+    GARelSQL
+    PRIVATE
+    GraphAlgIR
+    GARelIR
+)