\relax 
\citation{Ingr90}
\citation{Orac91}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}}
\citation{ScMa91,ScMa92,MRSS92}
\citation{Banc92}
\citation{IngrA89,IngrB89}
\citation{SRLG+90}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Similarities and Differences of DBPL and Ingres SQL}{3}}
\citation{ERMS91}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Mapping DBPL into SQL}{6}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.1}Unproblematic Cases}{6}}
\citation{Frat91}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.2}Predicates with Universal Quantifiers}{7}}
\newlabel{quantified}{{3.2}{7}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.3}DBPL Expressions Mixing DBPL and Ingres Relations}{8}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.4}Predicates with a Range Relation Given by a Subpredicate}{8}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.5}FOR EACH Construct}{8}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.6}Implementation of High-Level Relational Assignments}{10}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.7}Relational Comparisons}{11}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Architecture of the Gateway}{11}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {1}{\ignorespaces General view on the gateway, DBPL and Ingres}}{12}}
\newlabel{gateconnections}{{1}{12}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {2}{\ignorespaces Architecture of the gateway}}{13}}
\newlabel{gatearch}{{2}{13}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}Implementation Difficulties}{13}}
\citation{ScMa93}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Conclusion}{15}}
\bibcite{Banc92}{Banc92}
\bibcite{Date87}{Date87}
\bibcite{ERMS91}{ERMS91}
\bibcite{Frat91}{Frat91}
\bibcite{IngrA89}{IngrA89}
\bibcite{IngrB89}{IngrB89}
\bibcite{Ingr90}{Ingr90}
\bibcite{Orac91}{Orac91}
\bibcite{MRSS92}{MRSS92}
\bibcite{ScMa91}{ScMa91}
\bibcite{ScMa92}{ScMa92}
\bibcite{ScMa93}{ScMa93}
\bibcite{SRLG+90}{SRLG+90}