Интеграция аксиоматики дескриптивных логик с реляционной моделью данных
Работа является логическим продолжением ранее опубликованных исследований, посвященных описанию отображений между дескриптивной логикой и реляционной моделью данных. На основе бинарной реляционной структуры данных, созданной ранее, осуществляется отображение аксиоматики дескриптивной логики ALC в ре...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2017 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2017
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/144049 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Интеграция аксиоматики дескриптивных логик с реляционной моделью данных / И.С. Чистякова // Проблеми програмування. — 2017. — № 1. — С. 51-58. — Бібліогр.: 7 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Zusammenfassung: | Работа является логическим продолжением ранее опубликованных исследований, посвященных описанию отображений между дескриптивной логикой и реляционной моделью данных. На основе бинарной реляционной структуры данных, созданной ранее, осуществляется отображение аксиоматики дескриптивной логики ALC в реляционную модель данных (RDM). В работе используются полученные ранее результаты исследований, а именно структура данных RM2 и отображения базовых концептов логики ALC в RDM.
Робота є логічним продовженням раніше опублікованих досліджень, які були присвячені опису відображень між дескриптивною логікою та реляційною моделлю даних. За допомогою попередньо створеної бінарної реляційної структури даних здійснюється відображення аксіоматики дескриптивної логіки ALC у реляційну модель даних (RDM). В роботі використовуються результати, що були отримані у минулих дослідженнях, а саме – структура даних RM2, відображення базових концептів логіки ALC у RDM.
The paper is a logical continuation of the previously published work, which was dedicated to the creation of mappings from the description logic into binary relational data model. On base of the previously created binary relational data structure we perform mappings of the ALC axiomatic into relational data model (RDM). The results of previous research namely data structure RM2, mappings of the basic ALC concepts were used in this paper.
|
|---|---|
| ISSN: | 1727-4907 |