paper-BagRelationalPDBsAreHard/main.tex

203 lines
5.4 KiB
TeX

\documentclass[sigconf, prologue, table, anonymous]{acmart}
\AtBeginDocument{%
\providecommand\BibTeX{{%
\normalfont B\kern-0.5em{\scshape i\kern-0.25em b}\kern-0.8em\TeX}}}
\setcopyright{acmcopyright}
\copyrightyear{2022}
\acmYear{2022}
\acmDOI{XXXXXXX.XXXXXXX}
\acmConference[Conference acronym 'XX]{Make sure to enter the correct
conference title from your rights confirmation emai}{June 03--05,
2018}{Woodstock, NY}
\acmPrice{15.00}
\acmISBN{978-1-4503-XXXX-X/18/06}
\usepackage{xcolor}%for rebuttal document, in particular \rowcolor
\usepackage{caption}%caption for table
\usepackage{cellspace}%padding of tabular cells
\usepackage{relsize}%\mathlarger
\usepackage{algpseudocode}
\usepackage{algorithm}
\usepackage{tikz}
\usepackage{tikz-qtree}
\usepackage{comment}
\let\endproof\relax
\usepackage{amsmath}
\newcommand\hmmax{0} % default 3
\newcommand\bmmax{0} % default 4
\usepackage{bm}
\usepackage{bm}%for math mode bold font
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{etoolbox}
\usepackage{xstring} %for conditionals in \newcommand
\usepackage{stmaryrd}
\usepackage[normalem]{ulem}
\usepackage{subcaption}
\usepackage{booktabs}
\usepackage[disable]
{todonotes}
\usepackage{graphicx}
\usepackage{listings}
%%%%%%%%%% SQL + proveannce listing settings
\usepackage{mdframed}
\lstdefinestyle{psql}
{
backgroundcolor=\color{black!15!white},
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}
%%%%%%%%%%%%%%%%%%
\usepackage{etoolbox}%for conditional expressions, in particular in \savecaptionspace
\usepackage{wrapfig}
\usepackage{fancyvrb}
\usepackage{caption}
\usepackage{subcaption}
\usepackage{braket}
\usepackage[inline]{enumitem}
\usepackage{xspace}
\usepackage{hyperref}
\usepackage{url}
\usepackage{cleveref}
\usepackage{color}
\usepackage{adjustbox}
\graphicspath{ {figures/} }
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{outlines}%For outline capabilities
\usepackage{enumitem}%used in tandem with outlines package
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{macros}
% 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.}
%%%%%%%%%%%%%%%%%%%%
\begin{document}
\title{Computing Expected Multiplicities for Bag-TIDBs with Bounded Multiplicities}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\author{Su Feng}\email{sfeng14@hawk.iit.edu}
\author{Boris Glavic}\email{bglavic@iit.edu}
\affiliation{%
\institution{Illinois Institute of Technology , USA}
\city{Chicago}
\state{New York}
\country{USA}
}
\author{Aaron Huber}\email{ahuber@buffalo.edu}
\author{Oliver Kennedy}\email{okennedy@buffalo.edu}
\author{Atri Rudra}\email{atri@buffalo.edu}
\affiliation{%
\institution{University at Buffalo, USA}
\city{Buffalo}
\state{New York}
\country{USA}
}
\renewcommand{\shortauthors}{Huber, Kennedy, Rudra, et al.}
\begin{abstract}
\input{abstract}
\end{abstract}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% REMOVED UNTIL CR
% \begin{CCSXML}
% <ccs2012>
% <concept>
% <concept_id>10002951.10003227</concept_id>
% <concept_desc>Information systems~Information systems applications</concept_desc>
% <concept_significance>500</concept_significance>
% </concept>
% <concept>
% <concept_id>10002951.10002952</concept_id>
% <concept_desc>Information systems~Data management systems</concept_desc>
% <concept_significance>500</concept_significance>
% </concept>
% <concept>
% <concept_id>10003752.10003753.10003757</concept_id>
% <concept_desc>Theory of computation~Probabilistic computation</concept_desc>
% <concept_significance>500</concept_significance>
% </concept>
% <concept>
% <concept_id>10003752.10003777.10003778</concept_id>
% <concept_desc>Theory of computation~Complexity classes</concept_desc>
% <concept_significance>500</concept_significance>
% </concept>
% </ccs2012>
% \end{CCSXML}
% \ccsdesc[500]{Information systems~Information systems applications}
% \ccsdesc[500]{Information systems~Data management systems}
% \ccsdesc[500]{Theory of computation~Probabilistic computation}
% \ccsdesc[500]{Theory of computation~Complexity classes}
%\keywords{probabilstic data model, parameterized complexity, fine-grained complexity, lineage polynomial}
\maketitle
\lstset{language=sql}
\input{introduction}
\input{binarybidb}
\input{pwsem}
\input{prob-def}
\input{mult_distinct_p}
\input{single_p}
\input{approx_alg}
\input{related-work}
\input{conclusions}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{acks}
\input{acknowledgements}
\end{acks}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibliographystyle{ACM-Reference-Format}
\bibliography{main}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% APPENDIX
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\clearpage
\appendix
\normalsize
\input{appendix}
\input{related-work-extra}
\end{document}