1. P2P计算是分布计算的一个子集  使用 peer-to-peer 技术: 介绍和发展历史
 

2 declarative programming(声明式编程)^[1][2]: 是一个编程范式，它表达计算逻辑而不需要描述它的控制流程。另外，声明式编程是一个总括性名词，包括几个更著名的编程范式：限制性编程(Constraint programming), 特定方面的编程(Domain-specific languages), 函数式编程(Functional programming), 混合语言(Hybrid languages) 如Makefile， 逻辑编程(Logic programming)如prolog。

3 imperative programming(命令式编程)^[1][2]：是一种编程范式，它使用改变程序状态的语句来描述计算，与自然语言的根据命令完成相应动作一样，命令式编程定义了计算机执行命令的顺序。

4. 关系 一个集合中有许多元素，每个元素是一个元组并且元组的元素数量是一样的，数量用k表示，称为关系。数量为1的关系或元组成为1元的，数量为2成为2元的，... 数量为k成为k元的。参考 Jeff Ullman的Foundations of Computer Science 的7.7 Relations and Functions［3］

5 二元关系  一个二元关系R是由许多对组成，每一对为两个集合A和B的笛卡尔集的子集。如果关系R是A x B，我们说关系R为从A到B，称A为域(domain)，B为范围(range)。参考同4