\relax 
\citation{opl-book}
\citation{ooql-principles}
\citation{opl-critique}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{codd-70}
\citation{codd-79}
\citation{codd-book}
\citation{SQL}
\citation{buneman-etal-94}
\citation{vandenberg-phd}
\citation{wong-phd}
\citation{oql}
\@writefile{toc}{\contentsline {section}{\numberline {2}A brief history of query languages}{2}}
\newlabel{history}{{2}{2}}
\citation{buneman-etal-94}
\citation{fegaras-maier-2000}
\citation{libkin-etal-96}
\citation{fegaras-maier-2000}
\citation{libkin-etal-96}
\citation{fegaras-maier-2000}
\@writefile{toc}{\contentsline {section}{\numberline {3}\textsc  {Opl}\ as an object query language}{3}}
\newlabel{oplasoql}{{3}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {4}A review of object query language formalisms}{3}}
\newlabel{review}{{4}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Monoid homomorphisms and comprehensions}{3}}
\newlabel{monhomcomp}{{4.1}{3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.1}Monoid homomorphisms}{3}}
\newlabel{monhom}{{4.1.1}{3}}
\newlabel{monhomdef}{{4.1}{4}}
\newlabel{loop}{{1}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.2}Monoid comprehensions}{5}}
\newlabel{moncomp}{{4.1.2}{5}}
\newlabel{moncompdef}{{4.2}{5}}
\newlabel{setjoin}{{2}{6}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.3}The monoid comprehension calculus}{6}}
\newlabel{mcc}{{4.1.3}{6}}
\citation{zpl-regions}
\citation{zpl-sparse-regions}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The monoid comprehension calculus}}{7}}
\newlabel{mcc-syntax}{{1}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Multidimensional arrays as functions}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Discussion}{7}}
\newlabel{discussion}{{5}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}What types for \textsc  {Matisse}?}{7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.1.1}Primitive types}{7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.1.2}Object types}{7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.1.3}Collections types}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Array types}{7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.1}First-class indexing}{7}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Typing rules for the Monoid Comprehension Calculus}}{8}}
\newlabel{mcc-typing}{{2}{8}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces \textsc  {Opl}\ types}}{9}}
\newlabel{opl-types}{{3}{9}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.2}Indexing types}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Functional abstraction}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Designing \textsc  {Matisse}}{9}}
\newlabel{redesign}{{6}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Algebra}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}Semantics}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3}Implementation}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {A}Technical Background}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1}The Relational Model}{9}}
\newlabel{relmod}{{A.1}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.2}Monoids}{9}}
\newlabel{monoids}{{A.2}{9}}
\newlabel{assoc}{{3}{9}}
\newlabel{neutral}{{4}{9}}
\citation{fegaras-maier-2000}
\newlabel{commut}{{5}{10}}
\newlabel{idem}{{6}{10}}
\newlabel{tstar}{{7}{10}}
\citation{rewriting-taste}
\citation{k-b}
\citation{rewriting-taste}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Attributes of a few common monoids}}{12}}
\newlabel{monatts}{{1}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.3}The Typed Polymorphic $\lambda $-Calculus}{12}}
\newlabel{tplc}{{A.3}{12}}
\newlabel{lambda-terms}{{8}{12}}
\newlabel{beta-reduction}{{9}{12}}
\newlabel{lambda-types}{{10}{13}}
\newlabel{type-extension}{{11}{13}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Typing rules for the Typed Polymorphic $\lambda $-Calculus}}{14}}
\newlabel{tplc-rules}{{4}{14}}
\newlabel{extended-lambda-terms}{{12}{14}}
\newlabel{extended-reductions}{{13}{14}}
\newlabel{extended-lambda-types}{{14}{14}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Typing rules for an Extended Typed Polymorphic $\lambda $-Calculus}}{15}}
\newlabel{extended-tplc-rules}{{5}{15}}
\@writefile{toc}{\contentsline {section}{\numberline {B}A Transportation Model in \textsc  {Opl}}{15}}
\newlabel{transpmod}{{B}{15}}
\bibstyle{plain}
\bibdata{main}
\bibcite{buneman-etal-94}{1}
\bibcite{oql}{2}
\bibcite{zpl-regions}{3}
\bibcite{zpl-sparse-regions}{4}
\bibcite{codd-70}{5}
\bibcite{codd-79}{6}
\bibcite{codd-book}{7}
\bibcite{rewriting-taste}{8}
\bibcite{fegaras-maier-2000}{9}
\bibcite{opl-book}{10}
\bibcite{ooql-principles}{11}
\bibcite{SQL}{12}
\bibcite{k-b}{13}
\bibcite{libkin-etal-96}{14}
\bibcite{opl-critique}{15}
\bibcite{vandenberg-phd}{16}
\bibcite{wong-phd}{17}