diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-12-07 10:25:55 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-12-07 10:25:55 -0500 |
commit | 41c63800f3c6f330002b29b133836f6e4f7a81d3 (patch) | |
tree | 4dc16d450814d8fa679c0997eeb014104f26be1f /doc/manual.tex | |
parent | d86935ec25586bbba5b6aaf60fb93d20e99de964 (diff) |
Sequences
Diffstat (limited to 'doc/manual.tex')
-rw-r--r-- | doc/manual.tex | 10 |
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 |