A. S. Lopatenko VLDB workshop on Databases, Information Systems, and Peer-to-Peer Computing, First International Workshop, DBISP2P, Berlin Germany, published in Lecture Notes on Computer Science. N. 2944, Springer 2004 , , 09.2003 , p. 64-76, language: английский  Аннотация Предлагается логическая и алгоритмическая формализация P2P сетей, основанных на базах данных. Предлагается формализованная в теории моделей семантика P2P сетей, которая допускает локальную противоречивость БД. Кроме решения проблемы изолирования локальной противоречивости теории, формализацтя обладает хорошими алгоритмическими свойствами (вычислительная сложность PTIME, вместо неразрешимости для систем основаннхы на логике первого порядка). Показывается связь между предложенной формализацией и формализацией на основе логики S5. Предлагается распределенный алгоритм, которые позволяет проводить глобальные вычисления и отвечать на запросы к БД.  Ключевые слова P2P системы распределенные базы данных глобальные вычисления распределенные алгоритмы   Полный текст     в формате pdf