comparison doc/manual.tex @ 2031:d11a7a9c4a73

New syntactic shorthand for antiquoting subqueries
author Adam Chlipala <adam@chlipala.net>
date Wed, 25 Jun 2014 14:04:13 -0400
parents afeeabdcce77
children 3d10ae22abd6
comparison
equal deleted inserted replaced
2030:6add6d00ef5f 2031:d11a7a9c4a73
2278 &&& x \; \mt{AS} \; \{c\} & \textrm{table variable, with computed local name} \\ 2278 &&& x \; \mt{AS} \; \{c\} & \textrm{table variable, with computed local name} \\
2279 &&& \{\{e\}\} \; \mt{AS} \; t & \textrm{computed table expression, with local name} \\ 2279 &&& \{\{e\}\} \; \mt{AS} \; t & \textrm{computed table expression, with local name} \\
2280 &&& \{\{e\}\} \; \mt{AS} \; \{c\} & \textrm{computed table expression, with computed local name} \\ 2280 &&& \{\{e\}\} \; \mt{AS} \; \{c\} & \textrm{computed table expression, with computed local name} \\
2281 \textrm{$\mt{FROM}$ items} & F &::=& T \mid \{\{e\}\} \mid F \; J \; \mt{JOIN} \; F \; \mt{ON} \; E \\ 2281 \textrm{$\mt{FROM}$ items} & F &::=& T \mid \{\{e\}\} \mid F \; J \; \mt{JOIN} \; F \; \mt{ON} \; E \\
2282 &&& \mid F \; \mt{CROSS} \; \mt{JOIN} \ F \\ 2282 &&& \mid F \; \mt{CROSS} \; \mt{JOIN} \ F \\
2283 &&& \mid (Q) \; \mt{AS} \; t \\ 2283 &&& \mid (Q) \; \mt{AS} \; t \mid (\{\{e\}\}) \; \mt{AS} \; t \\
2284 \textrm{Joins} & J &::=& [\mt{INNER}] \\ 2284 \textrm{Joins} & J &::=& [\mt{INNER}] \\
2285 &&& \mid [\mt{LEFT} \mid \mt{RIGHT} \mid \mt{FULL}] \; [\mt{OUTER}] \\ 2285 &&& \mid [\mt{LEFT} \mid \mt{RIGHT} \mid \mt{FULL}] \; [\mt{OUTER}] \\
2286 \textrm{SQL expressions} & E &::=& t.f & \textrm{column references} \\ 2286 \textrm{SQL expressions} & E &::=& t.f & \textrm{column references} \\
2287 &&& X & \textrm{named expression references} \\ 2287 &&& X & \textrm{named expression references} \\
2288 &&& \{[e]\} & \textrm{injected native Ur expressions} \\ 2288 &&& \{[e]\} & \textrm{injected native Ur expressions} \\