comparison doc/manual.tex @ 2093:c647f113ba3e

New antiquote syntax for ORDER BY
author Adam Chlipala <adam@chlipala.net>
date Tue, 23 Dec 2014 12:24:38 -0500
parents fde864eacd47
children 6700f3700328
comparison
equal deleted inserted replaced
2092:d4eb9b6729f8 2093:c647f113ba3e
2261 $$\begin{array}{rrcll} 2261 $$\begin{array}{rrcll}
2262 \textrm{Queries} & Q &::=& (q \; [\mt{ORDER} \; \mt{BY} \; O] \; [\mt{LIMIT} \; N] \; [\mt{OFFSET} \; N]) \\ 2262 \textrm{Queries} & Q &::=& (q \; [\mt{ORDER} \; \mt{BY} \; O] \; [\mt{LIMIT} \; N] \; [\mt{OFFSET} \; N]) \\
2263 \textrm{Pre-queries} & q &::=& \mt{SELECT} \; [\mt{DISTINCT}] \; P \; \mt{FROM} \; F,^+ \; [\mt{WHERE} \; E] \; [\mt{GROUP} \; \mt{BY} \; p,^+] \; [\mt{HAVING} \; E] \\ 2263 \textrm{Pre-queries} & q &::=& \mt{SELECT} \; [\mt{DISTINCT}] \; P \; \mt{FROM} \; F,^+ \; [\mt{WHERE} \; E] \; [\mt{GROUP} \; \mt{BY} \; p,^+] \; [\mt{HAVING} \; E] \\
2264 &&& \mid q \; R \; q \mid \{\{\{e\}\}\} \\ 2264 &&& \mid q \; R \; q \mid \{\{\{e\}\}\} \\
2265 \textrm{Relational operators} & R &::=& \mt{UNION} \mid \mt{INTERSECT} \mid \mt{EXCEPT} \\ 2265 \textrm{Relational operators} & R &::=& \mt{UNION} \mid \mt{INTERSECT} \mid \mt{EXCEPT} \\
2266 \textrm{$\mt{ORDER \; BY}$ items} & O &::=& \mt{RANDOM} [()] \mid \hat{E} \; [o] \mid \hat{E} \; [o], O 2266 \textrm{$\mt{ORDER \; BY}$ items} & O &::=& \mt{RANDOM} [()] \mid \hat{E} \; [o] \mid \hat{E} \; [o], O \mid \{\{\{e\}\}\}
2267 \end{array}$$ 2267 \end{array}$$
2268 2268
2269 $$\begin{array}{rrcll} 2269 $$\begin{array}{rrcll}
2270 \textrm{Projections} & P &::=& \ast & \textrm{all columns} \\ 2270 \textrm{Projections} & P &::=& \ast & \textrm{all columns} \\
2271 &&& p,^+ & \textrm{particular columns} \\ 2271 &&& p,^+ & \textrm{particular columns} \\