From 53159b76f6717fab5165fd859f6caa8066951262 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 7 May 2012 08:16:18 -0400 Subject: Fix manual's grammar for subquery FROM items --- doc/manual.tex | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'doc/manual.tex') 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 \\ -- cgit v1.2.3