Информатика и её применения
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Информ. и её примен.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Информ. и её примен., 2013, том 7, выпуск 3, страницы 22–34 (Mi ia269)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Верифицируемое отображение модели данных, основанной на многомерных массивах, в объектную модель данных

С. А. Ступников

Институт проблем информатики Российской академии наук

Аннотация: Рассматривается отображение модели данных, основанной на многомерных массивах (ММ-модели), в объектную модель данных. Изложены общие принципы отображения ММ-моделей в объектные модели данных. Рассмотрено отображение конкретной модели — Array Data Model (ADM), использующейся в системе управления базами данных (СУБД) SciDB, в язык СИНТЕЗ, использующийся в качестве канонической модели данных в технологии предметных посредников. Проиллюстрирован метод верификации отображения — доказательства сохранения информации и семантики операций при отображении. Верификация осуществляется при помощи формального языка спецификаций AMN. Практической целью работы ставилось создание базы для виртуальной или материализованной интеграции ресурсов, основанных на многомерных массивах.

Ключевые слова: многомерные массивы; объектная модель данных; отображение моделей данных; интеграция баз данных.

DOI: https://doi.org/10.14357/19922264130303

Полный текст: PDF файл (181 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья

Образец цитирования: С. А. Ступников, “Верифицируемое отображение модели данных, основанной на многомерных массивах, в объектную модель данных”, Информ. и её примен., 7:3 (2013), 22–34

Цитирование в формате AMSBIB
\RBibitem{Stu13}
\by С.~А.~Ступников
\paper Верифицируемое отображение модели данных, основанной на~многомерных массивах, в~объектную модель данных
\jour Информ. и её примен.
\yr 2013
\vol 7
\issue 3
\pages 22--34
\mathnet{http://mi.mathnet.ru/ia269}
\crossref{https://doi.org/10.14357/19922264130303}
\elib{https://elibrary.ru/item.asp?id=20446788}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/ia269
  • http://mi.mathnet.ru/rus/ia/v7/i3/p22

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. L. Kalinichenko, S. Stupnikov, A. Vovchenko, D. Kovalev, “Conceptual declarative problem specification and solving in data intensive domains”, Информ. и её примен., 7:4 (2013), 112–139  mathnet  crossref  elib
  • Информатика и её применения
    Просмотров:
    Эта страница:152
    Полный текст:54
    Литература:25
    Первая стр.:1
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022