1. Основные понятия и определения онтологической инженерии. Категории, объекты и отношения
2. Синтаксис и семантика пропозициональной логики. Использование пропозициональной логики для представления знаний
3. Цель логического вывода. Аксиомы, теоремы, правила логического вывода. Свойство монотонности логического вывода
4. Применение метода резолюций для доказательства истинности следствий в базе знаний. Полнота метода резолюций
5. Прямой и обратный логический вывод. Поиск решения в дереве вывода «в глубину» и «в ширину»
6. Синтаксис и семантика логики предикатов первого порядка. Использование логики первого порядка для представления знаний
7. Понятие квантора. Типы кванторов. Использование кванторов в логике предикатов первого порядка
8. Структура и операции модели представления знаний о времени
9. Структура и операции модели представления знаний о пространстве
10. Продукционная модель представления знаний. Структура системы продукций
11. Семантические модели представления знаний: семантическая сеть и сеть фреймов
12. Понятие знаний в инженерии знаний. Свойства знаний. Понятие модели представления знаний
13. Схема наивной индукции. Примеры рассуждений при помощи схемы наивной индукции. Использование схемы наивной индукции в системах, основанных на знаниях
14. Схема рассуждения по аналогии. Примеры рассуждений по аналогии. Использование рассуждений по аналогии в системах, основанных на знаниях
15. Определение нечетких знаний. Типология нечетких знаний. Вывод, основанный на нечетких знаниях
16. Понятие семантического языка. Примеры семантических языков: УСК (универсальный семантический код), SC (Semantic Code)
17. Понятие базы знаний. Структура и функции системы управления базой знаний. Язык запросов к базе знаний
18. Понятие ограничения целостности базы данных. Классификация ограничений целостности. Реализация ограничений целостности средствами SQL
19. Понятие транзакции. Проблемы параллельной работы транзакций
20. Конфликты между транзакциями. Способы разрешения конфликтов
21. Механизм блокировок. Типология блокировок. Примеры использования различных типов блокировок
22. Назначение блокировок. Проблемы, связанные с установкой блокировок. Преднамеренные блокировки
23. Альтернативные методы обеспечения сериализуемости транзакций: метод временных меток, метод выделения версий данных
24. Теорема Есварана о сериализуемости транзакций
25. Реализация реляционной алгебры средствами операторов Structured Query Language (SQL)
26. Базовые понятия реляционной модели данных. Общая характеристика реляционной модели данных
27. Преобразование концептуальной модели в реляционную модель данных. Преобразование сущностей и отношений «1:1», «1:n» и «n:n»
28. Типы данных, используемые в реляционной модели. Домены. Отношения, атрибуты, кортежи отношения
29. Реляционная алгебра. Замкнутость реляционной алгебры. Отношения, совместимые по типу. Зависимые и базовые реляционные операторы
30. Специальные реляционные операторы. Примеры использования специальных реляционных операторов
31. Теоретико-множественные операторы реляционной алгебры. Примеры использования теоретико-множественных операторов
32. Запросы, невыразимые средствами реляционной алгебры: плохая нормализация, транзитивное замыкание, кросс-таблицы
33. Понятие языка запросов к базе данных. Операторы Structured Query Language (SQL). Порядок выполнения оператора SELECT
34. Традиционные файловые системы. Подход, используемый в файловых системах. Достоинства и недостатки.
35. Модель «Entity-Relationship» (ER). Типы сущностей, атрибутов. Ключи. Связи. Атрибуты связей. Степень связи. Суперклассы и подклассы, наследование атрибутов, специализация, генерализация, категоризация
36. Проблемы ER-моделирования (ловушка разветвления, ловушка разрыва, ловушка соединения)
37. Планирование и проектирование баз данных. Концептуальное проектирование. Логическое проектирование. Физическое проектирование. Критерии оценки качества модели.
38. Сетевая модель данных. Связь сетевой модели с концептуальной моделью данных.
39. Иерархическая модель данных. Преобразование концептуальной модели данных в иерархическую. Преобразование сущностей и отношений «1:1», «1:n» и «n:n»
40. Понятие корректности процедуры нормализации. Теорема Хейза
41. Нормализация. Структуры функциональных зависимостей. Многозначные, встроенные многозначные и транзитивные зависимости. Алгоритм нормализации
42. Нормализация высоких порядков: 5 НФ и б НФ
43. Понятие целостности реляционных данных. Операций, приводящие к нарушению целостности данных. Стратегии поддержания ссылочной целостности
44. Утилиты переноса данных из одной базы данных в другую: Import, Load, Export. Форматы файлов данных, ограничения и свойства утилит
45. Понятие триггера. Оператор создания триггера
46. Физическая организация данных. Типы файлов. Хеш-функция. Ограничения, присущие методу хеширования
47. Понятие СУБД. Функции СУБД. Трехуровневая архитектура ANSI-SPARC СУБД. Администрирование базы данных.
48. Архитектура сетевого приложения, взаимодействующего с базой данных. Техника создания приложений и апплетов на языке Java, взаимодействующих с базами данных.
49. Архитектура информационно-поисковой системы. Оценка эффективности информационно-поисковых систем. Примеры информационно-поисковых систем
50. Основные принципы информационного поиска. Последовательный поиск. Ускоренные методы поиска: двоичный, блочный. Поиск по двоичному дереву. Методы поиска, использующие прямой доступ к данным. Доступ с помощью ключа.
51. Способы установления релевантности анализируемого документа поисковому запросу. Структура словарей информационно-поисковой системы: словарь словосочетаний, словарь незначимых терминов, словарь синонимов.
52. Лингвистическая модель информационно-поисковой системы. Понятие лингвистической переменной и лингвистической шкалы в информационном поиске