こうした困難を克服するためにコッドは、関係代数の演算対象を有限の関係のみに限定し、また否定（NOT）と選言（OR）を限定的にサポートすることを提唱した。
为了克服这些困难，他限制操作数为有限关系，并提议了对否定（NOT）和析取（OR）的有限支持。