Системы управления базами данных

  • 03 марта 2015 г.
  • 5110 Слова
Министерство образования Республики Беларусь
Белорусский национальный технический университет
РЕСПУБЛИКАНСКИЙ ИНСТИТУТ ИННОВАЦИОННЫХ ТЕХНОЛОГИЙ
Кафедра «Информационные технологии»




КУРСОВАЯ РАБОТА
по дисциплине

"Системы управления базами данных"

Исполнитель
слушатель группы



Иванован
Руководитель
ст. преподаватель











Минск
2013
Содержание1.Математическая логика……………………………………………………….3-7

2. Системы управления базами данных……………………………………….8-14

3. Описание предметной области базы данных………………………………15

4. Описание информационно-логической модели БД………………………..16-17

5. Создание таблиц………………………………………………………………18-21

6. Создание запросов……………………………………………………………22-26

7. Созданиеформ………………………………………………………………..27-28.

8.Создание отчетов………………………………………………………………29-30.

9. Список используемых источников…………………………………………...31





























1.Математическая логика.

– это область знаний, которая изучает истинность или ложность высказываний. 
Утверждения в математической логике называются логическими выражениями. 
Заметим. Что любое высказывание или логическое выражение не может бытьодновременно истинным и ложным, а принимает только одно из этих двух возможных логических значений: ИСТИНА или ЛОЖЬ. Эти значения называются в математической логике логическими постоянными, или логическими константами. 
Связки в сложных высказываниях: 'И', 'ИЛИ', 'НЕ'... в математической логике называют операциями.
Познакомимся с ними поочередно, с порядком их выполнения и законами математической логики.
Логическоесложение (дизъюнкция).
Объединение простых высказываний связкой ИЛИ, называют логическим сложением или дизъюнкцией. Обозначают:

Для определения истинности или ложности результатов логических операций пользуются таблицами истинности, где ИСТИНА и ЛОЖЬ обозначаются 1 и 0. Для логического сложения таблица истинности выглядит так:

Логическое умножение (конъюнкция).
Объединение простыхвысказываний союзом И, называют логическим умножением или конъюнкцией. Обозначают:


Для логического умножения таблица истинности выглядит так:

Логическое отрицание (инверсия).
Присоединение частицы НЕ к сказуемому данного простого высказывания, называют логическим отрицанием или инверсией. Обозначают:

Для логического отрицания таблица истинности выглядит так:

Логическое следование(импликация).
Сложное логическое высказывание , образованное с помощью связки 'ЕСЛИ..., ТО...' называют логическим следованием или импликацией. Обозначают:

Для логического следования таблица истинности выглядит так:


Логическое равенство (эквивалентность).
Сложное логическое высказывание , образованное с помощью связки 'ТОГДА И ТОЛЬКО ТОГДА...' называют логическим равенством или эквивалентностью.Равнозначность называют также эквиваленцией. Обозначают:


Для логического равенства таблица истинности выглядит так:


Порядок выполнения логических операций.
Для логических операций порядок выполнения в заданной логической функции (составного высказывания) выглядит так:


Бинарные отношения
    Бинарные отношения служат простым и удобным аппаратом для весьма широкого круга задач. Язык бинарных и n-арныхотношений используется во многих прикладных (для математики) областях, например, таких как математическая лингвистика, математическая биология, математическая теория баз данных. Широкое использование языка бинарных отношений легко объясняется – геометрический аспект теории бинарных отношений есть попросту теория графов. Бинарным отношением, определенным на паре множеств X и Y, называется любое подмножествопрямого произведения множеств X x Y.
    Если x связан с y отношением R, то это обозначают как xRy или (x, y)R. 
    Бинарное отношение может задаваться своим множеством R={(x,y)| xRy}. 
Поскольку бинарные отношения являются множествами, то имеет смысл говорить о действиях над бинарными отношениями...
tracking img