Customer(customer-id,customer_name,vip_id) Ticket(ticket-id,seat_id,session-id,hall_id,customer-id) Order_info(,order-id,time,money,customer-id,ticket-id) Session(session-id,hall-id,date,price,seat_number,movie-id) Hall(hall-id,hall_name,capacity) Movie(movie-id,movie_name,type,duration,actor,director) Administrator(ad-id,ad_name) Administrate(ad-id,movie-id,ad_time)请分析是否符合BCNF
时间: 2024-04-07 13:30:23 浏览: 126
根据给出的关系模式,我们来逐个分析每个关系模式的功能依赖关系,以确定是否符合BCNF(Boyce-Codd范式)。
1. Customer(customer-id, customer_name, vip_id)
- 这个关系模式中的所有属性都依赖于customer-id,因此符合BCNF。
2. Ticket(ticket-id, seat_id, session-id, hall-id, customer-id)
- ticket-id是主键,而seat_id、session-id、hall-id、customer-id都直接依赖于ticket-id,因此符合BCNF。
3. Order_info(order-id, time, money, customer-id, ticket-id)
- order-id是主键,time和money直接依赖于order-id,customer-id和ticket-id直接依赖于order-id,因此符合BCNF。
4. Session(session-id, hall-id, date, price, seat_number, movie-id)
- session-id是主键,hall-id、date、price直接依赖于session-id,因此符合BCNF。
5. Hall(hall-id, hall_name, capacity)
- hall-id是主键,hall_name和capacity直接依赖于hall-id,因此符合BCNF。
6. Movie(movie-id, movie_name, type, duration, actor, director)
- movie-id是主键,movie_name、type、duration、actor和director直接依赖于movie-id,因此符合BCNF。
7. Administrator(ad-id, ad_name)
- ad-id是主键,ad_name直接依赖于ad-id,因此符合BCNF。
8. Administrate(ad-id, movie-id, ad_time)
- ad-id和movie-id组合成主键,ad_time直接依赖于(ad-id, movie-id),因此符合BCNF。
综上所述,根据给出的关系模式,所有关系模式均符合BCNF。
阅读全文