summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-05-07 08:16:18 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-05-07 08:16:18 -0400
commit53159b76f6717fab5165fd859f6caa8066951262 (patch)
treef4d91af9adef49e3ac649ce30202fcda3ef42667
parentb9634e3475a851640db7ddf93bb29e7778bc9e34 (diff)
Fix manual's grammar for subquery FROM items
-rw-r--r--doc/manual.tex4
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 \\