タルスキーの関係代数の保存定理

本論文では、タルスキーの関係代数の様々な意味論的に定義された断片について、それらが有限個の演算によって生成されるかどうかを調査した。具体的には、準同型安全な断片は有限生成であるが、関数保存断片は有限生成ではないことを示した。一方で、前向き関数保存断片と局所的な単射関数保存断片は有限生成であることを明らかにした。