CSc 2510, Theoretical Foundations of Computer Science
Fall 2007
Homework 4 (Due: Monday, October 1st)

Write queries using predicate logic to answer the following requests of the enrollDB database:
  1. Get the names of students enrolled in three or more courses.
  2. Get the names of students who have received at least two "F" grades.
  3. Get the names of students who have enrolled in the "Theory" and "Database" courses.
  4. Get the course number and titles of courses which have at least three students enrolled in them.
  5. Get the course number and titles of courses in which at least two students have received "A" grades.

You must test these queries on the system and submit a printout of the queries. In addition, you should email me the solution file (ordinary text file created using Wordpad) - No Microsoft Word document will be accepted.

Page Maintained by raj@cs.gsu.edu