一階論理から関係の計算への翻訳に関する注意：妥当性と有限妥当性を保持

一階論理から関係計算への線形サイズの翻訳は、妥当性と有限妥当性を保持する。