Using the toyu database (which is provided separately), write the domain relational calculus (DRC) expressions for the following data problem. Note that tuple relational calculus is not acceptable. You may copy and paste the following symbols if desirable: V (or ~). Multiple step answers are acceptable.

List the student id, class id, rooms and grades of all classes enrolled by Mary Hawk.

+--------+---------+------+-------+ | stuId | classId | room | grade | +--------+---------+------+-------+ | 100001 | 10000 | D241 | NULL | | 100001 | 10001 | D242 | A- | +--------+---------+------+-------+

credits 3 To University (toyu) relations toyu.class: 14 rows total (approximately) classid courseld semester year facid room 10,000 2,000 Fall 2,019 1,011 0241 10,001 2,001 Fall 2,019 1,011 D242 10,002 2,002 Fall 2,019 1,012 D136 10,003 2,020 Fall 2,019 1,014 D241 10,004 2,021 Fall 2,019 1,014 D241 10,005 2,040 Fall 2,019 1,015 D237 10,006 2,041 Fall 2,019 1,019 0217 10,007 2,060 Fall 2,019 1,020 B101 10,008 2,080 Fall 2,019 1,018 D241 11,000 2,000 Spring 2,020 1,011 D241 11,001 2,001 Spring 2,020 1,013 D242 11,002 2,002 Spring 2,020 1,013 D136 11,003 2,020 Spring 2,020 1,016 D217 11,004 2,061 Spring 2,020 1,018 B101 toyu.department: 7 rows total (approximately) deptCode deptName schoolCode numFaculty ACCT Accounting BUS 10 ARTS HSH 5 CINE Computer Inf... CSE 5 CSCI Computer Sci... CSE 12 ENGL English HSH 12 ITEC Information T... CSE 4 MATH Mathematics CSE 7 toyu.course: 11 rows total (approximately) courseld rubric number name 2,000 CSCI 3333 Data Structures 2,001 CSCI 4333 Design of Dat... 2,002 CSCI 5333 DBMS 2,020 CINF 3321 Introduction t... 2,021 CINE 4320 Web Applicati... 2,040 ITEC 3335 Database Dev... 2,041 ITEC 3312 Introduction t... 2,060 ENGL 1410 English 1 2,061 ENGL 1311 English II 2,080 ARTS 3311 Hindu Arts 2,090 ACCT 3333 Managerial Ac... Arts toyu.school: 4 rows total (approximately) schoolCodeschoolName BUS Business EDU Education HSH Human Sciences and Humanities CSE Science and Engineering toyu.faculty: 11 rows total (approximately) Next facid fname Iname deptCode rank 1,011 Paul Smith CSCI Professor 1,012 Mary Tran CSCI Associate Professor 1,013 David Love CSCI (NULL) 1,014 Sharon Mannes CSCI Assistant Professor 1,015 Daniel Kim CINF Professor 1,016 Andrew Byre CINF Associate Professor 1,017 Deborah Gump ITEC Professor 1,018 Art Allister ARTS Assistant Professor 1,019 Benjamin Yu ITEC Lecturer 1,020 Katrina Bajaj ENGL Lecturer 1,021 Jorginlo Neymar ACCT Assistant Professor toyu.student: 10 rows total (approximately) stuld fname Iname 100,000 Tony Hawk 100,001 Mary Hawk 100,002 David Hawk 100,003 Catherine Lim 100,004 Larry Johnson 100,005 Linda Johnson 100,006 Lillian Johnson 100,007 Ben Zico 100,008 Bill Ching 100,009 Linda major minor CSCI CINE CSCI CINE CSCI ITEC ITEC CINE ITEC (NULL) CINE ENGL CINE ITEC (NULL) (NULL) ARTS ENGL ARTS CSCI Next KINS credits advisor 40 1,011 35 1,011 66 1,011 20 1,017 66 1,017 13 1,015 18 1,015 16 (NULL) 90 1,018 125 1,018 King To University (toyu) relations n_alerts 0 (NULL) 3 ON W toyu.enroll: 22 rows total (approximately) stuld classId grade 100,000 10,000 A 100,001 10,000 (NULL) 100,002 10,000 B- 100,000 10,001 A 100,001 10,001 A- 100,000 10,002 B+ 100,002 10,002 B+ 100,000 10,003 C 100,002 10,003 D 100,004 10,003 A 100,005 10,003 (NULL) 100,000 10,004 A- 100,004 10,004 B+ 100,005 10,004 A- 100,006 10,004 C+ 100,005 10,005 A- 100,006 10,005 A 100,005 10,006 B+ 100,007 10,007 F 100,008 10,007 C- 100,007 10,008 A- 100,000 11,001 D toyu.grade: 13 rows total (approximately) grade gradePoint A 4.0000 A- 3.6667 B 3.0000 B- 2.6667 B+ 3.3333 2.0000 1.6667 C+ 2.3333 D 1.0000 D- 0.6667 D+ 1.3333 F 0.0000 WX (NULL) 1 2 0 4 0 (NULL) 1 (NULL) 0 (NULL) 0 (NULL) (NULL) 4 0 0 4 Foreign keys: 1. Student (advisor) reference Faculty(Facld) 2. Student(major) references Department(deptCode) 3. Student(minor) references Department(deptCode) 4. Faculty(deptCode) references Department(deptCode) 5. Department(schoolCode) references School(schoolCode) 6. Enroll(Stuld) references Student(Stuld) 7. Enroll(classld) references Class(classid) 8. Enroll(grade) references Grade(grade) 9. Class(courseld) references Course(courseld) 10. Class(Facid) references Faculty(Facld) credits 3 To University (toyu) relations toyu.class: 14 rows total (approximately) classid courseld semester year facid room 10,000 2,000 Fall 2,019 1,011 0241 10,001 2,001 Fall 2,019 1,011 D242 10,002 2,002 Fall 2,019 1,012 D136 10,003 2,020 Fall 2,019 1,014 D241 10,004 2,021 Fall 2,019 1,014 D241 10,005 2,040 Fall 2,019 1,015 D237 10,006 2,041 Fall 2,019 1,019 0217 10,007 2,060 Fall 2,019 1,020 B101 10,008 2,080 Fall 2,019 1,018 D241 11,000 2,000 Spring 2,020 1,011 D241 11,001 2,001 Spring 2,020 1,013 D242 11,002 2,002 Spring 2,020 1,013 D136 11,003 2,020 Spring 2,020 1,016 D217 11,004 2,061 Spring 2,020 1,018 B101 toyu.department: 7 rows total (approximately) deptCode deptName schoolCode numFaculty ACCT Accounting BUS 10 ARTS HSH 5 CINE Computer Inf... CSE 5 CSCI Computer Sci... CSE 12 ENGL English HSH 12 ITEC Information T... CSE 4 MATH Mathematics CSE 7 toyu.course: 11 rows total (approximately) courseld rubric number name 2,000 CSCI 3333 Data Structures 2,001 CSCI 4333 Design of Dat... 2,002 CSCI 5333 DBMS 2,020 CINF 3321 Introduction t... 2,021 CINE 4320 Web Applicati... 2,040 ITEC 3335 Database Dev... 2,041 ITEC 3312 Introduction t... 2,060 ENGL 1410 English 1 2,061 ENGL 1311 English II 2,080 ARTS 3311 Hindu Arts 2,090 ACCT 3333 Managerial Ac... Arts toyu.school: 4 rows total (approximately) schoolCodeschoolName BUS Business EDU Education HSH Human Sciences and Humanities CSE Science and Engineering toyu.faculty: 11 rows total (approximately) Next facid fname Iname deptCode rank 1,011 Paul Smith CSCI Professor 1,012 Mary Tran CSCI Associate Professor 1,013 David Love CSCI (NULL) 1,014 Sharon Mannes CSCI Assistant Professor 1,015 Daniel Kim CINF Professor 1,016 Andrew Byre CINF Associate Professor 1,017 Deborah Gump ITEC Professor 1,018 Art Allister ARTS Assistant Professor 1,019 Benjamin Yu ITEC Lecturer 1,020 Katrina Bajaj ENGL Lecturer 1,021 Jorginlo Neymar ACCT Assistant Professor toyu.student: 10 rows total (approximately) stuld fname Iname 100,000 Tony Hawk 100,001 Mary Hawk 100,002 David Hawk 100,003 Catherine Lim 100,004 Larry Johnson 100,005 Linda Johnson 100,006 Lillian Johnson 100,007 Ben Zico 100,008 Bill Ching 100,009 Linda major minor CSCI CINE CSCI CINE CSCI ITEC ITEC CINE ITEC (NULL) CINE ENGL CINE ITEC (NULL) (NULL) ARTS ENGL ARTS CSCI Next KINS credits advisor 40 1,011 35 1,011 66 1,011 20 1,017 66 1,017 13 1,015 18 1,015 16 (NULL) 90 1,018 125 1,018 King To University (toyu) relations n_alerts 0 (NULL) 3 ON W toyu.enroll: 22 rows total (approximately) stuld classId grade 100,000 10,000 A 100,001 10,000 (NULL) 100,002 10,000 B- 100,000 10,001 A 100,001 10,001 A- 100,000 10,002 B+ 100,002 10,002 B+ 100,000 10,003 C 100,002 10,003 D 100,004 10,003 A 100,005 10,003 (NULL) 100,000 10,004 A- 100,004 10,004 B+ 100,005 10,004 A- 100,006 10,004 C+ 100,005 10,005 A- 100,006 10,005 A 100,005 10,006 B+ 100,007 10,007 F 100,008 10,007 C- 100,007 10,008 A- 100,000 11,001 D toyu.grade: 13 rows total (approximately) grade gradePoint A 4.0000 A- 3.6667 B 3.0000 B- 2.6667 B+ 3.3333 2.0000 1.6667 C+ 2.3333 D 1.0000 D- 0.6667 D+ 1.3333 F 0.0000 WX (NULL) 1 2 0 4 0 (NULL) 1 (NULL) 0 (NULL) 0 (NULL) (NULL) 4 0 0 4 Foreign keys: 1. Student (advisor) reference Faculty(Facld) 2. Student(major) references Department(deptCode) 3. Student(minor) references Department(deptCode) 4. Faculty(deptCode) references Department(deptCode) 5. Department(schoolCode) references School(schoolCode) 6. Enroll(Stuld) references Student(Stuld) 7. Enroll(classld) references Class(classid) 8. Enroll(grade) references Grade(grade) 9. Class(courseld) references Course(courseld) 10. Class(Facid) references Faculty(Facld)