Specify the following queries (part a, b, d ) using tuples relational calculus.

a. Retrieve the names of all senior students majoring in 'cs' (computer science) b. Retrieve the names of all courses taught by Professor King in 2007 and 2008 c. For each section taught by Professor King, retrieve the course number, semester, year, and number of students who took the section d. Retrieve the name and transcript of each senior student (Class 4) majoring in CS. A transcript includes course name, course number, credit hours, semester, year, and grade for each course completed by the student. STUDENT NameStudent number ClassMajor Smith Brown 17 CS COURSE Course name Course number Credit hours Department Intro to Computer Science CS1310 Data Structures Discrete Database CS3320 MATH2410 CS3380 CS CS MATH CS SECTION Section identifier Course number SemesterYearInstructor 85 92 102 112 119 135 MATH2410 CS1310 CS3320 MATH2410 CS1310 CS3380 Fall Fall Spring Fall Fall Fall King 07 07 Anderson 08 Knuth 08 Chang 08 Anderson 08 Stone GRADE REPORT Student numberSection identifierGrade 17 112 119 85 92 102 135 17 8 8 PREREQUISITE Course number Prerequisite number Figure 1.2 A database that stores student and course information. CS3380 CS3380 CS3320 CS3320 MATH2410 CS1310