\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}
