Интеграция аксиоматики дескриптивных логик с реляционной моделью данных

Работа является логическим продолжением ранее опубликованных исследований, посвященных описанию отображений между дескриптивной логикой и реляционной моделью данных. На основе бинарной реляционной структуры данных, созданной ранее, осуществляется отображение аксиоматики дескриптивной логики ALC в ре...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2017
Автор: Чистякова, И.С.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 2017
Назва видання:Проблеми програмування
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/144049
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Интеграция аксиоматики дескриптивных логик с реляционной моделью данных / И.С. Чистякова // Проблеми програмування. — 2017. — № 1. — С. 51-58. — Бібліогр.: 7 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Опис
Резюме:Работа является логическим продолжением ранее опубликованных исследований, посвященных описанию отображений между дескриптивной логикой и реляционной моделью данных. На основе бинарной реляционной структуры данных, созданной ранее, осуществляется отображение аксиоматики дескриптивной логики ALC в реляционную модель данных (RDM). В работе используются полученные ранее результаты исследований, а именно структура данных RM2 и отображения базовых концептов логики ALC в RDM.