2021-03-06 20:34:18 -05:00
\documentclass [a4paper] { lipics-v2021}
2019-05-14 13:46:35 -04:00
2021-06-30 11:12:47 -04:00
%cell spacing for figure with circuit representation in table; currently did not work
%\usepackage{cellspace}
%\setlength\cellspacetoplimit{50pt}
%\setlength\cellspacebottomlimit{50pt}
2021-09-16 11:47:02 -04:00
\usepackage [table] { xcolor} %for rebuttal document, in particular \rowcolor
2021-07-01 11:32:16 -04:00
\usepackage { caption} %caption for table
2021-07-15 12:00:02 -04:00
\usepackage { cellspace} %padding of tabular cells
2021-07-01 11:32:16 -04:00
\usepackage { bm} %for math mode bold font
2021-07-07 10:31:35 -04:00
\usepackage { relsize} %\mathlarger
2021-06-30 11:12:47 -04:00
2019-07-15 11:59:08 -04:00
\usepackage { algpseudocode}
2020-08-13 18:58:48 -04:00
\usepackage { algorithm}
2020-09-09 12:11:05 -04:00
\usepackage { tikz}
2020-09-11 21:48:28 -04:00
\usepackage { tikz-qtree}
2019-07-15 15:37:20 -04:00
2019-05-14 13:46:35 -04:00
\usepackage { comment}
\usepackage { amsmath}
2021-03-06 20:34:18 -05:00
2020-04-17 14:12:31 -04:00
2020-04-16 10:39:52 -04:00
\let \endproof \relax
2019-05-14 13:46:35 -04:00
\usepackage { amsthm}
\usepackage { mathtools}
\usepackage { etoolbox}
2019-06-07 15:38:01 -04:00
\usepackage { xstring} %for conditionals in \newcommand
2019-05-14 13:46:35 -04:00
\usepackage { stmaryrd}
\usepackage [normalem] { ulem}
\usepackage { subcaption}
\usepackage { booktabs}
2021-06-11 11:22:58 -04:00
\usepackage { todonotes}
2019-05-14 13:46:35 -04:00
\usepackage { graphicx}
\usepackage { listings}
2020-09-23 17:20:36 -04:00
%%%%%%%%%% SQL + proveannce listing settings
\lstdefinestyle { psql}
{
tabsize=2,
basicstyle=\small \upshape \ttfamily ,
language=SQL,
morekeywords={ PROVENANCE,BASERELATION,INFLUENCE,COPY,ON,TRANSPROV,TRANSSQL,TRANSXML,CONTRIBUTION,COMPLETE,TRANSITIVE,NONTRANSITIVE,EXPLAIN,SQLTEXT,GRAPH,IS,ANNOT,THIS,XSLT,MAPPROV,cxpath,OF,TRANSACTION,SERIALIZABLE,COMMITTED,INSERT,INTO,WITH,SCN,UPDATED,LENS,SCHEMA_ MATCHING,string,WINDOW,max,OVER,PARTITION,FIRST_ VALUE,WITH} ,
extendedchars=false,
keywordstyle=\bfseries ,
mathescape=true,
escapechar=@,
sensitive=true
}
\lstset { style=psql}
%%%%%%%%%%%%%%%%%%BORROWED FROM UADB paper^-----
2021-09-08 12:17:19 -04:00
\usepackage { wrapfig}
2019-05-14 13:46:35 -04:00
\usepackage { fancyvrb}
\usepackage { caption}
\usepackage { subcaption}
\usepackage { braket}
\usepackage [inline] { enumitem}
\usepackage { xspace}
\usepackage { hyperref}
\usepackage { url}
\usepackage { cleveref}
2021-01-27 17:28:53 -05:00
\usepackage { color}
2021-09-16 11:47:02 -04:00
2019-05-14 13:46:35 -04:00
\graphicspath { { figures/} }
2021-06-17 15:21:34 -04:00
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage { outlines} %For outline capabilities as we map out a new Introduction
\usepackage { enumitem} %used in tandem with outlines package
2019-05-14 13:46:35 -04:00
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2021-03-06 20:34:18 -05:00
\input { macros}
2019-05-14 13:46:35 -04:00
2021-04-10 09:40:43 -04:00
% reference names
\crefname { example} { ex.} { ex.}
\Crefname { example} { Ex.} { Ex.}
\Crefname { figure} { Fig.} { Fig.}
\Crefname { section} { Sec.} { Sec.}
\Crefname { definition} { Def.} { Def.}
\Crefname { theorem} { Thm.} { Thm.}
\Crefname { lemma} { Lem.} { Lem.}
\crefname { equation} { eq.} { eq.}
\Crefname { equation} { Eq.} { Eq.}
2021-03-06 20:34:18 -05:00
%%%%%%%%%%%%%%%%%%%%
2019-05-14 13:46:35 -04:00
2021-09-03 10:36:41 -04:00
\title { Parameterized and Fine-Grained Analysis of Query Evaluation Over Bag PDBs}
2021-03-06 20:34:18 -05:00
\titlerunning { Bag PDB Queries}
2019-05-14 13:46:35 -04:00
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2021-03-06 20:34:18 -05:00
\author { Su Feng} { Illinois Institute of Technology, Chicago, USA} { sfeng14@hawk.iit.edu} { } { } { }
2021-03-31 23:02:13 -04:00
\author { Boris Glavic} { Illinois Institute of Technology, USA} { bglavic@iit.edu} { } { } { }
2021-03-06 20:34:18 -05:00
\author { Aaron Huber} { University at Buffalo, USA} { ahuber@buffalo.edu} { } { } { }
\author { Oliver Kennedy} { University at Buffalo, USA} { okennedy@buffalo.edu} { } { } { }
\author { Atri Rudra} { University at Buffalo, USA} { atri@buffalo.edu} { } { } { }
\authorrunning { S. Feng, B. Glavic, A. Huber, O. Kennedy, A. Rudra}
\Copyright { Aaron Huber, Oliver Kennedy, Atri Rudra, Su Feng, Boris Glavic}
2021-04-10 09:41:59 -04:00
\ccsdesc { Information systems~Incomplete data}
2021-03-06 20:34:18 -05:00
\keywords { PDB, bags, polynomial, boolean formula, etc.}
2021-04-10 10:11:31 -04:00
%\acknowledgements{We thank Virginia Williams for showing us \Cref{eq:3p-3tri}, which greatly simplified our earlier proof of Lemma 3.8, and for graciously allowing us to use it.}
2021-03-06 20:34:18 -05:00
\EventEditors { John Q. Open and Joan R. Access}
\EventNoEds { 2}
\EventLongTitle { 42nd Conference on Very Important Topics (CVIT 2016)}
\EventShortTitle { CVIT 2016}
\EventAcronym { CVIT}
\EventYear { 2016}
\EventDate { December 24--27, 2016}
\EventLocation { Little Whinging, United Kingdom}
\EventLogo { }
\SeriesVolume { 42}
\ArticleNo { 23}
2019-05-14 13:46:35 -04:00
2020-11-19 09:43:22 -05:00
2019-05-14 13:46:35 -04:00
\begin { document}
\lstset { language=sql}
\maketitle
2021-03-10 13:28:04 -05:00
2021-03-06 20:34:18 -05:00
\input { abstract}
2021-08-26 23:25:32 -04:00
\input { intro-rewrite-070921} %Another iteration of ICDT 2nd Round submission
%\input{intro-atri}
2021-07-15 12:00:02 -04:00
%\input{intro-rewrite2}%ICDT 2nd Round submission
2021-06-24 11:09:14 -04:00
%\input{outline-intro-new}
2021-06-25 10:38:59 -04:00
%\input{intro-new}%ICDT 1st Round submission
% \input{intro}--PODS submission
2020-06-12 11:45:15 -04:00
\input { ra-to-poly}
2021-03-10 13:28:04 -05:00
\input { poly-form}
\input { prob-def}
2020-12-04 13:14:12 -05:00
\input { mult_ distinct_ p}
\input { single_ p}
2020-08-04 15:30:57 -04:00
\input { approx_ alg}
2020-12-11 20:29:15 -05:00
\input { related-work}
\input { conclusions}
2019-05-14 13:46:35 -04:00
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2021-03-06 20:34:18 -05:00
\bibliographystyle { plainurl}
2020-12-19 01:19:27 -05:00
\bibliography { main}
2021-04-10 10:11:31 -04:00
\input { acknowledgements}
2019-05-14 13:46:35 -04:00
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% APPENDIX
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2020-12-13 21:53:22 -05:00
\clearpage
\appendix
\normalsize
2021-04-06 11:43:34 -04:00
\input { appendix}
2020-12-19 09:32:58 -05:00
\input { related-work-extra}
2021-08-20 09:51:38 -04:00
\input { rebuttal}
2019-05-14 13:46:35 -04:00
\end { document}