Mercurial > urweb
comparison doc/manual.tex @ 1490:a77fa7e7bb7b
Fix manual syntax for SQL injection
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 08 Jul 2011 13:33:26 -0400 |
parents | 8314f1a309e7 |
children | dbb461e55eda |
comparison
equal
deleted
inserted
replaced
1489:4437b008e0ab | 1490:a77fa7e7bb7b |
---|---|
2053 &&& \mid (Q) \; \mt{AS} \; t \\ | 2053 &&& \mid (Q) \; \mt{AS} \; t \\ |
2054 \textrm{Joins} & J &::=& [\mt{INNER}] \\ | 2054 \textrm{Joins} & J &::=& [\mt{INNER}] \\ |
2055 &&& \mid [\mt{LEFT} \mid \mt{RIGHT} \mid \mt{FULL}] \; [\mt{OUTER}] \\ | 2055 &&& \mid [\mt{LEFT} \mid \mt{RIGHT} \mid \mt{FULL}] \; [\mt{OUTER}] \\ |
2056 \textrm{SQL expressions} & E &::=& p & \textrm{column references} \\ | 2056 \textrm{SQL expressions} & E &::=& p & \textrm{column references} \\ |
2057 &&& X & \textrm{named expression references} \\ | 2057 &&& X & \textrm{named expression references} \\ |
2058 &&& \{\{e\}\} & \textrm{injected native Ur expressions} \\ | 2058 &&& \{[e]\} & \textrm{injected native Ur expressions} \\ |
2059 &&& \{e\} & \textrm{computed expressions, probably using $\mt{sql\_exp}$ directly} \\ | 2059 &&& \{e\} & \textrm{computed expressions, probably using $\mt{sql\_exp}$ directly} \\ |
2060 &&& \mt{TRUE} \mid \mt{FALSE} & \textrm{boolean constants} \\ | 2060 &&& \mt{TRUE} \mid \mt{FALSE} & \textrm{boolean constants} \\ |
2061 &&& \ell & \textrm{primitive type literals} \\ | 2061 &&& \ell & \textrm{primitive type literals} \\ |
2062 &&& \mt{NULL} & \textrm{null value (injection of $\mt{None}$)} \\ | 2062 &&& \mt{NULL} & \textrm{null value (injection of $\mt{None}$)} \\ |
2063 &&& E \; \mt{IS} \; \mt{NULL} & \textrm{nullness test} \\ | 2063 &&& E \; \mt{IS} \; \mt{NULL} & \textrm{nullness test} \\ |