Как научиться проектировать реляционные базы данных за полчаса

Проблема: в таблице билетов нет проверки зала сеанса соответствующему залу в таблице мест.
Реляционное решение есть, но с добавлением избыточности и использованием новых ключей (добавленные элементы выделены синим цветом).