本研究では、集合論的型(union、intersection、negation型)を持つ型システムにおける行多相性(row polymorphism)を定義し、研究する。レコード型にはrow変数を埋め込み、型の解釈を値の集合とみなし、部分集合関係として部分型関係を定義する。フィールド拡張、選択、削除の操作を持つ関数計算を定義し、その操作言語の型システムを提案し、その健全性を証明する。また、型付けと部分型関係の決定アルゴリズムを提供する。
