Today you will learn:

• Why LaTeX is the standard for academic writing in Computer Science
• How to professionally typeset relational algebra and calculus queries using LaTeX

WYSIWYG vs LaTeX

• WYSIWYG: What you see is what you get
  • Pros: Intuitive
• LaTeX: Markup language for typesetting documents
  • Pros: Math formulae, styles, citations, version-control

LaTeX Hello World

\documentclass{article}

\title{Hello World}
\author{Peter Story}
\date{\today}

\begin{document}
\maketitle

\section{Introduction}
$$ E = mc^2 $$

\end{document}

Rendering LaTeX

• Overleaf
• TeX Distributions
• MathJax
• Equation editors in Word, Pages, etc.

Relational Algebra

List the names of all the managers who have been managing a department for more than a year.

$$\pi_\text{Fname, Minit, Lname} \left( \sigma_\text{Mgr_start_date < 1/1/23} \left( \\ \text{EMPLOYEE} \bowtie_\text{Ssn=Mgr_ssn} \text{DEPARTMENT} \right) \right)$$

\pi_\text{Fname, Minit, Lname} (
\sigma_\text{Mgr_start_date < 1/1/23} ( \\
\text{EMPLOYEE} \bowtie_\text{Ssn=Mgr_ssn} \text{DEPARTMENT}))

Relational Calculus

List the names of all the managers who have been managing a department for more than a year.

$$\left\{ e.\text{Fname}, e.\text{Minit}, e.\text{Lname } \big| \\ \text{ EMPLOYEE}(e) \text{ AND } \\ (\exists d)\big( \text{DEPARTMENT}(d) \text{ AND } \\ e.\text{Ssn} = d.\text{Mgr_ssn} \text{ AND } \\ d.\text{Mgr_start_date} < 1/1/23 \big)\right\}$$

$$\left\{ e.\text{Fname}, e.\text{Minit}, e.\text{Lname } \big| \\ \text{ EMPLOYEE}(e) \text{ AND } \\ (\exists d)\big( \text{DEPARTMENT}(d) \text{ AND } \\ e.\text{Ssn} = d.\text{Mgr_ssn} \text{ AND } \\ d.\text{Mgr_start_date} < 1/1/23 \big)\right\}$$

\left\{ e.\text{Fname}, e.\text{Minit}, e.\text{Lname } \big| \\
\text{ EMPLOYEE}(e) \text{ AND } \\
(\exists d)\big(
\text{DEPARTMENT}(d) \text{ AND } \\
e.\text{Ssn} = d.\text{Mgr_ssn} \text{ AND } \\
d.\text{Mgr_start_date} < 1/1/23
\big)\right\}

LaTeX Tips

• Write complex formulae by hand before writing LaTeX
• Use Detexify to identify symbol names
• Syntax errors are easier to find if you commit often