\relax \citation{Schm77} \citation{ACO85} \citation{ScMa92,MRSS92a} \citation{MBCD89} \citation{OBB89} \citation{MBW80} \citation{O2Ma92} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}} \citation{Beer89,SRH90,SRLG+90} \citation{Subi91} \citation{SBMS93} \citation{Moss90,BrMo92} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}An Abstract Store Model}{3}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.1}The Goals}{3}} \citation{Ingr90} \citation{Subi91} \citation{KL89} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.2}The Model}{4}} \citation{ACO85,MRSS92a,MBCD89,OBB89,ScMa92,Subi91} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.3}Discussion}{6}} \newlabel{section:discuss}{{2.3}{6}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {1}{\ignorespaces A database schema used in examples}}{7}} \newlabel{fig3}{{1}{7}} \citation{SBMS93} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}An Abstract Machine Model}{8}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.1}The Environment Stack}{8}} \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.1.1}Stack Organization}{8}} \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.1.2}Binding via Stack Operations}{9}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.2}The Query Result Stack}{10}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.3}Set Orientation and Parallelism}{11}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}The Language SBQL}{11}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1}The General Framework}{12}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2}Atomic Queries}{12}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.3}Compound Queries: Algebraic Operators}{12}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.4}Compound Queries: non-Algebraic Operators}{13}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.5}Selection}{13}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.6}Joins}{14}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.7}Projection, Navigation, Path Expressions}{15}} \newlabel{examp:works}{{4.2}{15}} \citation{KKS92} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.8}Navigational Join}{16}} \citation{ScMa92} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.9}Quantifiers}{17}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.10}Correlation Variables and Synonyms}{17}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}Updates and Procedures}{18}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.1}Assignment}{18}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.2}Procedures}{19}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Conclusions}{20}} \bibcite{ACO85}{1} \bibcite{Beer89}{2} \bibcite{BrMo92}{3} \bibcite{Ingr90}{4} \bibcite{KKS92}{5} \bibcite{KL89}{6} \bibcite{MRSS92a}{7} \bibcite{MBCD89}{8} \bibcite{Moss90}{9} \bibcite{MBW80}{10} \bibcite{O2Ma92}{11} \bibcite{OBB89}{12} \bibcite{Schm77}{13} \bibcite{ScMa92}{14} \bibcite{SRH90}{15} \bibcite{SRLG+90}{16} \bibcite{Subi91}{17} \bibcite{SBMS93}{18}