%%%%%% Standard Packages %%%%%%
\usepackage{graphicx}
\usepackage{amssymb}
%\usepackage[noend]{algorithmic}
\usepackage{algorithm}
\usepackage{algpseudocode}
\usepackage{textcomp}
\usepackage{listings}
\usepackage[usenames,dvipsnames]{xcolor}
\usepackage{subcaption}
\usepackage{cite}
\usepackage{hyperref}
\usepackage{lipsum}
\usepackage[normalem]{ulem}
\usepackage{listings}
\usepackage{xspace}
\usepackage{color}
\usepackage{wrapfig}
\usepackage[textsize=tiny]{todonotes}
\usepackage{cleveref}
\usepackage{tabu}
\usepackage{paralist}
\usepackage{utf8}

%%%%%% Package Configuration %%%%%%
%%% Listings
\lstset{language=sql,morekeywords={LENS,SCHEMA_MATCHING,string},basicstyle=\small\upshape\ttfamily,keywordstyle=\color{blue}}
%%% Algorithmic
\renewcommand{\algorithmicrequire}{\textbf{In:}}
\renewcommand{\algorithmicensure}{\textbf{Out:}}

%%%%%% Standard Theorem Environments %%%%%%
\newtheorem{example}{Example}
\newtheorem{scenario}{Scenario}
\newtheorem{definition}{Definition}

%%%%%% Common Math-Mode Aliases %%%%%%
\newcommand{\comprehension}[2]{\left\{\;{#1}\;|\;{#2}\;\right\}}
\newcommand{\tuple}[1]{\left<\;{#1}\;\right>}
\newcommand{\ordefn}{\;|\;}
\newcommand{\sch}[1]{\texttt{schema}({#1})}
\newcommand{\projection}{\pi}
\newcommand{\selection}{\sigma}

%%%%%% TODOs %%%%%%

%%%%%% Other Aliases %%%%%%
\newcommand{\ccomment}[1]{{\small\texttt{/*} #1 \texttt{*/}}}
\newcommand{\tinysection}[1]{\smallskip\noindent \textbf{#1.}$\,$}
\newcommand{\keyword}[1]{\textcolor{blue}{\texttt{#1}}}
\newcommand{\inlineitem}[1]{\noindent -- \emph{{#1}:}}