
- •Знаки:понятия и термины.
- •Термин "знание" и его семантика.
- •Методы приобретения знаний.
- •Множество. Принадлежность. Способы задания и представления множеств.
- •Отношения на множествах. Понятие подмножества.
- •N-арное отношение. Область определения.
- •Бинарное отношение.
- •Рефлексивное бинарное отношение.
- •Примеры рефлексивных отношений
- •Понятие отношения эквивалентности.
- •Понятие соответствия. Частичное соответствие и полное соответствие.
- •Понятие функции.
- •Операция композиции б отн
- •Понятие гомоморфизма.
- •Понятие изоморфизма.
- •Алгебраические системы. Алгебры.
- •Алгебра множеств.
- •Реляционная алгебра. Операция соединения отношений.
- •Алгебра логики.
- •Дискретная математическая модель. Гиперграфовая модель.
- •Графовая модель.
- •Иерархическая модель представления данных Иерархическая модель данных
- •Структурная часть иерархической модели
- •Сетевая модель представления данных. Понятие сети. Основные принципы.
- •Реляционная модель представления данных. Логическая схема реляционной бд. Основные принципы.
- •Диаграмма сущность-связь (er-диаграмма). Типы узлов и рёбер.
- •Реляционные субд. Типы хранимых данных.
- •Первая нормальная форма реляционной модели.
- •[Править]Пример
- •Вторая нормальная форма реляционной модели.
- •[Править]Пример
- •Третья нормальная форма реляционной модели.
- •4Я норм форма и выше. Нормализация Нормализация
- •Нормальные формы
- •Формальный язык.
- •Язык запросов sql
- •Операторы
- •Понятие семантики. Рефлексивная семантика, проективная семантика, дескриптивная семантика.
- •Фреймовая модель представления знаний. Понятие фрейма.
- •Продукционная модель представления знаний. Понятие продукции.
- •Семантические сети. Язык sc.
- •Семантические отношения
- •Иерархические
- •Вспомогательные
- •Язык sc. Понятие семантически нормализованного множества.
- •Язык sc. Семантика позитивной дуги.
- •Язык sc. Семантика негативной дуги.
- •Язык sc. Кортеж.
- •Язык sc. Атрибут.
- •Логическая модель представления знаний. Понятие формальной аксиоматической теории.
- •Логический язык. Понятие интерпретации логической формулы.
- •Понятие подформулы.
- •(Общезначимая лф)Классы логических формул.
- •Нейтральная логическая формула.
- •Противоречивая логическая формула.
- •Равносильные логические формулы.
- •Понятие предиката. Связь с моделью.
- •Квантор общности. Семантика.
- •Квантор существования. Семантика.
- •Двойственность кванторов. Открытые и замкнутые формулы.
- •Формальная теория логики высказываний.
- •Формальная теория логики предикатов.
- •Понятие полноты теории (модели).
- •Понятие адекватности теории (модели).
- •Понятие непротиворечивости теории.
- •Отношение выводимости, его свойства и правила логического вывода.
- •Понятие формального вывода.
- •Полнота базы знаний. Представление неполных знаний.
- •Темпоральная модель и темпоральные отношения.
- •Представление знаний о нестационарных предметных областях на семантических сетях.
- •Представление спецификаций программ.
- •Императивное представление знаний. Язык scp.
- •Декларативное представление знаний. Язык scl.
- •Понятие цели и целевой ситуации. Типология целей.
- •Понятие задачи. Классы задач.
- •Информационный запрос как частный случай цели. Язык представления запросов к базе знаний, примеры.
- •Процедурные и непроцедурные способы обработки знаний в базах знаний.
- •Языки описания и представления онтологий.
Язык запросов sql
Язык SQL представляет собой совокупность
операторов;
инструкций;
и вычисляемых функций.
Операторы
Согласно общепринятому стилю программирования, операторы (и другие зарезервированные слова) в SQL всегда следует писать прописными буквами[7].
Операторы SQL делятся на:
операторы определения данных (Data Definition Language, DDL)
CREATE создает объект БД (саму базу, таблицу, представление, пользователя и т. д.)
ALTER изменяет объект
DROP удаляет объект
операторы манипуляции данными (Data Manipulation Language, DML)
SELECT считывает данные, удовлетворяющие заданным условиям
INSERT добавляет новые данные
UPDATE изменяет существующие данные
DELETE удаляет данные
операторы определения доступа к данным (Data Control Language, DCL)
GRANT предоставляет пользователю (группе) разрешения на определенные операции с объектом
REVOKE отзывает ранее выданные разрешения
DENY задает запрет, имеющий приоритет над разрешением
операторы управления транзакциями (Transaction Control Language, TCL)
COMMIT применяет транзакцию.
ROLLBACK откатывает все изменения, сделанные в контексте текущей транзакции.
SAVEPOINT делит транзакцию на более мелкие участки.
SQL (англ. Structured Query Language — «язык структурированных запросов») — универсальный компьютерный язык, применяемый для создания, модификации и управления данными в реляционных базах данных. SQL основывается наисчислении кортежей.
Понятие семантики. Рефлексивная семантика, проективная семантика, дескриптивная семантика.
Семантика (фр. sémantique от др.-греч. σημαντικός — обозначающий), также семасиология — наука о понимании определённых знаков, последовательностей символов и других условных обозначений; раздел семиотики.
Семантика (лингвистика)
Семантика (программирование)
Существует также отдельная самостоятельная дисциплина общая семантика, рассматривающая общую теорию оценки фактов, отношений, ощущений и т. д. не с точки зрения просто вербальных определений того, что говорится о значениях, но с точки зрения того, как в действительности происходят оценочные реакции у человека.
Виды семантики:
декларативная - описывает знаки и значения в предметной области
проективная - если есть другая модель, то в качестве знаний могут предполагаться другие модели
рефлексивная - знаки моделей с частями моделей
Фреймовая модель представления знаний. Понятие фрейма.
Фрейм – это некоторая структура для представления знаний, которая при ее заполнении соответствующими значениями превращается в описание конкретного факта, события или ситуации. Каждый фрейм можно рассматривать как семантическую сеть, состоящую из выделенных вершин и связей.
Фреймовая модель основана на принципе фрагментации знаний.
Основа фреймовой модели – слот, который состоит из имени некоторого признака, значений этого признака и связи с другими слотами.
Например, описание ситуации «Студент Иванов получил книгу А. Я. Архангельского «100 компонентов Delphi» в библиотеке ТГПУ им. Л. Н. Толстого в г. Туле» может быть представлено следующим образом:
ПОЛУЧЕНИЕ:
ОБЕКТ (КНИГА: (Автор, А. Я. Архангельский), (Название, 100 компонентов Delphi));
АГЕНТ (СТУДЕНТ: (Фамилия, Иванов));
МЕСТО: (БИБЛИОТЕКА: (Название, ТГПУ), (Расположение, Тула)).
Здесь ОБЪЕКТ, АГЕНТ и МЕСТО – это роли, которые играют слоты КНИГА, СТУДЕНТ и БИБЛИОТЕКА в рамках фрейма ПОЛУЧЕНИЕ.
Фреймовую модель можно представить в виде таблицы, у которой в отличие от реляционной модели данных есть ряд особенностей:
возможность смешанного заполнения слотов константами и переменными;
возможность наличия пустых слотов;
размещение в слотах указателей на другие фреймы для создания сети;
размещение в слотах имен выполняемых процедур.