summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-12-07 10:25:55 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-12-07 10:25:55 -0500
commit179e65fbb067c57a14c32978ff6d97259dbdb6ae (patch)
tree4dc16d450814d8fa679c0997eeb014104f26be1f
parenteb5f44454afe508d57b73f79339e9cb0b6b51443 (diff)
Sequences
-rw-r--r--doc/manual.tex10
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index 83ce8867..95d2d548 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -1187,4 +1187,14 @@ $$\begin{array}{l}
\mt{val} \; \mt{delete} : \mt{fields} ::: \{\mt{Type}\} \to \mt{sql\_table} \; \mt{fields} \to \mt{sql\_exp} \; [\mt{T} = \mt{fields}] \; [] \; [] \; \mt{bool} \to \mt{dml}
\end{array}$$
+\subsubsection{Sequences}
+
+SQL sequences are counters with concurrency control, often used to assign unique IDs. Ur/Web supports them via a simple interface. The only way to create a sequence is with the $\mt{sequence}$ declaration form.
+
+$$\begin{array}{l}
+ \mt{type} \; \mt{sql\_sequence} \\
+ \mt{val} \; \mt{nextval} : \mt{sql\_sequence} \to \mt{transaction} \; \mt{int}
+\end{array}$$
+
+
\end{document} \ No newline at end of file