- •1. Знаки: понятия и термины.
- •2. Термин "знание" и его семантика.
- •3. Методы приобретения знаний.
- •4. Множество. Принадлежность. Способы задания и представления множеств.
- •5. Отношения на множествах. Понятие подмножества.
- •6. n-арное отношение. Область определения.
- •7. Бинарное отношение.
- •8. Рефлексивное бинарное отношение.
- •Примеры рефлексивных отношений
- •[править]Примеры антирефлексивных отношений
- •9. Арефлексивное бинарное отношение.
- •10. Симметричное бинарное отношение.
- •11. Антисимметричное бинарное отношение.
- •12. Асимметричное бинарное отношение.
- •13. Транзитивное бинарное отношение.
- •14. Понятие отношения порядка.
- •15. Понятие отношения эквивалентности.
- •16. Понятие соответствия. Частичное соответствие и полное соответствие.
- •19. Понятие функции.
- •20. Понятие биекции.
- •21. Понятие образа элемента.
- •22. Понятие прообраза элемента.
- •23. Алгебраическая операция.
- •24. Операция композиции Б отн
- •25. Понятие гомоморфизма.
- •26. Понятие изоморфизма.
- •27. Алгебраические системы. Алгебры.
- •28. Алгебра множеств.
- •29. Реляционная алгебра. Операция соединения отношений.
- •30. Алгебра логики.
- •31. Дискретная математическая модель. Гиперграфовая модель.
- •32. Графовая модель.
- •33. Иерархическая модель представления данных
- •Иерархическая модель данных
- •Структурная часть иерархической модели
- •34. Сетевая модель представления данных. Понятие сети. Основные принципы.
- •35. Реляционная модель представления данных. Логическая схема реляционной БД. Основные принципы.
- •36. Диаграмма сущность-связь (ER-диаграмма). Типы узлов и рёбер.
- •37. Реляционные СУБД. Типы хранимых данных.
- •38. Первая нормальная форма реляционной модели.
- •[править]Пример
- •39. Вторая нормальная форма реляционной модели.
- •[править]Пример
- •40. Третья нормальная форма реляционной модели.
- •Пример
- •41. 4я норм форма и выше. Нормализация
- •Нормализация
- •Нормальные формы
- •42. Формальный язык.
- •43. Язык запросов SQL
- •Операторы
- •44. Понятие семантики. Рефлексивная семантика, проективная семантика, дескриптивная семантика.
- •45. Фреймовая модель представления знаний. Понятие фрейма.
- •46. Продукционная модель представления знаний. Понятие продукции.
- •47. Семантические сети. Язык SC.
- •Семантические отношения
- •Иерархические
- •Вспомогательные
- •48. Язык SC. Понятие семантически нормализованного множества.
- •49. Язык SC. Семантика позитивной дуги.
- •50. Язык SC. Семантика негативной дуги.
- •51. Язык SC. Кортеж.
- •52. Язык SC. Атрибут.
- •53. Логическая модель представления знаний. Понятие формальной аксиоматической теории.
- •54. Логический язык. Понятие интерпретации логической формулы.
- •55. Понятие подформулы.
- •56. (Общезначимая ЛФ)Классы логических формул.
- •57. Нейтральная логическая формула.
- •58. Противоречивая логическая формула.
- •59. Равносильные логические формулы.
- •60. Понятие предиката. Связь с моделью.
- •61. Квантор общности. Семантика.
- •62. Квантор существования. Семантика.
- •63. Двойственность кванторов. Открытые и замкнутые формулы.
- •64. Формальная теория логики высказываний.
- •65. Формальная теория логики предикатов.
- •66. Понятие полноты теории (модели).
- •67. Понятие адекватности теории (модели).
- •68. Понятие непротиворечивости теории.
- •69. Отношение выводимости, его свойства и правила логического вывода.
- •70. Понятие формального вывода.
- •71. Полнота базы знаний. Представление неполных знаний.
- •73. Темпоральная модель и темпоральные отношения.
- •74. Представление знаний о нестационарных предметных областях на семантических сетях.
- •75. Представление спецификаций программ.
- •76. Императивное представление знаний. Язык SCP.
- •77. Декларативное представление знаний. Язык SCL.
- •78. Понятие цели и целевой ситуации. Типология целей.
- •79. Понятие задачи. Классы задач.
- •80. Информационный запрос как частный случай цели. Язык представления запросов к базе знаний, примеры.
- •81. Процедурные и непроцедурные способы обработки знаний в базах знаний.
- •82. Языки описания и представления онтологий.
41. 4я норм форма и выше. Нормализация
Нормализация
Основная статья: Нормализация баз данных
Целью нормализации реляционной базы данных является устранение недостатков структуры базы данных, приводящих ко вредной избыточности в данных, которая в свою очередь потенциально приводит к различным аномалиям и нарушениям целостности данных.
Теоретики реляционных баз данных в процессе развития теории выявили и описали типичные примеры избыточности и способы их устранения.
Нормальные ормы
Основная статья: Нормальные формы
Нормальная форма — формальное свойство отношения, которое характеризует степень избыточности хранимых данных и возможные проблемы. Каждая следующая нормальная форма в нижеприведенном списке (кроме ДКНФ) в некотором смысле является более совершенной, чем предыдущая, с точки зрения устранения избыточности.
Первая нормальная форма (1НФ, 1NF)
Вторая нормальная форма (2НФ, 2NF)
Третья нормальная форма (3НФ, 3NF)
Нормальная форма Бойса — Кодда (НФБК, BCNF)
Четвёртая нормальная форма (4НФ, 4NF)
Пятая нормальная форма (5НФ, 5NF)
Доменно-ключевая нормальная форма (ДКНФ, DKNF).
Нормальная орма — свойство отношения в реляционной модели данных, характеризующее его с точки зрения избыточности, которая потенциально может привести к логически ошибочным результатам выборки или изменения данных. Нормальная форма определяется как совокупность требований, которым должно удовлетворять отношение.
Процесс преобразования отношений базы данных (БД) к виду, отвечающему нормальным формам, называется нормализацией. Нормализация предназначена для приведения структуры БД к виду, обеспечивающему минимальную логическую избыточность, и не имеет целью уменьшение или увеличение производительности работы или же уменьшение или увеличение физического объёма базы данных.[1] Конечной целью нормализации является уменьшение потенциальной противоречивости хранимой в базе данных информации. Как отмечает К. Дейт,[2]общее назначение процесса нормализации заключается в следующем:
исключение некоторых типов избыточности; устранение некоторых аномалий обновления;
разработка проекта базы данных, который является достаточно «качественным» представлением реального мира, интуитивно понятен и может служить хорошей основой для последующего расширения;
упрощение процедуры применения необходимых ограничений целостности.
Устранение избыточности производится, как правило, за счёт декомпозиции отношений таким образом, чтобы в каждом отношении хранились
только первичные факты (то есть факты, не выводимые из других хранимых фактов).