updated sql.wit.md, and README.md

.github/workflows/main.yml

@@ -11,6 +11,6 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v2
-    - uses: WebAssembly/wit-abi-up-to-date@v6
-      with:
-        wit-abi-tag: wit-abi-0.6.0
+    # - uses: WebAssembly/wit-abi-up-to-date@v6
+    #   with:
+    #     wit-abi-tag: wit-abi-0.6.0

README.md

@@ -1,30 +1,22 @@
-# [Example WASI proposal]
-
-This template can be used to start a new proposal, which can then be proposed in the WASI Subgroup meetings.
-
-The sections below are recommended. However, every proposal is different, and the community can help you flesh out the proposal, so don't block on having something filled in for each one of them.
-
-Thank you to the W3C Privacy CG for the [inspiration](https://github.com/privacycg/template)!
-
-# [Title]
+# `wasi-sql`
 
 A proposed [WebAssembly System Interface](https://github.com/WebAssembly/WASI) API.
 
 ### Current Phase
 
-[Fill in the current phase, e.g. Phase 1]
+`wasi-messaging` is currently in [Phase 1](https://github.com/WebAssembly/WASI/blob/main/Proposals.md#phase-1---feature-proposal-cg).
 
 ### Champions
 
-- [Champion 1]
-- [Champion 2]
-- [etc.]
+- [Dan Chiarlone](https://github.com/danbugs)
+- [David Justice](https://github.com/devigned)
+- [Jiaxiao Zhou](https://github.com/Mossaka)
 
 ### Phase 4 Advancement Criteria
 
-TODO before entering Phase 2.
+`wasi-sql` should have at least two implementations (i.e., from service providers, and or cloud providers), and, at the very minimum, pass the testsuite for Windows, Linux, and MacOS.
 
-## Table of Contents [if the explainer is longer than one printed page]
+## Table of Contents
 
 - [Introduction](#introduction)
 - [Goals [or Motivating Use Cases, or Scenarios]](#goals-or-motivating-use-cases-or-scenarios)

sql.wit.md

@@ -0,0 +1,66 @@
+# `wasi-sql` API
+
+## Interfaces
+
+```wit
+interface "wasi:sql" {
+    // iterator item type
+    resource row {
+        field-name: list<string>
+        values: list<data-types>
+        index: u32
+    }
+
+    // common data types
+    variant data-types {
+        integer(s32),
+        float(float64),
+        str(string),
+        boolean(bool),
+        date(string),
+        time(string),
+        timestamp(string),
+        binary(list<u8>),
+    }
+
+    // iterator for rows
+    resource sql-result {
+        next: func() -> option<row>
+    }
+
+    // allows parameterized queries
+    resource statement {
+        // e.g., create("SELECT * FROM users WHERE name = ? AND age = ?", vec!["John Doe", "32"])
+        create: func(s: string, p: list<string>) -> result<statement, error>
+    }
+
+    // query is optimized for querying data, and 
+    // implementors can make use of that fact to optimize 
+    // the performance of query execution (e.g., using
+    // indexes).
+    query: func(q: statement) -> result<sql-result, error>
+
+    // exec is for modifying data in the database.
+    exec: func(q: statement) -> result<_, error>
+
+    // common error types
+    enum error {
+        syntax-error(string),
+        constraint-violation(string),
+        access-violation(string)
+    }
+}
+```
+
+## Worlds
+
+```wit
+world "wasi:sql/http-sql" {
+    import sql: "wasi:sql"
+
+    export handle-create: "wasi:http/handler"
+    export handle-read: "wasi:http/handler"
+    export handle-update: "wasi:http/handler"
+    export handle-delete: "wasi:http/handler"
+}
+```