Database Schama - Cơ sở dữ liệu | Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Thành phố Hồ Chí Minh

lOMoARcPSD|46342985 lOMoARcPSD|46342985 MSSV: 22120426
Họ và tên: Tăng Thị Vân DATABASE SCHEMA:
TEACHER (instructor_id, name)
SUBJECT (subject_id, name, max_creadit_allow)
STUDENT (student_id, name, entrance_year, faculty)
COURSE (course_id, subject_id, year, semester, credit, level, instructor_id, faculty)
REGISTER (s tudent_id, course_id , grade) NOTES: Level: BASIC, ADVANCED Faculty: IT, PHY
Semester: 1, 2, or 3, year: 2017, 2018, 2019 Grade: 0 -10 Exercise 1:
1. The value of maxium_credit_allow of a subject is less than or equal to 5. Bối cảnh: SUBJECT Biểu diễn:
t SUBJECT (t.max_credit_allow<=5) Bảng tầm ảnh hưởng: Thêm Xóa Sửa SUBJECT + - +(max_credit_allow)
Minh họa dữ liệu vi phạm RBTV: Subject_id name Max_credit_allow CSDL Cơ Sở Dữ Liệu 6
2. Each year has a maximum of 3 semester Bối cảnh: COURSE Biểu diễn: t COURSE (t.semester {1,2,3}) Bảng tầm ảnh hưởng: Thêm Xóa Sửa COURSE + - +(semester)
Minh họa dữ liệu vi phạm RBTV: Course_i Subject_id year semester credit level Instructor_id faculty d 001 DSA 201 4 4 BASIC 004 IT 7
3. A course for a specific subject can be organized in a specific level. Level of a course
should be ‘BASIC’ and ‘ADVANCED’ Bối cảnh: COURSE Biểu diễn: lOMoARcPSD|46342985 MSSV: 22120426
Họ và tên: Tăng Thị Vân
t COURSE (t.subject_id null (t.level= ‘BASIC’ t.level= ‘ADVANCED’)) Bảng tầm ảnh hưởng: Thêm Xóa Sửa COURSE + - +(subject_id, level)
Minh họa dữ liệu vi phạm RBTV: Course_i Subject_id year semester credit level Instructor_id faculty d 001 DSA 2017 4 2 BEGINNER 004 IT 002 2017 4 2 BASIC 005 IT
4. If the level of a course is BASIC, it has a maximum of 3 credits Bối cảnh: COURSE Biểu diễn:
t COURSE (t.level= ‘BASIC’ t.credit<=3) Bảng tầm ảnh hưởng: Thêm Xóa Sửa COURSE + - +(credict)
Minh họa dữ liệu vi phạm RBTV: Course_i Subject_id year semester credit level Instructor_id faculty d 001 DSA 201 3 4 BASIC 004 IT 7
5. The grade of a student when participating in a course belongs to the range of [0, 10] Bối cảnh: REGISTER Biểu diễn:
t REGISTER (t.grade>=0 ∧ t.grade<=10) Bảng tầm ảnh hưởng: Thêm Xóa Sửa REGISTER + - +(grade)
Minh họa dữ liệu vi phạm RBTV: Subject_id Subject_id grade 22120426 CSDL 11
6. The faculty could be the value in the set ‘IT’, ‘PH’ Bối cảnh: STUDENT, COURSE Biểu diễn:
s STUDENT(s.faculty= ‘IT’ s.faculty= ‘PH’)
t COURSE(t.faculty= ‘IT’ t.faculty= ‘PH’) Bảng tầm ảnh hưởng: Thêm Xóa Sửa lOMoARcPSD|46342985 MSSV: 22120426
Họ và tên: Tăng Thị Vân COURSE + - +(faculty) STUDENT + - +(faculty)
Minh họa dữ liệu vi phạm RBTV: COURSE: Course_i Subject_id year semester credit level Instructor_id faculty d 001 DSA 201 2 3 BASIC 004 HH 7 STUDENT: student_id name Entrance_year faculty 22120426 Tăng Thị Vân 2022 SH
7. The course name must be unique.(Câu này đề sai) Bối cảnh: COURSE Biểu diễn: t COURSE ( s COURSE(t s∧s.name=t.name)) Bảng tầm ảnh hưởng: Thêm Xóa Sửa COURSE + - +(name)
Minh họa dữ liệu vi phạm RBTV: Course_i Subject_id year semester credit level Instructor_id faculty d 001 DSA 201 2 4 BASIC 004 IT 7 Exercise 2:
8. Number courses in each year of a specific subject are not larger than 2 Bối cảnh: COURSE Biểu diễn: t
COURSE( card({s|COURSE(s) ∧s.year=t.year∧s.subject_id=t.subject_id})<=2) Bảng tầm ảnh hưởng: Thêm Xóa Sửa COURSE + - +(year, subject_id)
Minh họa dữ liệu vi phạm RBTV: Course_i Subject_id year semester credit level Instructor_id faculty d 001 DSA 201 2 3 BASIC 004 IT 7 002 DSA 201 3 4 ADVANED 005 IT 7 003 DSA 201 1 3 BASIC 001 IT 7 lOMoARcPSD|46342985 MSSV: 22120426
Họ và tên: Tăng Thị Vân
9. A student can register a maximum of 3 MAJOR courses in each semester Bối cảnh: COURSE, REGISTER Biểu diễn: R←REGISTER ⋈ COURSE t
R( card({s|R(s) ∧ s.student_id=t.student_id ∧ s.year=t.year ∧
s.semester = t.semester })<=3) Bảng tầm ảnh hưởng: Thêm Xóa Sửa COURSE + - - REGISTER + - +(student_id,course_id)
Minh họa dữ liệu vi phạm RBTV: COURSE: Course_id Subject_id year semester credit level Instructor_id faculty 001 DSA 201 2 3 BASIC 004 IT 7 002 MMT 201 2 4 ADVANCE 003 IT 7 D 003 KTLT 201 2 2 BASIC 005 IT 7 004 NMLT 201 2 3 BASIC 002 IT 7 REGISTER Student_id course_id grade 22120426 001 9.6 22120426 002 8.4 22120426 004 10 22120426 003 9
10. The year of registered course must be larger than or equal to the entrance year of a student Bối cảnh: COURSE,
STUDENT,REGISTER Biểu diễn:
R←STUDENT ⋈ REGISTER ⋈ COURSE t
R(t.year >= t.entrance_year) Bảng tầm ảnh hưởng: Thêm Xóa Sửa COURSE - - +(year) STUDENT - - +(entrance_year) REGISTER + - -
Minh họa dữ liệu vi phạm RBTV: lOMoARcPSD|46342985 MSSV: 22120426
Họ và tên: Tăng Thị Vân COURSE: Course_id Subject_id year semester credit level Instructor_id faculty 001 DSA 201 2 3 BASIC 004 IT 7 002 MMT 201 2 4 ADVANCE 003 IT 8 D STUDENT: student_id name Entrance_year faculty 22120426 Tăng Thị Vân 2018 IT REGISTER Student_id course_id grade 22120426 001 9.6 22120426 002 8.4
11. The credit of a course must less than the max_credit_allow of the related
subject Bối cảnh: COURSE, SUBJECT Biểu diễn: R←SUBJECT ⋈ COURSE t
R(t.credit<=t.max_credit_allow) Bảng tầm ảnh hưởng: Thêm Xóa Sửa COURSE + - +(credit) SUBJECT - - +(max_credit_allow)
Minh họa dữ liệu vi phạm RBTV: COURSE: Course_i Subject_id year semester credit level Instructor_id faculty d 001 DSA 201 2 3 BASIC 004 IT 7 SUBJECT: subject_id name Max_credit_allow DSA CTDL&GT 2
12. A student cannot register a course of a subject if he has passed. Bối cảnh: REGISTER, COURSE Biểu diễn: R←REGISTER ⋈ COURSE
t R( s R(t.student_id=s.student_id ∧ t.subject_id = s.subject_id ∧
t.grade>=5 ∧(t.yearBảng tầm ảnh hưởng: Thêm Xóa Sửa COURSE - - +(year,semester) lOMoARcPSD|46342985 MSSV: 22120426
Họ và tên: Tăng Thị Vân REGISTER + - +(grade,course_id,student_id)
Minh hoạ dữ liệu vi phạm rbtv COURSE:
Course_i Subject_id year semester credit level Instructor_id faculty d 001 DSA 201 2 3 BASIC 004 IT 7 002 DSA 201 3 3 BASIC 005 IT 7 REGISTER Student_id course_id grade 22120426 001 9.6 22120426 002 7
13. An operated course has a maximum of 20 registrations. Bối cảnh: REGISTER Biểu diễn:
t REGISTER(card({s|R(s) ∧t.course_id=s.course_id})<=20) Bảng tầm ảnh hưởng: Thêm Xóa Sửa REGISTER + - +(student_id,course_id)
Minh hoạ dữ liệu vi phạm rbtv Student_id course_id grade 22120426 001 9.6 22120426 002 10 … 22120426 021 7
14. A student cannot register more than 10 courses in a semester Bối cảnh: REGISTER, COURSE Biểu diễn: R←REGISTER ⋈ COURSE
t R(card({s|R(s)∧t.student_id=s.student_id∧ t.semester=s.semester ∧t.year=s.year})<=10} Bảng tầm ảnh hưởng: Thêm Xóa Sửa COURSE - - +(semester,year) REGISTER + - +(student_id,course_id)
Minh hoạ dữ liệu vi phạm rbtv COURSE:
Course_id Subject_id year semester credit level Instructor_id faculty 001 DSA 201 2 3 BASIC 004 IT 7 lOMoARcPSD|46342985 MSSV: 22120426
Họ và tên: Tăng Thị Vân 002 MMT 201 2 3 BASIC 005 IT 7 … 011 THTH 201 2 4 ADVANCE 100 PH 7 D REGISTER Student_id course_id grade 22120426 001 9.6 22120426 002 10 … 22120426 011 7
15. A student cannot study a subject more than one time in a
year. Bối cảnh: REGISTER, COURSE Biểu diễn: R←REGISTER ⋈ COURSE t
R( s R(t.student=s.student ∧t.subject=s.subject t.year s.year)) Bảng tầm ảnh hưởng: Thêm Xóa Sửa COURSE - - +(year,semester) REGISTER + - +(course_id,student_id)
Minh hoạ dữ liệu vi phạm rbtv COURSE: Course_i Subject_id year semester credit level Instructor_id faculty d 001 DSA 201 2 3 BASIC 004 IT 7 002 DSA 201 3 3 BASIC 005 IT 7 REGISTER Student_id course_id grade 22120426 001 9.6 22120426 002 7
16. A student cannot register more than 10 credits in a
semester Bối cảnh: REGISTER, COURSE Biểu diễn: R←REGISTER ⋈ COURSE
R1(student_id,semester,year,SL) ←student_id,semester,year SUM(credit) t R1( t.SL<=10) Bảng tầm ảnh hưởng: Thêm Xóa Sửa COURSE - - +(credit) lOMoARcPSD|46342985 MSSV: 22120426
Họ và tên: Tăng Thị Vân REGISTER + - +(course_id,student_id)
Minh hoạ dữ liệu vi phạm rbtv COURSE:
Course_id Subject_id year semester credit level Instructor_id faculty 001 DSTT 201 3 5 ADVANCE 004 IT 7 D 002 DSA 201 3 6 ADVANCE 005 IT 7 D REGISTER Student_id course_id grade 22120426 001 9.6 22120426 002 7
17. Student can register only courses operated by his/her faculty.
Bối cảnh: REGISTER, COURSE, STUDENT Biểu diễn:
t REGISTER( s COURSE(t.course_id=s.course_id ∧
m STUDENT(m.student_id = t.student_id ∧ m.faculty=s.faculty))) Bảng tầm ảnh hưởng: Thêm Xóa Sửa COURSE - - +(faculty) REGISTER + - +(course_id,student_id) STUDENT - - +(faculty)
Minh hoạ dữ liệu vi phạm rbtv STUDENT: student_id name Entrance_year faculty 22120426 Tăng Thị Vân 2018 IT COURSE: Course_i Subject_id year semester credit level Instructor_id faculty d 001 DSA 201 2 3 BASIC 004 IT 7 002 TTH 201 3 3 BASIC 005 PH 7 REGISTER Student_id course_id grade 22120426 001 9.6 22120426 002 7