\documentclass[twocolumn]{article} \setlength{\oddsidemargin}{-0.1875in} \setlength{\evensidemargin}{-0.1875in} \setlength{\columnsep}{0.3125in} \setlength{\topmargin}{-0.75in} \setlength{\textheight}{8.875in} \setlength{\textwidth}{6.875in} \setlength{\headheight}{0.3in} \setlength{\marginparwidth}{.7in} \setcounter{topnumber}{2} \setcounter{bottomnumber}{2} \renewcommand{\topfraction}{1.0} \renewcommand{\bottomfraction}{1.0} \renewcommand{\textfraction}{.00} \setcounter{totalnumber}{4} %\setlength{\floatsep}{0pt plus 2pt minus 2pt} \setlength{\textfloatsep}{4pt plus 2pt minus 4pt} \usepackage{amssymb} \usepackage{amstext} \usepackage{array} \usepackage{boxedminipage} \usepackage{calc} \usepackage{citesort} \usepackage[dvips]{epsfig} \usepackage{fancybox} \usepackage{fancyheadings} \usepackage{fleqn} \usepackage{hhline} \usepackage{multirow} \usepackage{psboxit} \usepackage{pst-node} \usepackage{pstricks} \usepackage{stretch} \usepackage{subfigure} \usepackage{theorem} \usepackage{times} \usepackage{timestamp} \usepackage{verbatim} \usepackage{xspace} \PScommands \setlength{\mathindent}{0in} \renewcommand{\baselinestretch}{1.0} \newcommand{\eg}{e.g.,\xspace} \newcommand{\ie}{i.e.,\xspace} \newcommand{\etc}{etc.\@\xspace} \makeatletter \newcommand{\preprint} {\pagestyle{empty} \newcommand{\firstpage} {\thispagestyle{plain} \makeatletter \renewcommand{\ps@plain}{ \renewcommand{\@oddhead}{\fbox{To appear in \textit{Proceedings 11th International Conference on Data Engineering}, Taipei, March 1995}} \renewcommand{\@evenhead}{} \renewcommand{\@evenfoot}{} \renewcommand{\@oddfoot}{}} \makeatother}} \newcommand{\reprint} {\pagestyle{empty} \newcommand{\firstpage} {\thispagestyle{plain} \makeatletter \renewcommand{\ps@plain}{ \renewcommand{\@oddhead}{\fbox{In \textit{Proceedings 11th International Conference on Data Engineering}, pages 201--210, Taipei, March 1995}} \renewcommand{\@evenhead}{} \renewcommand{\@evenfoot}{} \renewcommand{\@oddfoot}{}} \makeatother}} \makeatother \newcommand{\final} {\pagestyle{empty} \newcommand{\firstpage}{\thispagestyle{empty}}} \newcommand{\myshadowsize}{2pt} \newcommand{\myshadowbox}{\setlength{\shadowsize}{\myshadowsize}\shadowbox} \newcommand{\doubleopenbraces}{\{\{} \newcommand{\doubleclosebraces}{\}\}} \newcommand{\nodesizes}{\scriptsize} \newlength{\edgesizes} \setlength{\edgesizes}{6mm} \newcommand{\graybox}[3]{\psboxit{box .5 setgray fill}{\makebox[#1][#2]{#3}}} \theoremstyle{plain} \theoremheaderfont{\scshape} \theorembodyfont{\rmfamily} \newtheorem{myexample}{Example} \renewcommand{\themyexample}{\arabic{myexample}.} \newenvironment{example} {\begin{myexample}\quad} {\hfill$\Box$\end{myexample}} \newenvironment{smalleqnarray*}[1] {#1 \begin{eqnarray*}} {\end{eqnarray*} \normalsize} \newenvironment{quarterminipage} {\begin{minipage}[b]{0.22\linewidth}} {\end{minipage}} \newenvironment{halfminipage} {\begin{minipage}[b]{0.44\linewidth}} {\end{minipage}} \newenvironment{fullminipage} {\begin{minipage}[b]{0.93\linewidth}} {\end{minipage}} \newenvironment{fullminipagerule} {\setlength{\topsep}{0pt} \scriptsize \begin{fullminipage}} {\end{fullminipage}} \newenvironment{halfminipagerule} {\setlength{\topsep}{0pt} \footnotesize \begin{halfminipage}} {\end{halfminipage}} % Command to add space to second line of rule definitions. \newcommand{\rulespace}{\quad} \newenvironment{ruleactions} {$\doubleopenbraces$ \begin{tabbing} \hspace{2pc} \= \kill} {\end{tabbing} $\doubleclosebraces$} \newenvironment{trule} {\begin{equation}} {\end{equation}} \newenvironment{trulepretest} {\begin{ruleactions}} {\end{ruleactions} \\} \newenvironment{truleposttest} {\\ \begin{ruleactions}} {\end{ruleactions}} \newenvironment{fullminipagetrule} {\begin{fullminipagerule}} {\end{fullminipagerule}} \newenvironment{halfminipagetrule} {\begin{halfminipagerule}} {\end{halfminipagerule}} \newenvironment{irule} {\begin{equation}} {\end{equation}} \newenvironment{irulepreopt} {\\ \begin{ruleactions}} {\end{ruleactions}} \newenvironment{irulepostopt} {\\ \begin{ruleactions}} {\end{ruleactions}} \newenvironment{fullminipageirule} {\begin{fullminipagerule}} {\end{fullminipagerule}} \newenvironment{halfminipageirule} {\begin{halfminipagerule}} {\end{halfminipagerule}} \newenvironment{centeredfigure} {\begin{figure}[tb] \begin{center}} {\end{center} \end{figure}} \newenvironment{centeredfigure*} {\begin{figure*}[tb] \begin{center}} {\end{center} \end{figure*}} \newenvironment{centeredtable} {\begin{table}[tb] \begin{center}} {\end{center} \normalsize \end{table}} \newenvironment{centeredtable*} {\begin{table*}[tb] \begin{center}} {\end{center} \normalsize \end{table*}} \newenvironment{centeredinquarterminipage} {\begin{quarterminipage} \begin{center}} {\end{center} \end{quarterminipage}} \newenvironment{centeredinhalfminipage} {\begin{halfminipage} \begin{center}} {\end{center} \end{halfminipage}} \newenvironment{centeredinfullminipage} {\begin{fullminipage} \begin{center}} {\end{center} \end{fullminipage}} \title{\textbf{Prairie: A Rule Specification Framework \\ for Query Optimizers}\thanks{ This research was supported in part by grants from The University of Texas Applied Research Laboratories, Schlumberger, and Digital Equipment Corporation.}\ \thanks{ An expanded version of this paper is available as Technical Report TR 94--16 by anonymous ftp from \texttt{ftp.cs.utexas.edu}.}} \author{Dinesh Das \hspace{1in} Don Batory \\ Department of Computer Sciences \\ The University of Texas at Austin \\ Austin, Texas 78712--1188 \\ \{ddas,batory\}@cs.utexas.edu} \date{} %\final %\preprint \reprint \makeatletter \def\thickhline{\noalign{\ifnum0=`}\fi\hrule \@height 1.5pt \futurelet \@tempa\@xhline} \makeatother \begin{document} \maketitle \pagenumbering{arabic} \input{abstract.tex} \input{intro.tex} \input{model.tex} \input{p2v.tex} \input{results.tex} \input{related.tex} \input{conclusion.tex} \bibliographystyle{plain} \bibliography{references} \end{document}