（formula_1）的对应者。如果关系"R"和"S"分别表示谓词"p1"和"p2"的外延，则"R"和"S"的自然连接（"R" formula_2 "S"）是表示谓词"p1" formula_1 "p2"的外延的关系。认识到Codd的代数事实上关于一阶逻辑不完备是很重要的。实现它会引起不可逾越的特定计算困难。为了克服这些困难，他限制操作数为有限关系，并提议了对否定（NOT）和析取（OR）的有限支持。类似的限制在很多其他基于逻辑的计算机语言中也能见到。Codd定义术语关系完备性来称唿一个语言除了他提议的限