diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-05-07 08:16:18 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-05-07 08:16:18 -0400 |
| commit | 53159b76f6717fab5165fd859f6caa8066951262 (patch) | |
| tree | f4d91af9adef49e3ac649ce30202fcda3ef42667 | |
| parent | b9634e3475a851640db7ddf93bb29e7778bc9e34 (diff) | |
Fix manual's grammar for subquery FROM items
| -rw-r--r-- | doc/manual.tex | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/manual.tex b/doc/manual.tex index 5bc4c6ae..6012270b 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -2173,8 +2173,10 @@ $$\begin{array}{rrcll} \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 \\ |