\documentclass[12pt]{article}
\usepackage{enumerate}
\usepackage{graphicx}
\usepackage[compact]{titlesec}
\titlespacing{\title}{0pt}{*0}{*0}
\titlespacing{\subsection}{0pt}{*0}{*0}
\titlespacing{\subsubsection}{0pt}{*0}{*0}
\makeatletter
  \renewcommand\@seccntformat[1]{}
\makeatother

\begin{document}
\title{EECS 341 Assignment \#4}
\author{Stuart Long - srl51}
\date{October 15, 2012}
\maketitle
Let P,S,C,T denote Professors, Students, Courses, Enrollment, and Teach, respectively.
\begin{enumerate}[1.]
\item
SELECT C.cid, C.cname\\
FROM Courses C, Professors P, Teach T\\
WHERE 	C.dept = "CS"\\
AND     C.cid = T.cid\\
AND     T.pid = P.pid\\
AND     T.sem-year = "Fall2012"\\
AND     P.dept <> "CS"\\
\item
\begin{tabbing}
SELECT S.sid, S.name, S.major-dept\\
FROM Students S\\
WHERE s.sid IN (\=SELECT S2.sid\+\\
				FROM Enrollment E, Professors P, Students S2, Teach T\\
				WHERE S.sid = E.sid\\
				AND E.cid = T.cid\\
				AND T.pid = P.pid\\
				AND P.pname = "Smith")\\
\end{tabbing}
\item
\begin{tabbing}
SELECT P.pid, P,pname\\
FROM Professors P\\
WHERE P.pid NOT IN (\=SELECT P2.pid\+\\
					FROM Professors P2, Teach T\\
					WHERE P2.pid = T.pid\\
					AND T.sem-year = "Fall2012")\\
\end{tabbing}
\item
\begin{tabbing}
SELECT P.pid, P.pname\\
FROM Professors P\\
WHERE NOT EXISTS (\=SELECT *\+\\
				FROM Teach T, Courses C\\
				WHERE T.pid = P.pid\\
				AND T.cid = C.cid\\
				AND C.dept <> "CS")\\
\end{tabbing}
\begin{tabbing}
AND EXISTS (\=SELECT *\+\\
			FROM Teach T, Courses C\\
			WHERE T.pid = P.pid\\
			AND T.cid = C.cid\\
			AND C.dept = "CS")\\
\end{tabbing}
\item
\begin{tabbing}
SELECT P.pname, P.pid\\
FROM Professors P\\
WHERE NOT EXISTS (\=SELECT *\+\\
					FROM Courses C, Teach T\\
					WHERE T.cid = C.cid\\
					AND C.dept = "CS"\\
					AND P.pid <> T.pid)\\
\end{tabbing}
\item
\begin{tabbing}
SELECT E.sid\\
FROM Enrollment E\\
WHERE E.cid NOT IN (\=SELECT cid\+\\
					FROM ((\=SELECT C.cid\+\\
						   FROM Courses C, Enrollment E2\\
						   WHERE C.dept = "CS"\\
						   AND C.sem-year = "Fall2012"\\
						   AND C.credithours = 3)\\
						   EXCEPT\\
						   (SELECT E2.cid\\
						   FROM Enrollment E2\\
						   WHERE E2.sid = E.sid\\
						   AND E.cid = C.cid))\\
\end{tabbing}
\item
\begin{tabbing}
SELECT C.cid\\
FROM Courses C\\
WHERE NOT EXISTS (\=SELECT *\+\\
					FROM STUDENTS S\\
					WHERE S.major-dept = "CS"\\
					AND S.sid NOT IN (\=SELECT sid\+\\
									 FROM ((\=SELECT E.sid\+\\
									 		FROM Enrollment E\\
									 		WHERE E.cid = C.cid\\
									 		AND E.sem-year = "Fall2012"))))\\
\end{tabbing}
\item
SELECT sid, COUNT(*) AS cnumb\\
FROM Enrollment\\
WHERE sem-year = "Fall2012"\\
GROUP BY sid\\
\item
\begin{tabbing}
SELECT P.pid, P.pname, P.dept\\
FROM Professors P\\
WHERE ((\=SELECT COUNT(*)\+\\
		FROM Teach T,\\
		WHERE T.pid = P.pid\\
		AND T.sem-year="Fall2012") = (\=SELECT COUNT(*)\+\\
										FROM Teach T2\\
										WHERE T2.sem-year="Fall2012")) \\
\end{tabbing}
GROUP BY P.dept\\
\pagebreak
\item
\begin{tabbing}
SELECT P.pid, P.pname, P.dept, Count(T.cid)\\
FROM Professors P, Teach T\\
WHERE (T.pid = P.pid
AND (\=SELECT COUNT(*)\+\\
		FROM Teach T2,\\
		WHERE T2.pid = P.pid\\
		AND T2.sem-year="Fall2012")\\ = (\=SELECT COUNT(*)\+\\
										FROM Teach T3\\
										WHERE T3.sem-year="Fall2012")) \\
\end{tabbing}
GROUP BY P.dept\\
\end{enumerate}
\end{document}