
- •Знаки:понятия и термины.
- •Термин "знание" и его семантика.
- •Методы приобретения знаний.
- •Множество. Принадлежность. Способы задания и представления множеств.
- •Отношения на множествах. Понятие подмножества.
- •N-арное отношение. Область определения.
- •Бинарное отношение.
- •Рефлексивное бинарное отношение.
- •Примеры рефлексивных отношений
- •Понятие отношения эквивалентности.
- •Понятие соответствия. Частичное соответствие и полное соответствие.
- •Понятие функции.
- •Операция композиции б отн
- •Понятие гомоморфизма.
- •Понятие изоморфизма.
- •Алгебраические системы. Алгебры.
- •Алгебра множеств.
- •Реляционная алгебра. Операция соединения отношений.
- •Алгебра логики.
- •Дискретная математическая модель. Гиперграфовая модель.
- •Графовая модель.
- •Иерархическая модель представления данных Иерархическая модель данных
- •Структурная часть иерархической модели
- •Сетевая модель представления данных. Понятие сети. Основные принципы.
- •Реляционная модель представления данных. Логическая схема реляционной бд. Основные принципы.
- •Диаграмма сущность-связь (er-диаграмма). Типы узлов и рёбер.
- •Реляционные субд. Типы хранимых данных.
- •Первая нормальная форма реляционной модели.
- •[Править]Пример
- •Вторая нормальная форма реляционной модели.
- •[Править]Пример
- •Третья нормальная форма реляционной модели.
- •4Я норм форма и выше. Нормализация Нормализация
- •Нормальные формы
- •Формальный язык.
- •Язык запросов sql
- •Операторы
- •Понятие семантики. Рефлексивная семантика, проективная семантика, дескриптивная семантика.
- •Фреймовая модель представления знаний. Понятие фрейма.
- •Продукционная модель представления знаний. Понятие продукции.
- •Семантические сети. Язык sc.
- •Семантические отношения
- •Иерархические
- •Вспомогательные
- •Язык sc. Понятие семантически нормализованного множества.
- •Язык sc. Семантика позитивной дуги.
- •Язык sc. Семантика негативной дуги.
- •Язык sc. Кортеж.
- •Язык sc. Атрибут.
- •Логическая модель представления знаний. Понятие формальной аксиоматической теории.
- •Логический язык. Понятие интерпретации логической формулы.
- •Понятие подформулы.
- •(Общезначимая лф)Классы логических формул.
- •Нейтральная логическая формула.
- •Противоречивая логическая формула.
- •Равносильные логические формулы.
- •Понятие предиката. Связь с моделью.
- •Квантор общности. Семантика.
- •Квантор существования. Семантика.
- •Двойственность кванторов. Открытые и замкнутые формулы.
- •Формальная теория логики высказываний.
- •Формальная теория логики предикатов.
- •Понятие полноты теории (модели).
- •Понятие адекватности теории (модели).
- •Понятие непротиворечивости теории.
- •Отношение выводимости, его свойства и правила логического вывода.
- •Понятие формального вывода.
- •Полнота базы знаний. Представление неполных знаний.
- •Темпоральная модель и темпоральные отношения.
- •Представление знаний о нестационарных предметных областях на семантических сетях.
- •Представление спецификаций программ.
- •Императивное представление знаний. Язык scp.
- •Декларативное представление знаний. Язык scl.
- •Понятие цели и целевой ситуации. Типология целей.
- •Понятие задачи. Классы задач.
- •Информационный запрос как частный случай цели. Язык представления запросов к базе знаний, примеры.
- •Процедурные и непроцедурные способы обработки знаний в базах знаний.
- •Языки описания и представления онтологий.
Диаграмма сущность-связь (er-диаграмма). Типы узлов и рёбер.
Сущность (Entity) - любой объект, событие или концепция, имеющие существенное значение для предметной области, и информация о которых должна сохраняться.
Каждая сущность является множеством подобных объектов, называемых экземплярами . Каждый экземпляр индивидуален и должен отличаться от остальных.
Атрибут (Attribute) - любая характеристика сущности, значимая для рассматриваемой предметной области. Атрибут предназначен для квалификации, идентификации, классификации, количественной характеристики или выражения состояния сущности.
Каждая сущность может обладать любым количеством связей с другими сущностями. Связь (Relationship) - поименованное логическое соотношение между двумя сущностями, значимое для рассматриваемой предметной области.
Сущность является независимой , если каждый экземпляр ее может быть однозначно идентифицирован без определения его отношений с другими сущностями. Независимая сущность изображается прямоугольником с четко выраженными углами. Сущность является зависимой , если однозначная идентификация экземпляра сущности зависит от его отношения к другой сущности. Зависимая сущность изображается прямоугольником со скругленными углами.
Первичный ключ (Primary Key) - это атрибут или группа атрибутов, однозначно идентифицирующих экземпляр сущности. На диаграмме первичные ключи размещаются выше горизонтальной линии. Ключ может быть сложным, т.е. состоять из нескольких атрибутов.
Альтернативный ключ (Alternate Key) - потенциальный ключ, не ставший первичным. На диаграмме альтернативный ключ обозначается AK n . m , где n - порядковый номер ключа, m - порядковый номер атрибута в ключе.
Внешние ключи (Foreign Key) создаются автоматически, когда сущности соединяются связью (миграция ключа). Связи между таблицами реляционной БД представляются одинаковыми ключами в таблицах (внешними ключами).
Связи (логические отношения между сущностями) именуются глаголами или глагольными фразами. Имена связей выражают некоторые ограничения или бизнес-правила и облегчают чтение диаграмм.
На логическом уровне можно установить:
• идентифицирующую связь один-ко-многим;
• неидентифицирующую связь один-ко-многим;
• связь многие-ко-многим.
Реляционные субд. Типы хранимых данных.
Реляционная модель данных — логическая модель данных, строгая математическая теория, описывающая структурный аспект, аспект целостности и аспект обработки данных в реляционных базах данных.
Структурный аспект (составляющая) — данные в базе данных представляют собой набор отношений.
Аспект (составляющая) целостности — отношения (таблицы) отвечают определенным условиям целостности. РМД поддерживает декларативные ограничения целостности уровня домена (типа данных), уровня отношения и уровня базы данных.
Аспект (составляющая) обработки (манипулирования) — РМД поддерживает операторы манипулирования отношениями (реляционная алгебра, реляционное исчисление).
Кроме того, в состав реляционной модели данных обычно включают теорию нормализации.
Реляционная модель данных является приложением к задачам обработки данных таких разделов математики как теория множеств и формальная логика.
Термин «реляционный» означает, что теория основана на математическом понятии отношение (relation). В качестве неформального синонима термину «отношение» часто встречается слово таблица. Необходимо помнить, что «таблица» есть понятие нестрогое и неформальное и часто означает не «отношение» как абстрактное понятие, а визуальное представление отношения на бумаге или экране.
Для лучшего понимания РМД следует отметить три важных обстоятельства:
модель является логической, т.е. отношения являются логическими (абстрактными), а не физическими (хранимыми) структурами;
для реляционных баз данных верен информационный принцип: все информационное наполнение базы данных представлено одним и только одним способом, а именно — явным заданием значений атрибутов в кортежах отношений; в частности, нет никаких указателей (адресов), связывающих одно значение с другим;
наличие реляционной алгебры позволяет реализовать декларативное программирование и декларативное описаний ограничений целостности, в дополнение к навигационному (процедурному) программированию и процедурной проверке условий.