分布式数据库操作的形式化描述

这篇论文提出了一种分布式数据库的形式化描述表示,如何将分布式数据库的全局操作变为局部操作。这种形式化描述可以作为描述全局层与局部层操作转换的工具,也可以作为分布式程序语言的起点。从实用化角度来说,也可以作为一般的D—DBMS操作部分实现的设计工具。