diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-03 17:07:34 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-03 17:07:34 -0500 |
| commit | 40098da68420bb08aa0aa0889fa5298fd005c245 (patch) | |
| tree | 4a3196962218f0210b35345956cb45b2f2b1cab9 /doc | |
| parent | 4c2e04f12e462340edf88547db72d9b06806523b (diff) | |
New 't.*' notation for SELECT
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex index e921de74..0c64da4c 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -2128,6 +2128,7 @@ $$\begin{array}{rrcll} &&& p,^+ & \textrm{particular columns} \\ \textrm{Pre-projections} & p &::=& t.f & \textrm{one column from a table} \\ &&& t.\{\{c\}\} & \textrm{a record of columns from a table (of kind $\{\mt{Type}\}$)} \\ + &&& t.* & \textrm{all columns from a table} \\ &&& E \; [\mt{AS} \; f] & \textrm{expression column} \\ \textrm{Table names} & t &::=& x & \textrm{constant table name (automatically capitalized)} \\ &&& X & \textrm{constant table name} \\ |