对于一般意义上的空间关系可以提供一些规范的理论（逻辑演算）。这些理论必须存在于一个有术语定义、公式和理论的逻辑框架之内。Clarke的有关空间个体的演算理论（Clarke，1981，1985）是空间对象规范理论的一个典型代表，这一理论的中心内容是区域（Region）之间的二元连通关系。如C（X，Y）表示“区域X与区域Y连通”，则连通关系具有反射性和对称性，即满足如下公理：

    1．对任一区域X，有C（X，X）；

    2．对任两个区域X， Y，如果有C（X，Y），则有C（Y，X）。

    Clarke演算的突出点在于，它表明空间对象之间的许多集合关系和拓扑关系都可以用上述公理来构建，下面是这些关系构建的一些例子：

    X disjoint from Y： 不存在C（X，Y），即X和Y不连通。

    X a part of Y： 对任一区域Z，若C（Z,X）,则C（Z，Y）。

    X overlaps Y： 存在一个区域Z，使得：

Z is a part of X，且Z is a part of Y，

而 X is not a part of Y，且Y is not a part of X。

X meets Y： C（X，Y）且不存在X overlaps Y。

    X covers Y： Y is a part of X，而X is not a part of Y，

且存在一区域Z，使得：

Z meets X且Z meets Y。

    X is inside Y： X is a part of Y，而Y is not a part of X，

且不存在一区域Z，使得：

Z meets X且Z meets Y。

    X equals Y： X is a part of Y且Y is a part of X。