DATALOG как форма реализации реляционного исчисления

• Номер работы:
  632560
• Раздел:
  Все работы   →   Курсовые проекты - сложные   →   Информационные технологии
• Год добавления:
  16.06.2020 г.
• Объем работы:
  38 стр.
• Содержание:
  ВВЕДЕНИЕ 6
  1. ТЕОРЕТИЧЕСКАЯ ЧАСТЬ 9
  1 1 Анализ подходов к развитию дедуктивных баз данных 9
  1.2 Результаты сравнения систем управления базами данных 13
  1.3 Сравнительный анализ языков запросов 17
  2. ПРАКТИЧЕСКАЯ ЧАСТЬ 24
  2.1 Логическое программирование как язык запросов 24
  2.2. Пролог и Дейталог 26
  2.3 Семантика Дейталога 29
  2.4 Вывод фактов 30
  2.5 Итерация наименьшей неподвижной точки 32
  2.6 Выразительная мощность Дейталога 35
  ВЫВОДЫ 37
  СПИСОК ЛИТЕРАТУРЫ 40
  
  
• Выдержка из работы:
  Некоторые тезисы из работы по теме DATALOG как форма реализации реляционного исчисления
  Современные базы данных (БД) позволяют хранить огромные объёмы информации. Однако использование этой информации не достаточно эффективно. Применяемый в настоящее время язык запросов SQL не позволяет в полной мере осуществить извлечение всей необходимой информации из БД. Многие запросы не могут быть представлены одним SQL-оператором. Такие запросы теряют свою декларативность, становясь процедурными, сложными для написания и восприятия, что повышает вероятность ошибок. .....................................................................................
  Развитию использования аппарата логики в технологиях баз данных способствовало появление известных публикаций Кодда по реляционной модели данных. За прошедшие с тех пор четыре десятилетия роль логики в этой области значительно расширилась. Логика стала не только инструментом исследования реляционной модели данных и методов проектирования реляционных баз данных, но и основой важного направления в технологиях баз данных – дедуктивных и объектно-дедуктивных баз данных, а в последние годы также и основой языков описания онтологий, OBDA-систем, систем интеграции данных, ряда приложений систем баз знаний............................................................................................