Detail introduction on the design strategy , formal syntax , and model-theory semantic of Q3 and its implementation in Dart Database Grid are also given.

• 语义Web的网格体系架构及基于语义Web技术的数据库网格原型设计与实现