From 41c63800f3c6f330002b29b133836f6e4f7a81d3 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 7 Dec 2008 10:25:55 -0500
Subject: Sequences

---
 doc/manual.tex | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'doc/manual.tex')

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
-- 
cgit v1.2.3

