diff options
author | 2008-12-07 12:21:47 -0500 | |
---|---|---|
committer | 2008-12-07 12:21:47 -0500 | |
commit | 73ce22b2661dd696af430c9cd34afd2d4b988a92 (patch) | |
tree | b0a5e5ee67430e7e8fe45a589b71f28527a3fe68 | |
parent | 7fa21e094a8556cc27447b4f4ff77700c09b232f (diff) |
XML syntax
-rw-r--r-- | doc/manual.tex | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex index 4915edfb..b52146de 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -1313,4 +1313,20 @@ $$\begin{array}{rrcll} Inside $\mt{UPDATE}$ and $\mt{DELETE}$ commands, lone variables $X$ are interpreted as references to columns of the implicit table $\mt{T}$, rather than to named expressions. +\subsection{XML} + +XML fragments $L$ are added to the rules for expressions $e$. + +$$\begin{array}{rrcll} + \textrm{XML fragments} & L &::=& \texttt{<xml/>} \mid \texttt{<xml>}l^*\texttt{</xml>} \\ + \textrm{XML pieces} & l &::=& \textrm{text} & \textrm{cdata} \\ + &&& \texttt{<}g\texttt{/>} & \textrm{tag with no children} \\ + &&& \texttt{<}g\texttt{>}l^*\texttt{</}x\texttt{>} & \textrm{tag with children} \\ + \textrm{Tag} & g &::=& h \; (x = v)^* \\ + \textrm{Tag head} & h &::=& x & \textrm{tag name} \\ + &&& h\{c\} & \textrm{constructor parameter} \\ + \textrm{Attribute value} & v &::=& \ell & \textrm{literal value} \\ + &&& \{e\} & \textrm{computed value} \\ +\end{array}$$ + \end{document}
\ No newline at end of file |