Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/doc/manual.tex Sun May 06 16:08:48 2012 -0400 +++ b/doc/manual.tex Mon May 07 08:16:18 2012 -0400 @@ -2173,8 +2173,10 @@ \textrm{Column names} & f &::=& X & \textrm{constant column name} \\ &&& \{c\} & \textrm{computed column name (of kind $\mt{Name}$)} \\ \textrm{Tables} & T &::=& x & \textrm{table variable, named locally by its own capitalization} \\ - &&& x \; \mt{AS} \; t & \textrm{table variable, with local name} \\ + &&& x \; \mt{AS} \; X & \textrm{table variable, with local name} \\ + &&& x \; \mt{AS} \; \{c\} & \textrm{table variable, with computed local name} \\ &&& \{\{e\}\} \; \mt{AS} \; t & \textrm{computed table expression, with local name} \\ + &&& \{\{e\}\} \; \mt{AS} \; \{c\} & \textrm{computed table expression, with computed local name} \\ \textrm{$\mt{FROM}$ items} & F &::=& T \mid \{\{e\}\} \mid F \; J \; \mt{JOIN} \; F \; \mt{ON} \; E \\ &&& \mid F \; \mt{CROSS} \; \mt{JOIN} \ F \\ &&& \mid (Q) \; \mt{AS} \; t \\