ойВ»; інформація про те, хто і коли прийняв оплату платної послуги, Містить інформацію з таблиць В«Платние_услугіВ», В«Сотруднікі_бібліотекіВ» і В«Пользованіе_бібліотекойВ»; список книг, якими користується викладач. Містить інформацію з таблиць В«КнигаВ», В«ВикладачіВ», В«Користування бібліотекой3В» і В«ПримірникВ»; список книг, якими користується бібліотекар. Містить інформацію з таблиць В«КнигаВ», В«Співробітники бібліотекиВ», В«Користування бібліотекой1В» і В«ПримірникВ»; список книг, якими користується студент. Містить інформацію з таблиць В«КнигаВ», В«СтудентиВ», В«Користування бібліотекой2В» і В«ПримірникВ»; інформація про співробітника. Містить інформацію з таблиць В«Співробітники бібліотекиВ» і «³дділиВ»; інформація про книгу та її ціною. Містить інформацію з таблиці В«КнигаВ»; повна інформація про екземплярі. p align="justify"> Збережені процедури мають багато спільного із звичайними процедурами. Використання збережених процедур дозволяє значно підвищити швидкість розробки додатків. p align="justify"> Для програми були розроблені наступні збережені процедури:
для вставки нових даних: в таблицю В«ЗамовленняВ»; в таблицю В«Списані екземпляриВ»; в таблицю В«КнигаВ»; в таблицю «³дділиВ»; в таблицю В«Періодичні виданняВ»; в таблицю "Користування бібліотекой1 В»; в таблицюВ« Студенти В»; в таблицю" екземпляр "; в таблицюВ« Викладачі В»; в таблицю" Користування бібліотекой3 В»;
для видалення даних: з таблиці В«ВикладачіВ»; з таблиці В«Співробітники бібліотекиВ»;
для оновлення записів: таблиця «³дділиВ»;
UpdatePrepod таблиця "Викладачі":
UpdateCotpyd таблиця В«Працівники бібліотекиВ»;
UpdateStudent таблиця В«СтудентиВ»:
KolExzemplarov для підрахунку кількості примірників;
CpicokVidach формує список книговидач:
CpicokKnigCtudenta формує список книг, якими користується студент.
2.3 Верифікація спроектованої логічної моделі
Після розробки інформаційної моделі її слід пов'язати з функціональною моделлю. Такий зв'язок гарантує завершеність аналізу, гарантує, що є джерела даних (сутності) для всіх робіт. Зв'язування моделей сприяє узгодженості, коректності та завершеності аналізу. Стрілки в функціональної моделі позначають деяку інформацію, що використовується в моделюється системі. В інформаційній моделі на логічному рівні інформація зображується у вигляді сутностей. Сутності складаються з сукупностей примірників сутностей (кортежі відносин). До інформаційної моделі ставиться вимога нормалізації, що має забезпечити компактність і несуперечливість зберігання даних. Інформація, яка моделюється однією стрілкою у функціональній моделі, може міститися в кількох сутності і атрибутах інформаційної моделі. На функціональної моделі можу...