Specify queries c, d, and e of Exercise 6.18 in both tuple and domain relational calculus.

Question

What will be an ideal response?

Answer 1

(c) For each section taught by professor King, retrieve the course number, semester, year, and number of students who took the section.
This query cannot be done in basic relational calculus as it requires a COUNT function.

(d) Retrieve the name and transcript of each senior student (Class=5) majoring in
COSC. Transcript includes course name, course number, credit hours, semester, year, and grade for each course completed by the student.
Tuple relational Calculus:
{s.Name, c.CourseName, c.CourseNumber, c.CreditHours, t.Semester, t.Year, g.Grade |
STUDENT(s)
AND COURSE(c) AND SECTION(t) AND GRADE_REPORT(g) AND s.Class=5 AND
s.Major='COSC' AND s.StudentNumber=g.StudentNumber AND
g.SectionIdentifier=t.SectionIdentifier
AND t.CourseNumber=c.CourseNumber}
Domain relational Calculus:
{aefgklp | (EXISTS b) (EXISTS c) (EXISTS d) (EXISTS n) (EXISTS o) (EXISTS j)
(EXISTS i)
(STUDENT(abcd) AND COURSE(efgh) AND SECTION(ijklm) AND
GRADE_REPORT(nop) AND
c=5 AND d='COSC' AND b=n AND i=o AND j=f)}

(e) Retrieve the names and major departments of all straight A students (students who have a grade of A in all their courses).
Tuple relational Calculus:
{ s.Name, s.Major | STUDENT(s) AND (FORALL g) ( NOT(GRADE_REPORT(g)) OR
NOT(s.StudentNumber=g.StudentNumber) OR g.Grade='A' ) }
Domain relational Calculus:
{ ad | (EXISTS b) ( STUDENT(abcd) AND (FORALL e) (FORALL g) (
NOT(GRADE_REPORT(efg)) OR NOT(b=e) OR g='A' ) ) }