Реляционный преобразователь
 | Эта статья может быть слишком технической для понимания большинства читателей . ( декабрь 2023 г. ) |
Реляционные преобразователи представляют собой теоретическую модель для изучения компьютерных систем через призму отношений с базами данных . Эта модель расширяет модель преобразователя в теории формального языка . Впервые они были представлены в 1998 году Абитебулом и др. для изучения приложений электронной коммерции. [1] Модель вычислений рассматривает входные и выходные данные как последовательности отношений. Состояние преобразователя — это состояние базы данных, и переходы через конечный автомат можно рассматривать как обновления состояния базы данных. Модель была вдохновлена дизайном активных баз данных и мотивирована желанием иметь возможность декларативно выражать бизнес-приложения с помощью логических формул.
Приложения
[ редактировать ]Модель реляционного преобразователя была применена для изучения управления компьютерными сетями . [2] платформы электронной коммерции, [1] [3] и некоординированные распределенные системы. [4] [5] [6] [7]
Формальная спецификация
[ редактировать ] |
Реляционный преобразователь имеет схему, состоящую из пяти компонентов: вход, состояние, выход, база данных и журнал. Вход и выход представляют собой входные данные для системы от пользователей и выходные данные для пользователей соответственно. БД представляет содержимое базы данных, а состояние представляет информацию, которую запоминает система. Журнал содержит важную подгруппу входных и выходных данных.
Реляционные схемы каждого компонента не пересекаются, за исключением Log, который является подмножеством In ∪ Out.
Реляционный преобразователь в схеме реляционного преобразователя состоит из трех частей:
- Схема
- Функция перехода состояний σ
- Выходная функция ω
Похожие модели
[ редактировать ]Были разработаны модели вычислений, распространяющиеся на реляционные преобразователи, включая модель распределенных общих отношений. [8] для синхронных распределенных систем и модели преобразователя абстрактного автомата [3] для проверки протоколов транзакций.
Ссылки
[ редактировать ]- ^ Jump up to: а б Абитбул, Серж; Виану, Виктор; Фордхэм, Брэд; Еша, Елена (2000). «Реляционные преобразователи для электронной коммерции» . Журнал компьютерных и системных наук . 61 (2): 236–269. дои : 10.1006/jcss.2000.1708 .
- ^ Кохли, Мадхур и Хорхе Лобо. «Управление телекоммуникационными сетями на основе политики». Политический семинар 1999 г. 1999 г.
- ^ Jump up to: а б Шпильманн, Марк (2003). «Верификация реляционных преобразователей для электронной коммерции». Журнал компьютерных и системных наук . 66 (1): 40–65. дои : 10.1016/S0022-0000(02)00029-6 .
- ^ Амелут, Том Дж.; Невен, Фрэнк; Ван ден Буше, Январь (13 июня 2011 г.). «Реляционные преобразователи для декларативных сетей». Материалы тридцатого симпозиума ACM SIGMOD-SIGACT-SIGART по принципам систем баз данных . АКМ. стр. 283–292. arXiv : 1012.2858 . дои : 10.1145/1989284.1989321 . ISBN 978-1-4503-0660-7 .
- ^ Амелут, Том Дж.; Ван ден Буше, январь (26 марта 2012 г.). «Определение окончательной согласованности для простого класса реляционных сетей преобразователей». Материалы 15-й Международной конференции по теории баз данных . АКМ. стр. 86–98. дои : 10.1145/2274576.2274587 . hdl : 1942/16394 . ISBN 978-1-4503-0791-8 .
- ^ Зинн, Дэниел; Грин, Тодд Дж.; Людешер, Бертрам (26 марта 2012 г.). «Выигрышный ход не требует координации (иногда)». Материалы 15-й Международной конференции по теории баз данных . АКМ. стр. 99–113. arXiv : 1312.2919 . дои : 10.1145/2274576.2274588 . ISBN 978-1-4503-0791-8 .
- ^ Баккарт, Тим; Кецман, Бас (18 июня 2023 г.). «Распределенная согласованность помимо запросов». Материалы 42-го симпозиума ACM SIGMOD-SIGACT-SIGAI по принципам систем баз данных . АКМ. стр. 47–58. дои : 10.1145/3584372.3588657 . ISBN 979-8-4007-0127-6 .
- ^ Интерланди, Маттео, Летиция Танка и Соня Бергамаски. «Журналы данных во времени и пространстве синхронно». АМВ 1087 (2013).
 | Для этой статьи необходимы дополнительные или более конкретные категории . ( декабрь 2023 г. ) |