Mercurial > urweb
comparison doc/manual.tex @ 1756:f69174d0abc0
Fix manual's grammar for subquery FROM items
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 07 May 2012 08:16:18 -0400 |
parents | 957168662198 |
children | be114e170b77 |
comparison
equal
deleted
inserted
replaced
1755:e9587120831a | 1756:f69174d0abc0 |
---|---|
2171 &&& X & \textrm{constant table name} \\ | 2171 &&& X & \textrm{constant table name} \\ |
2172 &&& \{\{c\}\} & \textrm{computed table name (of kind $\mt{Name}$)} \\ | 2172 &&& \{\{c\}\} & \textrm{computed table name (of kind $\mt{Name}$)} \\ |
2173 \textrm{Column names} & f &::=& X & \textrm{constant column name} \\ | 2173 \textrm{Column names} & f &::=& X & \textrm{constant column name} \\ |
2174 &&& \{c\} & \textrm{computed column name (of kind $\mt{Name}$)} \\ | 2174 &&& \{c\} & \textrm{computed column name (of kind $\mt{Name}$)} \\ |
2175 \textrm{Tables} & T &::=& x & \textrm{table variable, named locally by its own capitalization} \\ | 2175 \textrm{Tables} & T &::=& x & \textrm{table variable, named locally by its own capitalization} \\ |
2176 &&& x \; \mt{AS} \; t & \textrm{table variable, with local name} \\ | 2176 &&& x \; \mt{AS} \; X & \textrm{table variable, with local name} \\ |
2177 &&& x \; \mt{AS} \; \{c\} & \textrm{table variable, with computed local name} \\ | |
2177 &&& \{\{e\}\} \; \mt{AS} \; t & \textrm{computed table expression, with local name} \\ | 2178 &&& \{\{e\}\} \; \mt{AS} \; t & \textrm{computed table expression, with local name} \\ |
2179 &&& \{\{e\}\} \; \mt{AS} \; \{c\} & \textrm{computed table expression, with computed local name} \\ | |
2178 \textrm{$\mt{FROM}$ items} & F &::=& T \mid \{\{e\}\} \mid F \; J \; \mt{JOIN} \; F \; \mt{ON} \; E \\ | 2180 \textrm{$\mt{FROM}$ items} & F &::=& T \mid \{\{e\}\} \mid F \; J \; \mt{JOIN} \; F \; \mt{ON} \; E \\ |
2179 &&& \mid F \; \mt{CROSS} \; \mt{JOIN} \ F \\ | 2181 &&& \mid F \; \mt{CROSS} \; \mt{JOIN} \ F \\ |
2180 &&& \mid (Q) \; \mt{AS} \; t \\ | 2182 &&& \mid (Q) \; \mt{AS} \; t \\ |
2181 \textrm{Joins} & J &::=& [\mt{INNER}] \\ | 2183 \textrm{Joins} & J &::=& [\mt{INNER}] \\ |
2182 &&& \mid [\mt{LEFT} \mid \mt{RIGHT} \mid \mt{FULL}] \; [\mt{OUTER}] \\ | 2184 &&& \mid [\mt{LEFT} \mid \mt{RIGHT} \mid \mt{FULL}] \; [\mt{OUTER}] \\ |