This is TeX, Version 3.141 (C version d) (format=latex 94.8.3) 20 MAR 1995 11:32 **&latex2e paper (paper.tex LaTeX2e <1994/06/01> patch level 3 (/lusr/tex/lib/tex/macros/latex2e/article.cls Document Class: article 1994/07/13 v1.2u Standard LaTeX document class (/lusr/tex/lib/tex/macros/latex2e/size10.clo File: size10.clo 1994/07/13 v1.2u Standard LaTeX file (size option) ) \c@part=\count82 \c@section=\count83 \c@subsection=\count84 \c@subsubsection=\count85 \c@paragraph=\count86 \c@subparagraph=\count87 \c@figure=\count88 \c@table=\count89 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/lusr/tex/lib/tex/macros/latex2e/amssymb.sty Package: amssymb 1994/10/27 v1.2beta (/lusr/tex/lib/tex/macros/latex2e/amsfonts.sty Package: amsfonts 1994/10/25 v1.2beta (/lusr/tex/lib/tex/macros/latex2e/amsgen.sty File: amsgen.sty 1994/10/26 v1.2beta \@emptytoks=\toks14 \ex@=\dimen103 ) \Mathstrutbox@=\box25 \strutbox@=\box26 \big@size=\dimen104 \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 151. ) LaTeX Font Info: Redeclaring math symbol \square on input line 55. LaTeX Font Info: Redeclaring math symbol \lozenge on input line 58. ) (/lusr/tex/lib/tex/macros/latex2e/amstext.sty Package: amstext 1994/10/27 v1.2beta ) (/lusr/tex/lib/tex/macros/latex2e/array.sty Package: array 1994/06/01 v2.2e Tabular extension package (FMi) \col@sep=\dimen105 \extrarowheight=\dimen106 \NC@list=\toks15 ) (/u/ddas/tex/latex2e/inputs/boxedminipage.sty) (/u/ddas/tex/latex2e/inputs/calc.sty Style Option: `calc' 3.7 <1993/09/26 19:56:43> (KKT and FJ) \global@count=\count90 \local@count=\count91 \global@dimen=\dimen107 \local@dimen=\dimen108 \global@skip=\skip43 \local@skip=\skip44 \global@muskip=\muskip10 \local@muskip=\muskip11 \ratio@count=\count92 ) (/u/ddas/tex/inputs/citesort.sty \@minsofar=\count93 \@min=\count94 \@cite@temp=\count95 ) (/lusr/tex/lib/tex/macros/latex2e/epsfig.sty Package: epsfig 1994/06/07 1.3 (SPQR) (/lusr/tex/lib/tex/macros/latex2e/graphicx.sty Package: graphicx 1994/05/30 v0.4b Enhanced LaTeX Graphics (DPC,SPQR) (/lusr/tex/lib/tex/macros/latex2e/keyval.sty Package: keyval 1994/03/15 v1.07 sin cos tan (DPC) Package: keyval 1994/02/01 v1.06 (DPC) Package: keyval 1994/02/01 v1.06 (DPC) ) (/lusr/tex/lib/tex/macros/latex2e/graphics.sty Package: graphics 1994/05/30 v0.4e Standard LaTeX Graphics (DPC,SPQR) (/lusr/tex/lib/tex/macros/latex2e/trig.sty Package: trig 1994/03/15 v1.07 sin cos tan (DPC) ) (/lusr/tex/lib/tex/macros/latex2e/dvips.def File: dvips.def 1994/06/08 v1.6 Driver-dependant file (DPC,SPQR) )) \Gin@req@height=\dimen109 \Gin@req@width=\dimen110 ) \epsfxsize=\dimen111 \epsfysize=\dimen112 ) (/u/ddas/tex/pstricks/inputs/fancybox.sty Style option: `fancybox' v1.0 <93/02/10> (tvz) \@fancybox=\box27 \shadowsize=\dimen113 \@Sbox=\box28 \do@VerbBox=\toks16 \the@fancyput=\toks17 \this@fancyput=\toks18 \EndVerbatimTokens=\toks19 \Verbatim@Outfile=\write4 \Verbatim@Infile=\read1 ) (/u/ddas/tex/inputs/fancyheadings.sty \headrulewidth=\dimen114 \footrulewidth=\dimen115 \plainheadrulewidth=\dimen116 \plainfootrulewidth=\dimen117 \headwidth=\dimen118 ) (/lusr/tex/lib/tex/macros/fleqn.sty Document style option `fleqn' - Released 04 Nov 91 \mathindent=\dimen119 ) (/lusr/tex/lib/tex/macros/latex2e/hhline.sty Package: hhline 1994/05/23 v2.03 Table rule package (DPC) ) (/u/ddas/tex/latex2e/inputs/multirow.sty) (/u/ddas/tex/latex2e/inputs/psboxit.sty \gray@box=\box29 \gray@space=\dimen120 ) (/u/ddas/tex/pstricks/inputs/pst-node.sty (/u/ddas/tex/pstricks/inputs/pst-node.tex (/u/ddas/tex/pstricks/inputs/pstricks.tex `PSTricks' v0.93a <93/03/12> (tvz) \pst@dima=\dimen121 \pst@dimb=\dimen122 \pst@dimc=\dimen123 \pst@dimd=\dimen124 \pst@dimg=\dimen125 \pst@dimh=\dimen126 \pst@hbox=\box30 \pst@boxg=\box31 \pst@cnta=\count96 \pst@cntb=\count97 \pst@cntc=\count98 \pst@cntd=\count99 \pst@cntg=\count100 \pst@cnth=\count101 (/u/ddas/tex/pstricks/inputs/pstricks.con) \psunit=\dimen127 \psxunit=\dimen128 \psyunit=\dimen129 \pslinewidth=\dimen130 \pst@customdefs=\toks20 \pslinearc=\dimen131 \everypsbox=\toks21 \psframesep=\dimen132 \pslabelsep=\dimen133 \theoverlaybox=\box32 ))) (/u/ddas/tex/pstricks/inputs/pstricks.sty (/u/ddas/tex/pstricks/inputs/pstricks.tex)) (stretch.sty) (/u/ddas/tex/latex2e/inputs/subfigure.sty \c@subfigure=\count102 \c@lofdepth=\count103 \c@subtable=\count104 \c@lotdepth=\count105 ) (/lusr/tex/lib/tex/macros/latex2e/theorem.sty Package: theorem 1994/02/03 LaTeX2e package v2.2a Package: `theorem' v2.2a <1994/02/03> (FMi) English documentation as of <1994/02/28> (FMi) \theorem@style=\toks22 \theorem@bodyfont=\toks23 \theorempreskipamount=\skip45 \theorempostskipamount=\skip46 (/lusr/tex/lib/tex/macros/latex2e/thp.sty File: thp.sty 1994/02/03 Theorem layout style v2.2a Theorem layout: `theorem-plain' v2.2a <1994/02/03> (FMi) )) (/lusr/tex/lib/tex/macros/latex2e/times.sty Package: times 94/11/11 4.2 Times PSNFSS2e package ) (/u/ddas/tex/inputs/timestamp.sty \hour=\count106 \minute=\count107 \wwwy=\count108 \wwwm=\count109 \wwwd=\count110 \wwwc=\count111 \wwwt=\count112 \wwws=\count113 ) (/lusr/tex/lib/tex/macros/latex2e/verbatim.sty Package: verbatim 1994/06/10 v1.5e LaTeX2e package for verbatim enhancements Package: `verbatim' 4.2 <94/11/11> (RmS) English Documentation <94/11/06> (RmS) \every@verbatim=\toks24 \verbatim@line=\toks25 \verbatim@in@stream=\read2 ) (/lusr/tex/lib/tex/macros/latex2e/xspace.sty Package: xspace 1994/01/31 v1.02 Space after command names (DPC) ) \edgesizes=\skip47 LaTeX Font Info: Try loading font information for OT1+ptm on input line 93. (/lusr/tex/lib/tex/macros/latex2e/OT1ptm.fd) \c@myexample=\count114 (paper.aux) LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 235. LaTeX Font Info: ... okay on input line 235. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 235. LaTeX Font Info: ... okay on input line 235. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 235. LaTeX Font Info: ... okay on input line 235. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 235. LaTeX Font Info: ... okay on input line 235. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 235. LaTeX Font Info: ... okay on input line 235. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 235. LaTeX Font Info: ... okay on input line 235. LaTeX Info: Redefining \" on input line 235. LaTeX Info: Redefining \" on input line 235. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <17.28> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 237. LaTeX Font Info: External font `cmex10' loaded for size (Font) <17.28> on input line 237. LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 237. LaTeX Font Info: Try loading font information for U+msa on input line 237. (/lusr/tex/lib/tex/macros/latex2e/Umsa.fd File: Umsa.fd 1994/10/17 v2.2d AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 237. (/lusr/tex/lib/tex/macros/latex2e/Umsb.fd File: Umsb.fd 1994/10/17 v2.2d AMS font definitions ) LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 237. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 237. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 237. LaTeX Font Info: Try loading font information for OT1+pcr on input line 237. (/lusr/tex/lib/tex/macros/latex2e/OT1pcr.fd) (abstract.tex LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 2. ) (intro.tex Underfull \hbox (badness 10000) has occurred while \output is active [] [] [1 ] Underfull \hbox (badness 2980) in paragraph at lines 60--68 [][]\OT1/ptm/m/n/10 A frame-work in which users can spec-ify map-ping [] ) (model.tex LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 10. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 14. LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 16. Underfull \hbox (badness 1515) in paragraph at lines 34--42 \OT1/ptm/m/n/10 are de-noted by all cap-i-tal let-ters (e.g., JOIN). [] Underfull \hbox (badness 2799) in paragraph at lines 34--42 \OT1/ptm/m/n/10 tial and ad-di-tional. \OT1/ptm/m/it/10 Es-sen-tial pa-ram-e-te rs \OT1/ptm/m/n/10 are [] Underfull \hbox (badness 1354) in paragraph at lines 34--42 \OT1/ptm/m/n/10 the stream or file in-puts to an op-er-a-tor; these [] Underfull \hbox (badness 2158) in paragraph at lines 34--42 \OT1/ptm/m/n/10 are the pri-mary in-puts to be pro-cessed by an [] Underfull \hbox (badness 10000) in paragraph at lines 44--52 [][]\OT1/ptm/m/it/10 Algorithms \OT1/ptm/m/n/10 are con-crete im-ple-men- [] Underfull \hbox (badness 4792) in paragraph at lines 44--52 \OT1/ptm/m/n/10 ta-tions of con-cep-tual op-er-a-tors; they will be [] Underfull \hbox (badness 2809) in paragraph at lines 44--52 \OT1/ptm/m/n/10 rep-re-sented in lower case with the first let-ter [] Underfull \hbox (badness 8000) in paragraph at lines 44--52 \OT1/ptm/m/n/10 cap-i-tal-ized (e.g., Nested[]loops). Al-go-rithms [] Underfull \hbox (badness 2970) in paragraph at lines 44--52 \OT1/ptm/m/n/10 implement.[] Fur-ther-more, there can be, and [] \first=\skip48 \second=\skip49 \third=\skip50 \fourth=\skip51 \linelength=\skip52 LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 71. Overfull \hbox (12.0pt too wide) in paragraph at lines 85--86 []|$[]$| [] Underfull \hbox (badness 4366) in paragraph at lines 200--200 []\OT1/ptm/m/n/8 (a) An ex-pres-sion and its [] [2] Underfull \hbox (badness 3271) in paragraph at lines 301--311 []\OT1/ptm/m/n/10 There are two types of al-ge-braic trans-for-ma-tions (or [] [3] \lefttreeone=\box33 \righttreeone=\box34 \lefttreetwo=\box35 \righttreetwo=\box36 \rewritesto=\box37 \doesnotrewriteto=\box38 [4] Underfull \hbox (badness 6978) in paragraph at lines 766--769 []\OT1/ptm/m/n/10 The post-opt sec-tion in the I-rule has only a cost- [] Underfull \hbox (badness 4699) in paragraph at lines 766--769 \OT1/ptm/m/n/10 assignment state-ment; this sim-ply sets the cost of the [] ) (p2v.tex Underfull \hbox (badness 1902) in paragraph at lines 4--19 \OT1/ptm/m/n/10 In Sec-tion 1[], we enu-mer-ated the four pri-mary goals of [] Underfull \hbox (badness 1577) in paragraph at lines 4--19 \OT1/ptm/m/n/10 and ef-fi-cient gen-er-a-tion of Prairie op-ti-miz-ers. The fi rst [] Underfull \hbox (badness 10000) in paragraph at lines 56--56 []\OT1/ptm/m/n/10 Figure 5: The Prairie optimizer-generator paradigm. [] Underfull \hbox (badness 10000) in paragraph at lines 56--56 \OT1/ptm/m/n/10 Double-boxed mod-ules rep-re-sent soft-ware gen-er-a-tors, [] Underfull \hbox (badness 1194) in paragraph at lines 56--56 \OT1/ptm/m/n/10 shaded boxes rep-re-sent gen-er-ated pro-grams. The out-er- [] Underfull \hbox (badness 1087) in paragraph at lines 56--56 \OT1/ptm/m/n/10 most double-boxed por-tion de-notes the Prairie op-ti-mizer [] [5] Underfull \hbox (badness 1460) in paragraph at lines 105--115 []\OT1/ptm/m/n/10 The third salient fea-ture of a Vol-cano spec-i-fi-ca-tion i s [] Underfull \hbox (badness 2460) in paragraph at lines 105--115 \OT1/ptm/m/n/10 This re-quires the pre-processor to mi-grate the (deleted) [] ) (results.tex Underfull \hbox (badness 4505) in paragraph at lines 24--26 [][]\OT1/ptm/m/n/10 How is pro-gram-mer pro-duc-tiv-ity en-hanced by the [] Underfull \hbox (badness 10000) in paragraph at lines 36--36 []\OT1/ptm/b/n/12 The Texas In-stru-ments Open OODB [] Underfull \hbox (badness 5105) in paragraph at lines 39--49 \OT1/ptm/m/n/10 The Texas In-stru-ments Open Object-Oriented Database [] Underfull \hbox (badness 7576) in paragraph at lines 39--49 \OT1/ptm/m/n/10 database sys-tem which pro-vides users an ar-chi-tec-tural [] Underfull \hbox (badness 1448) in paragraph at lines 39--49 \OT1/ptm/m/n/10 us-ing Vol-cano. It is writ-ten as a set of trans[]rules and [] Underfull \hbox (badness 3417) in paragraph at lines 39--49 \OT1/ptm/m/n/10 impl[]rules that de-fine the al-ge-bra of an object-oriented [] Underfull \hbox (badness 1122) in paragraph at lines 39--49 \OT1/ptm/m/n/10 database sys-tem. Cur-rently, there are 17 trans-for-ma-tion [] Underfull \hbox (badness 10000) in paragraph at lines 39--49 \OT1/ptm/m/n/10 rules and 9 im-ple-men-ta-tion rules to-gether with about [] [6] Underfull \hbox (badness 10000) in paragraph at lines 86--86 []\OT1/ptm/b/n/12 Performance re-sults us-ing the Open [] \Eone=\box39 \Etwo=\box40 \Ethree=\box41 \Efour=\box42 \c@savectr=\count115 \Lone=\skip53 \Ltwo=\skip54 \Lthree=\skip55 \Lfour=\skip56 \Lnum=\skip57 Underfull \hbox (badness 10000) in paragraph at lines 351--356 []\OT1/ptm/m/n/10 Table 3[] also shows the num-ber of trans[]rules and [] Underfull \hbox (badness 1609) in paragraph at lines 351--356 \OT1/ptm/m/n/10 impl[]rules that are matched by each ex-pres-sion. These [] [7] File: runtime_Q1.ps Graphic file (type eps) File: runtime_Q2.ps Graphic file (type eps) File: runtime_Q3.ps Graphic file (type eps) File: runtime_Q4.ps Graphic file (type eps) File: runtime_Q5.ps Graphic file (type eps) File: runtime_Q6.ps Graphic file (type eps) File: runtime_Q7.ps Graphic file (type eps) File: runtime_Q8.ps Graphic file (type eps) ) (related.tex [8]) (conclusion.tex [9]) (paper.bbl Underfull \hbox (badness 1292) in paragraph at lines 10--14 [][]\OT1/ptm/m/n/10 Jos[]e A. Blake-ley, William J. McKenna, and Goetz [] Underfull \hbox (badness 2418) in paragraph at lines 23--29 \OT1/ptm/m/n/10 frame-work for rule spec-i-fi-ca-tion in query op-ti-miz- [] Underfull \hbox (badness 2401) in paragraph at lines 37--41 \OT1/ptm/m/it/10 In-ter-na-tional Con-fer-ence on Man-age-ment of Data\OT1/ptm/ m/n/10 , [] Underfull \hbox (badness 2245) in paragraph at lines 54--58 \OT1/ptm/m/it/10 MOD In-ter-na-tional Con-fer-ence on Man-age-ment of [] Underfull \hbox (badness 2245) in paragraph at lines 71--75 \OT1/ptm/m/it/10 MOD In-ter-na-tional Con-fer-ence on Man-age-ment of [] ) [10] (paper.aux) ) Here is how much of TeX's memory you used: 2739 strings out of 11045 29194 string characters out of 75338 125876 words of memory out of 262141 5306 multiletter control sequences out of 9500 18856 words of font info for 64 fonts, out of 100000 for 255 14 hyphenation exceptions out of 607 32i,17n,30p,345b,597s stack positions out of 300i,40n,60p,3000b,4000s Output written on paper.dvi (10 pages, 97632 bytes).