Mercurial > urweb
comparison doc/manual.tex @ 1587:257421857680
Fix SQL grammar bug in manual
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 05 Nov 2011 09:40:38 -0400 |
parents | e1f4ac9ca34b |
children | d9de8b3f8167 |
comparison
equal
deleted
inserted
replaced
1586:03ad79980b55 | 1587:257421857680 |
---|---|
2129 \textrm{$\mt{FROM}$ items} & F &::=& T \mid \{\{e\}\} \mid F \; J \; \mt{JOIN} \; F \; \mt{ON} \; E \\ | 2129 \textrm{$\mt{FROM}$ items} & F &::=& T \mid \{\{e\}\} \mid F \; J \; \mt{JOIN} \; F \; \mt{ON} \; E \\ |
2130 &&& \mid F \; \mt{CROSS} \; \mt{JOIN} \ F \\ | 2130 &&& \mid F \; \mt{CROSS} \; \mt{JOIN} \ F \\ |
2131 &&& \mid (Q) \; \mt{AS} \; t \\ | 2131 &&& \mid (Q) \; \mt{AS} \; t \\ |
2132 \textrm{Joins} & J &::=& [\mt{INNER}] \\ | 2132 \textrm{Joins} & J &::=& [\mt{INNER}] \\ |
2133 &&& \mid [\mt{LEFT} \mid \mt{RIGHT} \mid \mt{FULL}] \; [\mt{OUTER}] \\ | 2133 &&& \mid [\mt{LEFT} \mid \mt{RIGHT} \mid \mt{FULL}] \; [\mt{OUTER}] \\ |
2134 \textrm{SQL expressions} & E &::=& p & \textrm{column references} \\ | 2134 \textrm{SQL expressions} & E &::=& t.f & \textrm{column references} \\ |
2135 &&& X & \textrm{named expression references} \\ | 2135 &&& X & \textrm{named expression references} \\ |
2136 &&& \{[e]\} & \textrm{injected native Ur expressions} \\ | 2136 &&& \{[e]\} & \textrm{injected native Ur expressions} \\ |
2137 &&& \{e\} & \textrm{computed expressions, probably using $\mt{sql\_exp}$ directly} \\ | 2137 &&& \{e\} & \textrm{computed expressions, probably using $\mt{sql\_exp}$ directly} \\ |
2138 &&& \mt{TRUE} \mid \mt{FALSE} & \textrm{boolean constants} \\ | 2138 &&& \mt{TRUE} \mid \mt{FALSE} & \textrm{boolean constants} \\ |
2139 &&& \ell & \textrm{primitive type literals} \\ | 2139 &&& \ell & \textrm{primitive type literals} \\ |