Проектирование многопользовательской информационной системы "Университетская библиотека"

Курсовой проект - Компьютеры, программирование

Другие курсовые по предмету Компьютеры, программирование

·работаны следующие представления:

infoZamena информация о замене книг по какой-либо предметной области. Содержит информацию из таблиц Книга, Замена книг и Экземпляр;информация о списании книг по программированию на Delphi. Содержит информацию из таблиц Книга, Списанные экземпляры и Экземпляр;информация об отделах библиотеки, содержит информацию из талиц Отделы и Сотрудники.информация о заказах. Содержит информацию из таблиц Заказы и Преподаватели;информация о книге и её экземплярах. Содержит информацию из таблиц Книга и Экземпляр;информация о наличии книг в библиотеке. Содержит информацию из таблиц Книга, Экземпляр и Пользование_библиотекой;информация о наличии экземпляров книг в библиотеке. Содержит информацию из таблиц Экземпляр и Пользование_библиотекой;информация о том, кто и когда принял оплату платной услуги, Содержит информацию из таблиц Платные_услуги, Сотрудники_библиотеки и Пользование_библиотекой;список книг, которыми пользуется преподаватель. Содержит информацию из таблиц Книга, Преподаватели, Пользование библиотекой3 и Экземпляр;список книг, которыми пользуется библиотекарь. Содержит информацию из таблиц Книга, Сотрудники библиотеки, Пользование библиотекой1 и Экземпляр;список книг, которыми пользуется студент. Содержит информацию из таблиц Книга, Студенты, Пользование библиотекой2 и Экземпляр;информация о сотруднике. Содержит информацию из таблиц Сотрудники библиотеки и Отделы;информация о книге и её цене. Содержит информацию из таблицы Книга;полная информация об экземпляре.

Хранимые процедуры имеют много общего с обычными процедурами. Использование хранимых процедур позволяет значительно повысить скорость разработки приложений.

Для приложения были разработаны следующие хранимые процедуры:

для вставки новых данных:в таблицу Заказы;в таблицу Списанные экземпляры;в таблицу Книга;в таблицу Отделы;в таблицу Периодические издания;в таблицу Пользование библиотекой1;в таблицу Студенты;в таблицу Экземпляр;в таблицу Преподаватели;в таблицу Пользование библиотекой3;

для удаления данных:из таблицы Преподаватели;из таблицы Сотрудники библиотеки;

для обновления записей:таблица Отделы;

UpdatePrepod таблица Преподаватели:

UpdateCotpyd таблица Сотрудники библиотеки;

UpdateStudent таблица Студенты:

KolExzemplarov для подсчета количества экземпляров;

CpicokVidach формирует список книговыдач:

CpicokKnigCtudenta формирует список книг, которыми пользуется студент.

 

2.3 Верификация спроектированной логической модели

 

После разработки информационной модели ее следует связать с функциональной моделью. Такая связь гарантирует завершенность анализа, гарантирует, что есть источники данных (сущности) для всех работ. Связывание моделей способствует согласованности, корректности и завершенности анализа. Стрелки в функциональной модели обозначают некоторую информацию, использующуюся в моделируемой системе. В информационной модели на логическом уровне информация изображается в виде сущностей. Сущности состоят из совокупностей экземпляров сущностей (кортежи отношений). К информационной модели предъявляется требование нормализации, что должно обеспечить компактность и непротиворечивость хранения данных. Информация, которая моделируется одной стрелкой в функциональной модели, может содержаться в нескольких сущностях и атрибутах информационной модели. На функциональной модели могут присутствовать различные стрелки, изображающие одни и те же данные. Информация о таких стрелках находится в одних и тех же сущностях. Следовательно, одной и той же стрелке в функциональной модели могут соответствовать несколько сущностей в информационной модели и, наоборот, одной сущности может соответствовать несколько стрелок.

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

Таблица 1 - Отчет о верификации модели

Arrow NameEntity NameAttribute NameИнформация о новых книгахКнигаИнформация о сотрудникахПреподавателиДолжностьИмяОтчествоФамилияЧитательский номерСотрудники библиотекидата рождениядолжностьимяномер отделаНомер отделаотчествотабельный номерфамилияИнформация о студентахСтудентыгод окончаниягод поступленияИмяномер приказаОтчествоспециальностьфакультетФамилияформа обученияЧитательский номерИнформация о фондеПериодические изданияДата изданияНазваниеНомер отделаШифр периодикиЭкземплярISBNНомер отделаОтметка о заменеОтметка о списанииПредметная областьШифрКартотека периодических изданийПериодические изданияДата изданияНазваниеНомер отделаШифр периодикиНовая литератураКнигаISBNАвторГод изданияИздательствоКодичество страницНазваниеЦенаОтчет о выданных книгахЭкземплярISBNНомер отделаОтметка о заменеОтметка о списанииПредметная областьШифрОтчет о платных услугахПериодические изданияДата изданияНазваниеНомер отделаШифр периодикиСтудентыгод окончаниягод поступленияИмяномер приказаОтчествоспециальностьфакультетФамилияформа обученияЧитательский