- •Знаки:понятия и термины.
- •Термин "знание" и его семантика.
- •Методы приобретения знаний.
- •Множество. Принадлежность. Способы задания и представления множеств.
- •Отношения на множествах. Понятие подмножества.
- •N-арное отношение. Область определения.
- •Бинарное отношение.
- •Рефлексивное бинарное отношение.
- •Примеры рефлексивных отношений
- •Понятие отношения эквивалентности.
- •Понятие соответствия. Частичное соответствие и полное соответствие.
- •Понятие функции.
- •Операция композиции б отн
- •Понятие гомоморфизма.
- •Понятие изоморфизма.
- •Алгебраические системы. Алгебры.
- •Алгебра множеств.
- •Реляционная алгебра. Операция соединения отношений.
- •Алгебра логики.
- •Дискретная математическая модель. Гиперграфовая модель.
- •Графовая модель.
- •Иерархическая модель представления данных Иерархическая модель данных
- •Структурная часть иерархической модели
- •Сетевая модель представления данных. Понятие сети. Основные принципы.
- •Реляционная модель представления данных. Логическая схема реляционной бд. Основные принципы.
- •Диаграмма сущность-связь (er-диаграмма). Типы узлов и рёбер.
- •Реляционные субд. Типы хранимых данных.
- •Первая нормальная форма реляционной модели.
- •[Править]Пример
- •Вторая нормальная форма реляционной модели.
- •[Править]Пример
- •Третья нормальная форма реляционной модели.
- •4Я норм форма и выше. Нормализация Нормализация
- •Нормальные формы
- •Формальный язык.
- •Язык запросов sql
- •Операторы
- •Понятие семантики. Рефлексивная семантика, проективная семантика, дескриптивная семантика.
- •Фреймовая модель представления знаний. Понятие фрейма.
- •Продукционная модель представления знаний. Понятие продукции.
- •Семантические сети. Язык sc.
- •Семантические отношения
- •Иерархические
- •Вспомогательные
- •Язык sc. Понятие семантически нормализованного множества.
- •Язык sc. Семантика позитивной дуги.
- •Язык sc. Семантика негативной дуги.
- •Язык sc. Кортеж.
- •Язык sc. Атрибут.
- •Логическая модель представления знаний. Понятие формальной аксиоматической теории.
- •Логический язык. Понятие интерпретации логической формулы.
- •Понятие подформулы.
- •(Общезначимая лф)Классы логических формул.
- •Нейтральная логическая формула.
- •Противоречивая логическая формула.
- •Равносильные логические формулы.
- •Понятие предиката. Связь с моделью.
- •Квантор общности. Семантика.
- •Квантор существования. Семантика.
- •Двойственность кванторов. Открытые и замкнутые формулы.
- •Формальная теория логики высказываний.
- •Формальная теория логики предикатов.
- •Понятие полноты теории (модели).
- •Понятие адекватности теории (модели).
- •Понятие непротиворечивости теории.
- •Отношение выводимости, его свойства и правила логического вывода.
- •Понятие формального вывода.
- •Полнота базы знаний. Представление неполных знаний.
- •Темпоральная модель и темпоральные отношения.
- •Представление знаний о нестационарных предметных областях на семантических сетях.
- •Представление спецификаций программ.
- •Императивное представление знаний. Язык scp.
- •Декларативное представление знаний. Язык scl.
- •Понятие цели и целевой ситуации. Типология целей.
- •Понятие задачи. Классы задач.
- •Информационный запрос как частный случай цели. Язык представления запросов к базе знаний, примеры.
- •Процедурные и непроцедурные способы обработки знаний в базах знаний.
- •Языки описания и представления онтологий.
[Править]Пример
Пример приведения отношения ко второй нормальной форме
Пусть в следующем отношении первичный ключ образует пара атрибутов {Сотрудник,Должность}:
Сотрудник |
Должность |
Зарплата |
Наличие компьютера |
Гришин |
Кладовщик |
20000 |
Нет |
Васильев |
Программист |
40000 |
Есть |
Иванов |
Кладовщик |
25000 |
Нет |
Зарплату сотруднику каждый начальник устанавливает сам (хотя её границы зависят от должности). Наличие же компьютера у сотрудника зависит только от должности, то есть зависимость от первичного ключа неполная.
В результате приведения к 2NF получаются два отношения:
Сотрудник |
Должность |
Зарплата |
Гришин |
Кладовщик |
20000 |
Васильев |
Программист |
40000 |
Иванов |
Кладовщик |
25000 |
Должность |
Наличие компьютера |
Кладовщик |
Нет |
Программист |
Есть |
Третья нормальная форма реляционной модели.
Пример
Рассмотрим в качестве примера следующее отношение:
R1 | ||
Сотрудник |
Отдел |
Телефон |
Гришин |
Бухгалтерия |
11-22-33 |
Васильев |
Бухгалтерия |
11-22-33 |
Петров |
Снабжение |
44-55-66 |
В отношении атрибут «Сотрудник» является первичным ключом. Личных телефонов у сотрудников нет, и телефон сотрудника зависит исключительно от отдела.
Таким образом, в отношении существуют следующие функциональные зависимости: Сотрудник → Отдел, Отдел → Телефон, Сотрудник → Телефон.
Зависимость Сотрудник → Телефон является транзитивной, следовательно, отношение не находится в 3NF.
В результате декомпозиции отношения R1 получаются два отношения, находящиеся в 3NF:
R2 | |
Отдел |
Телефон |
Бухгалтерия |
11-22-33 |
Снабжение |
44-55-66 |
R3 | |
Сотрудник |
Отдел |
Гришин |
Бухгалтерия |
Васильев |
Бухгалтерия |
Петров |
Снабжение |
Исходное отношение R1 при необходимости легко получается в результате операции соединения отношений R2 и R3.
4Я норм форма и выше. Нормализация Нормализация
Основная статья: Нормализация баз данных
Целью нормализации реляционной базы данных является устранение недостатков структуры базы данных, приводящих ко вредной избыточности в данных, которая в свою очередь потенциально приводит к различным аномалиям и нарушениям целостности данных.
Теоретики реляционных баз данных в процессе развития теории выявили и описали типичные примеры избыточности и способы их устранения.
Нормальные формы
Основная статья: Нормальные формы
Нормальная форма — формальное свойство отношения, которое характеризует степень избыточности хранимых данных и возможные проблемы. Каждая следующая нормальная форма в нижеприведенном списке (кроме ДКНФ) в некотором смысле является более совершенной, чем предыдущая, с точки зрения устранения избыточности.
Первая нормальная форма (1НФ, 1NF)
Вторая нормальная форма (2НФ, 2NF)
Третья нормальная форма (3НФ, 3NF)
Нормальная форма Бойса — Кодда (НФБК, BCNF)
Четвёртая нормальная форма (4НФ, 4NF)
Пятая нормальная форма (5НФ, 5NF)
Доменно-ключевая нормальная форма (ДКНФ, DKNF).
Нормальная форма — свойство отношения в реляционной модели данных, характеризующее его с точки зрения избыточности, которая потенциально может привести к логически ошибочным результатам выборки или изменения данных. Нормальная форма определяется как совокупность требований, которым должно удовлетворять отношение.
Процесс преобразования отношений базы данных (БД) к виду, отвечающему нормальным формам, называется нормализацией. Нормализация предназначена для приведения структуры БД к виду, обеспечивающему минимальную логическую избыточность, и не имеет целью уменьшение или увеличение производительности работы или же уменьшение или увеличение физического объёма базы данных.[1] Конечной целью нормализации является уменьшение потенциальной противоречивости хранимой в базе данных информации. Как отмечает К. Дейт,[2]общее назначение процесса нормализации заключается в следующем:
исключение некоторых типов избыточности;
устранение некоторых аномалий обновления;
разработка проекта базы данных, который является достаточно «качественным» представлением реального мира, интуитивно понятен и может служить хорошей основой для последующего расширения;
упрощение процедуры применения необходимых ограничений целостности.
Устранение избыточности производится, как правило, за счёт декомпозиции отношений таким образом, чтобы в каждом отношении хранились только первичные факты (то есть факты, не выводимые из других хранимых фактов).