ebnf savepoint

pingcap · Apr 9, 2024 · 8dd5b41 · 8dd5b41
1 parent e29d7b6
commit 8dd5b41
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/sql-statements/sql-statement-savepoint.md b/sql-statements/sql-statement-savepoint.md
@@ -36,6 +36,19 @@ RELEASE SAVEPOINT identifier
 
     After the transaction is committed or rolled back, all savepoints in the transaction will be deleted.
 
+## Synopsis
+
+```ebnf+diagram
+SavepointStmt ::=
+    "SAVEPOINT" Identifier
+
+RollbackToStmt ::=
+    "ROLLBACK" "TO" "SAVEPOINT"? Identifier
+
+ReleaseSavepointStmt ::=
+    "RELEASE" "SAVEPOINT" Identifier
+```
+
 ## Examples
 
 Create a table `t1`: