Mercurial > urweb

comparison doc/manual.tex @ 1722:f7d9dc5d57eb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Antiquote for PRIMARY KEY
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Apr 2012 15:47:02 -0400
parents 06791667937e
children 5ecf67553da8
comparison
equal deleted inserted replaced
1721:5df85275c0d4 1722:f7d9dc5d57eb
2111 2111
2112 $\mt{table}$ declarations may include constraints, via these grammar rules. 2112 $\mt{table}$ declarations may include constraints, via these grammar rules.
2113 $$\begin{array}{rrcll} 2113 $$\begin{array}{rrcll}
2114 \textrm{Declarations} & d &::=& \mt{table} \; x : c \; [pk[,]] \; cts \mid \mt{view} \; x = V \\ 2114 \textrm{Declarations} & d &::=& \mt{table} \; x : c \; [pk[,]] \; cts \mid \mt{view} \; x = V \\
2115 \textrm{Primary key constraints} & pk &::=& \mt{PRIMARY} \; \mt{KEY} \; K \\ 2115 \textrm{Primary key constraints} & pk &::=& \mt{PRIMARY} \; \mt{KEY} \; K \\
2116 \textrm{Keys} & K &::=& f \mid (f, (f,)^+) \\ 2116 \textrm{Keys} & K &::=& f \mid (f, (f,)^+) \mid \{\{e\}\} \\
2117 \textrm{Constraint sets} & cts &::=& \mt{CONSTRAINT} f \; ct \mid cts, cts \mid \{\{e\}\} \\ 2117 \textrm{Constraint sets} & cts &::=& \mt{CONSTRAINT} f \; ct \mid cts, cts \mid \{\{e\}\} \\
2118 \textrm{Constraints} & ct &::=& \mt{UNIQUE} \; K \mid \mt{CHECK} \; E \\ 2118 \textrm{Constraints} & ct &::=& \mt{UNIQUE} \; K \mid \mt{CHECK} \; E \\
2119 &&& \mid \mt{FOREIGN} \; \mt{KEY} \; K \; \mt{REFERENCES} \; F \; (K) \; [\mt{ON} \; \mt{DELETE} \; pr] \; [\mt{ON} \; \mt{UPDATE} \; pr] \\ 2119 &&& \mid \mt{FOREIGN} \; \mt{KEY} \; K \; \mt{REFERENCES} \; F \; (K) \; [\mt{ON} \; \mt{DELETE} \; pr] \; [\mt{ON} \; \mt{UPDATE} \; pr] \\
2120 \textrm{Foreign tables} & F &::=& x \mid \{\{e\}\} \\ 2120 \textrm{Foreign tables} & F &::=& x \mid \{\{e\}\} \\
2121 \textrm{Propagation modes} & pr &::=& \mt{NO} \; \mt{ACTION} \mid \mt{RESTRICT} \mid \mt{CASCADE} \mid \mt{SET} \; \mt{NULL} \\ 2121 \textrm{Propagation modes} & pr &::=& \mt{NO} \; \mt{ACTION} \mid \mt{RESTRICT} \mid \mt{CASCADE} \mid \mt{SET} \; \mt{NULL} \\