"プログラムの並列化を実現するためのデータ分割配置方法の設計を支援するコンピュータシステムであって、並列化対象プログラムと、並列実行の多重度と、物理ファイル情報を、入力装置で受付けて記憶装置に登録する入力情報登録部と、前記並列化対象プログラムを解析し、プログラム構文依存性解析情報を生成するプログラム構文依存性解析部と、前記プログラム構文依存性解析情報に基づき、前記並列化プログラムが行うファイル入出力処理の制御構造の情報と、前記並列化プログラムが行うファイル入出力処理に使用されるプログラム変数による、入出力ファイルへの依存性の情報から構成される、ファイルアクセスロジック情報を生成する、ファイルアクセスロジック生成部と、前記ファイルアクセスロジック情報に基づき、前記並列化対象プログラムの並列性を判定する、並列性判定部と、前記プログラム構文依存性解析情報と、前記ファイルアクセスロジック情報と、前記物理ファイル情報に基づいて、前記並列化対象プログラムに対する入力ファイルを、分割する際の制約の情報を生成する、ファイル分割制約生成部と、前記ファイル分割制約情報と、前記多重度に基づいて、前記多重度での前記並列化対象プログラムの並列実行を実現するための、前記並列化対象プログラムの入力ファイルの分割方法を指定する情報を生成する、ファイル分割方法指定情報生成部と、を備える、ことを特徴とする、プログラムの並列化のためのデータ分割配置方法の設計を支援するコンピュータシステム。前記コンピュータシステムであって、並列化対象プログラムが複数の入力ファイルを扱うプログラムである場合に、前記プログラム構文依存性解析情報と、前記ファイルアクセスロジック情報と、前記ファイル分割方法指定情報に基づいて、前記ファイル分割方法指定情報で指定された方法で生成する分割後ファイルを、並列実行ノードへ配置する際の制約の情報を生成する、ファイル配置制約生成部を備えることと、前記ファイル分割方法指定情報生成部は、前記ファイル分割制約情報と、前記物理ファイル情報に加え、前記ファイル配置制約情報に基づいて、ファイル分割方法指定情報を生成することと、前記ファイル配置制約情報と、前記ファイル分割方法指定情報に基づいて、分割後ファイルの配置方法を指定する情報を生成する、ファイル配置方法指定情報生成部を備えること、を特徴とする、請求項1に記載のコンピュータシステム。前記コンピュータシステムであって、並列化対象プログラムが、第一のプログラムと、第二のプログラムから構成され、第一のプログラムの出力が、第二のプログラムの入力である場合に、並列化範囲を第一のプログラムの開始から第二のプログラムまでと定義し、前記ファイル分割制約生成部は、前記並列化範囲を並列化するためのファイル分割制約を生成することと、前記ファイル配置制約生成部は、前記並列化範囲を並列化するためのファイル配置制約を生成することと、前記ファイル分割方法指定情報生成部は、前記並列化範囲を並列化するためのファイル分割方法指定情報を生成することと、前記ファイル配置方法指定情報生成部は、前記並列化範囲を並列化するためのファイル配置方法指定情報を生成すること、を特徴とする、請求項2に記載のコンピュータシステム。コンピュータを、プログラムの並列化を実現するためのデータ分割配置方法設計を支援するシステムとして動作させるプログラムであって、前記プログラムは、並列化対象プログラムと、並列実行の多重度と、物理ファイル情報を、入力装置で受付けて記憶装置に登録する入力情報登録部と、前記並列化対象プログラムを解析し、プログラム構文依存性解析情報を生成するプログラム構文依存性解析部と、前記プログラム構文依存性解析情報に基づき、前記並列化プログラムが行うファイル入出力処理の制御構造の情報と、前記並列化プログラムが行うファイル入出力処理に使用されるプログラム変数による、入出力ファイルへの依存性の情報から構成される、ファイルアクセスロジック情報を生成する、ファイルアクセスロジック生成部と、前記ファイルアクセスロジック情報に基づき、前記並列化対象プログラムの並列性を判定する、並列性判定部と、前記プログラム構文依存性解析情報と、前記ファイルアクセスロジック情報と、前記物理ファイル情報に基づいて、前記並列化対象プログラムに対する入力ファイルを、分割する際の制約の情報を生成する、ファイル分割制約生成部と、前記ファイル分割制約情報と、前記多重度に基づいて、前記多重度での前記並列化対象プログラムの並列実行を実現するための、前記並列化対象プログラムの入力ファイルの分割方法を指定する情報を生成する、ファイル分割方法指定情報生成部と、を備える、ことを特徴とする、プログラムの並列化のためのデータ分割配置方法の設計を支援するプログラム。前記プログラムであって、並列化対象プログラムが複数の入力ファイルを扱うプログラムである場合に、前記プログラム構文依存性解析情報と、前記ファイルアクセスロジック情報と、前記ファイル分割方法指定情報に基づいて、前記ファイル分割方法指定情報で指定された方法で生成する分割後ファイルを、並列実行ノードへ配置する際の制約の情報を生成する、ファイル配置制約生成部を備えることと、前記ファイル分割方法指定情報生成部は、前記ファイル分割制約情報と、前記物理ファイル情報に加え、前記ファイル配置制約情報に基づいて、ファイル分割方法指定情報を生成することと、前記ファイル配置制約情報と、前記ファイル分割方法指定情報に基づいて、分割後ファイルの配置方法を指定する情報を生成する、ファイル配置方法指定情報生成部を備えること、を特徴とする、請求項4に記載のプログラム。前記プログラムであって、並列化対象プログラムが、第一のプログラムと、第二のプログラムから構成され、第一のプログラムの出力が、第二のプログラムの入力である場合に、並列化範囲を第一のプログラムの開始から第二のプログラムまでと定義し、前記ファイル分割制約生成部は、前記並列化範囲を並列化するためのファイル分割制約を生成することと、前記ファイル配置制約生成部は、前記並列化範囲を並列化するためのファイル配置制約を生成することと、前記ファイル分割方法指定情報生成部は、前記並列化範囲を並列化するためのファイル分割方法指定情報を生成することと、前記ファイル配置方法指定情報生成部は、前記並列化範囲を並列化するためのファイル配置方法指定情報を生成すること、を特徴とする、請求項5に記載のプログラム。プログラムの並列化を実現するためのデータ分割配置方法の設計を支援する方法であって、並列化対象プログラムと、並列実行の多重度と、物理ファイル情報を、入力装置で受付けて記憶装置に登録するステップと、前記並列化対象プログラムを解析し、プログラム構文依存性解析情報を生成するプログラム構文依存性解析ステップと、前記プログラム構文依存性解析情報に基づき、前記並列化プログラムが行うファイル入出力処理の制御構造の情報と、前記並列化プログラムが行うファイル入出力処理に使用されるプログラム変数による、入出力ファイルへの依存性の情報から構成される、ファイルアクセスロジック情報を生成する、ファイルアクセスロジック生成ステップと、前記ファイルアクセスロジック情報に基づき、前記並列化対象プログラムの並列性を判定する、並列性判定ステップと、前記プログラム構文依存性解析情報と、前記ファイルアクセスロジック情報と、前記物理ファイル情報に基づいて、前記並列化対象プログラムに対する入力ファイルを、分割する際の制約の情報を生成する、ファイル分割制約生成ステップと、前記ファイル分割制約情報と、前記多重度に基づいて、前記多重度での前記並列化対象プログラムの並列実行を実現するための、前記並列化対象プログラムの入力ファイルの分割方法を指定する情報を生成する、ファイル分割方法指定情報生成ステップと、から構成される、ことを特徴とする、プログラムの並列化のためのデータ分割配置方法の設計を支援する方法。前記設計支援方法であって、並列化対象プログラムが複数の入力ファイルを扱うプログラムである場合に、前記プログラム構文依存性解析情報と、前記ファイルアクセスロジック情報と、前記ファイル分割方法指定情報に基づいて、前記ファイル分割方法指定情報で指定された方法で生成する分割後ファイルを、並列実行ノードへ配置する際の制約の情報を生成する、ファイル配置制約生成ステップを備えることと、前記ファイル分割方法指定情報生成ステップは、前記ファイル分割制約情報と、前記物理ファイル情報に加え、前記ファイル配置制約情報に基づいて、ファイル分割方法指定情報を生成することと、前記ファイル配置制約情報と、前記ファイル分割方法指定情報に基づいて、分割後ファイルの配置方法を指定する情報を生成する、ファイル配置方法指定情報生成ステップを備えること、を特徴とする、請求項7に記載の設計支援方法。前記設計支援方法であって、並列化対象プログラムが、第一のプログラムと、第二のプログラムから構成され、第一のプログラムの出力が、第二のプログラムの入力である場合に、並列化範囲を第一のプログラムの開始から第二のプログラムまでと定義し、前記ファイル分割制約生成ステップは、前記並列化範囲を並列化するためのファイル分割制約を生成することと、前記ファイル配置制約生成ステップは、前記並列化範囲を並列化するためのファイル配置制約を生成することと、前記ファイル分割方法指定情報生成ステップは、前記並列化範囲を並列化するためのファイル分割方法指定情報を生成することと、前記ファイル配置方法指定情報生成ステップは、前記並列化範囲を並列化するためのファイル配置方法指定情報を生成すること、を特徴とする、請求項8に記載の設計支援方法。例えば前記特許文献1には、グリッドコンピューティング環境を管理するための方法、システムおよびプログラムが記載されているが、既存のデータ処理プログラムをグリッドコンピューティング環境へ移行するための方法が考慮されていない。特に、データ処理プログラムの改造には多くのコストが必要となるため、データ処理プログラムを極力改造せずに、処理対象データのみを分割することで並列化を実現することが望ましいが、そのような並列化設計方法が考慮されていない。そこで、本発明は、データ処理プログラムの解析に基づき、前記データ処理プログラムの並列化を実現するためのデータの分割配置方法を指定する情報を生成することで、グリッドコンピューティング環境における前記既存のデータ処理プログラムの並列実行を実現するための並列化設計を支援するシステム、プログラム、および方法を提供することを目的とする。上記目的を達成するために、例えば以下に記載の構成を採用する。本願は上記課題を解決する手段を複数含んでいるが、その一例を挙げるとするならば、プログラムの並列化を実現するためのデータ分割配置方法の設計を支援するコンピュータシステムであって、並列化対象プログラムと、並列実行の多重度と、物理ファイル情報を、入力装置で受付けて記憶装置に登録する入力情報登録部と、前記並列化対象プログラムを解析し、プログラム構文依存性解析情報を生成するプログラム構文依存性解析部と、前記プログラム構文依存性解析情報に基づき、前記並列化プログラムが行うファイル入出力処理の制御構造の情報と、前記並列化プログラムが行うファイル入出力処理に使用されるプログラム変数による、入出力ファイルへの依存性の情報から構成される、ファイルアクセスロジック情報を生成する、ファイルアクセスロジック生成部と、前記ファイルアクセスロジック情報に基づき、前記並列化対象プログラムの並列性を判定する、並列性判定部と、前記プログラム構文依存性解析情報と、前記ファイルアクセスロジック情報と、前記物理ファイル情報に基づいて、前記並列化対象プログラムに対する入力ファイルを、分割する際の制約の情報を生成する、ファイル分割制約生成部と、前記ファイル分割制約情報と、前記多重度に基づいて、前記多重度での前記並列化対象プログラムの並列実行を実現するための、前記並列化対象プログラムの入力ファイルの分割方法を指定する情報を生成する、ファイル分割方法指定情報生成部と、を備えることを特徴とする、プログラムの並列化のためのデータ分割配置方法の設計を支援するコンピュータシステム。本発明によれば、既存のデータ処理プログラムを、グリッドコンピューティング環境に移行し並列実行させるための、データの分割配置方法の設計を効率的に行うことができる。上記以外の課題、構成、および効果は、以下の実施形態の説明により明らかにされる。以下に本発明の実施形態について図面を用いて詳細に説明する。図1は、本実施形態の並列化設計支援システム100の構成図である。図1に示す並列化設計支援システム100以下、システム100は、プログラムを並列化するために必要な設計作業を効率化するコンピュータシステムである。前記システム100は例えばサーバなどのコンピュータ装置であり、ハードディスクドライブなどの記憶装置110、RAMなどの揮発性記憶手段であるメモリ120、CPU130、通信ポート140らがBUSにより互いに接続されて構成されている。前記システム100は、前記CPU130が、ハードディスクドライブなどの前記記憶装置110に格納されたプログラム150を、RAMなどの揮発性のメモリ120に読み出して実行することで、各種機能を実現している。また、前記システム100は、コンピュータ装置が一般に備えている各種キーボードやボタン類などの入力装置160、ディスプレイ、スピーカー、プリンタなどの出力装置170を必要に応じて備える。また前記システム100は、他装置との間のデータ授受を担うNICNetworkInterfaceCardなど通信ポート140を有し、所定の管理者等が利用する端末などとネットワークを介して通信可能となっていてもよい。前記システム100は、他の情報処理装置からネットワークを介して送信される前記プログラム150を前記通信ポート140で受信し、これをメモリ120や記憶装置110に記憶するとしてもよい。また、入力情報210など前記プログラム150の処理において使用するデータを別の情報処理装置に格納しておき、前記システム100が前記通信ポート140を通じて前記情報処理装置から受信して前記プログラム150の処理に利用することもできる。以下に、前記システム100が、プログラム150の構成要素として持つ機能部と、各機能部への入力または出力となる各種データの構成の説明を行う。各種データの構成は図2に示している。前記システム100は、プログラム150への入力情報210を、入力装置160で受付けて記憶装置110に登録する入力情報登録部101を備えている。入力情報210は、並列化対象プログラム211と、前記並列化対象プログラム211の入力または出力となる物理ファイルの情報212と、並列化後の同時実行数である多重度213から構成される。本実施例では並列化対象プログラム211は1本のプログラムであるが、複数であってもよい。また前記システム100は、前記登録された前記並列化対象プログラム211の構文解析と、依存性解析を行い、その結果をプログラム構文依存性情報220に出力するプログラム構文依存性解析部102を備えている。構文解析依存性解析は、例えばコンパイラの実現において適用されている技術である。前記プログラム構文依存性情報220は、前記並列化対象プログラム211がファイル入出力処理に用いる変数を識別するファイルレコード識別情報221と、前記並列化対象プログラム211を構成する命令文を識別する命令文情報222と、前記並列化対象プログラム211の命令文が行う変数の参照と変数の更新を識別する変数参照更新情報223と、前記並列化対象プログラム211に含まれる分岐命令文の分岐条件とループ命令文の繰り返し条件の構造である条件構文木224と、命令文の間の制御依存関係を格納する制御依存性情報225と、変数の間のデータ依存関係を格納するデータ依存性情報226から構成される。また、前記システム100は、前記プログラム構文依存性情報220に基づいて、前記並列化対象プログラム211の、ファイル入出力に関する骨子を表す情報である、ファイルアクセスロジックの情報230を出力するファイルアクセスロジック生成部103を備える。前記ファイルアクセスロジック情報230は、ファイル入出力の実行の有無や実行回数や実行順序に影響する分岐命令文やループ命令文から構成するファイルアクセス制御構造情報231と、前記ファイルアクセス制御構造情報231の中で使用されている変数が持つ、入出力ファイルへの依存関係に関する、変数依存性情報232から構成される。また、前記システム100は、前記ファイルアクセスロジック情報230に基づいて、前記並列化対象プログラム211に対し、入力ファイルの分割による並列化の可否を判定する並列性判定部104を備える。入力ファイルの分割による並列化については後述する。ここで、物理ファイルとは、例えばオペレーティングシステム上で、一つの単位として認識され、物理ファイル名を与えられている、データの塊を指す。論理ファイルとは、プログラムの中で、処理単位として論理的に扱われるデータの塊を指す。例えば、2つの異なるプログラムが、同一の物理ファイルを、異なる論理ファイルとして記述することが可能である。また、前記システム100は、前記プログラム構文依存性情報220と、前記ファイルアクセスロジック情報230に基づいて、前記並列化対象プログラム211を並列化するためのファイル分割方法が満たすべき制約を、前記並列化対象プログラム211の入出力ファイルの、プログラム内の表現である論理ファイルに対して記述する、論理ファイル分割制約情報240を出力する論理ファイル分割制約生成部105を備える。また、前記システム100は、前記論理ファイル分割制約情報240と入力情報210に含まれる前記物理ファイル情報212に基づいて、物理ファイルの分割方法が満たすべき制約情報250を出力する、物理ファイル分割制約生成部106を備える。また、前記システム100は、前記物理ファイル分割制約情報250と入力情報210に含まれる前記多重度213に基づいて、前記物理ファイル分割制約を満たす、物理ファイル分割方法のテンプレート260を出力する、物理ファイル分割テンプレート生成部107を備える。これまでに示した前記システム100における各機能部101から107はハードウェアとして実現してもよいし、メモリやハードディスクドライブなどによって実現する記憶装置110に格納したプログラム150として実現するとしてもよい。この場合、CPU130など制御装置がプログラム実行に合わせて記憶装置160より該当プログラムを読み出して、これを実行することとなる。以下、本実施形態における並列化設計支援方法の実施手順について、図3の全体処理フローに従い、図3から図31を用いながら説明する。以下で説明する各種動作は、前記システム100のCPU130がメモリ120に読み出して実行するプログラム150によって実現される。前記プログラム150は、以下に説明する各種の動作を行うためのプログラムコードから構成されている。1入力情報登録S301図3のステップS301は、入力情報登録ステップである。前記入力情報登録部101は、並列化対象プログラム211と、物理ファイル情報212と、多重度213を、入力装置160で受付けて記憶装置110に登録する。本実施例では、並列化対象プログラムはCOBOL商標プログラミング言語で記述されたプログラムであり、その識別子はP01であるとし、並列化対象プログラム211はプログラムP01のソースコード全体であるとする。プログラムP01の具体的な内容は後述する。前記物理ファイル情報212の例は図4に示し、後述する。前記多重度213は、2であるとする。図4は、前記物理ファイル情報212を格納した物理ファイルテーブルの例400である。行410は、プログラムP01が入力とする物理ファイルの名称は受注明細FILEであり、プログラムP01の内部では論理ファイルF11として識別されることを示す。行420は、プログラムP01が出力する物理ファイルの名称は集計FILEであり、プログラムP01の内部では論理ファイルF12として識別されることを示す。図5は、プログラムP01が行う処理例の概要である。入力ファイル510受注明細FILEと出力ファイル520集計FILEは、それぞれ固定長のレコードの羅列である。受注明細FILE510の各レコードは明細ID511と商品コード512と数量513の3つの項目から構成される。各項目の長さバイト数はファイルの定義の一部であり、レコード間で共通である。受注明細FILEの各レコードは、商品コードで特定される商品が、明細IDで特定される取引において受注された数量を格納している。続いて図5の出力ファイル520について説明する。出力ファイル520の各レコードは商品コード521と数量522の、2つの項目から構成される。各項目の長さバイト数はファイルの定義の一部であり、レコード間で共通である。集計FILEの各レコードは、商品コード521で特定される商品が受注された数量の合計が数量522であることを示している。続いて図5のプログラムP01について説明する。プログラムP01は受注明細FILEを入力ファイルとし、集計FILEを出力ファイルとするプログラムである。本実施例では、プログラムP01が行う入力ファイルへのアクセス形態は、逐次読み込みとする。プログラムP01が行う出力ファイルへのアクセス形態は、逐次書き出しとする。プログラムP01は、受注明細FILE510の冒頭から順次そのレコードを読み込む。同一の商品コード512を持つレコードを全て読み込んだと判断した時点で、数量513の値を合計し、集計FILE520に、当該商品コードに対応する商品の合計受注数量を書き出す。例えば、受注明細FILEの冒頭の3件のレコード514を読み込んだ時点で、商品コード11111に関するレコードを全て読み込み済みと判定し、集計FILE520にレコード523を書き出す。次にレコード515を読み込み、商品コード22222に関するレコードを全て読み込み済みと判定し、レコード524を書き出す。図6は、前記の処理を行うプログラムP01をファイル分割によって多重度2で並列化した結果を示す。入力ファイル610を、物理ファイル分割配置プログラム630が、分割後ファイル611と分割後ファイル622に分割し、それぞれ並列実行サーバ650と並列実行サーバ660に配置する。並列実行サーバ650は、プログラムP01と同じプログラム670を、分割後ファイル611を入力ファイルとして実行する。プログラム670は、出力ファイル621を出力する。並列実行サーバ660は、プログラムP01と同じプログラム680を、分割後ファイル612を入力ファイルとして実行する。プログラム680は、出力ファイル622を出力する。物理ファイルマージプログラム640は、出力ファイル621と出力ファイル622を入力とし、それらをマージしたファイル620を出力する。ここで、入力ファイル610は受注明細FILE510と同一であり、プログラム670とプログラム680はプログラムP01と同一であり、出力ファイル620は集計FILE520と同一である。このような物理ファイル分割配置プログラム630と物理ファイルマージプログラム640を実現することで、プログラムP01を改変することなく、プログラムP01の並列実行を実現できる。本実施例は、物理ファイル分割テンプレート情報260を出力することで、プログラムの作成者によって作成される物理ファイル分割配置プログラム630及び物理ファイルマージプログラム640の設計を支援する、前記並列化設計支援システム100を説明する。図7は、並列化対象プログラム211の構成である。COBOL言語の構文に従い、プログラムは、見出し部701と環境部702とデータ部703と手続き部704から構成される。見出し部702は、プログラム名などの定義を含む。環境部702には、入出力ファイルの定義と、入出力ファイルの編成の定義を含む。例えば、プログラムP01は、環境部702において、入力ファイルと出力ファイルを順編成ファイルであると宣言する。データ部703と手続き部704は本実施例の内容に関わるので、それらの部分を以下に説明する。図8は、前記並列化対象プログラム211のデータ部703の例801である。COBOL言語の構文に従って記載しているので、詳細な説明は省略する。データ部の例801の意味について以下で説明する。図9は、データ部の例801の記載内容のうちファイルに関する部分の模式図である。論理ファイルF11930は、変数R11910と関連付いている。変数R11910は、サイズが8バイトである変数R11-MEISAI-ID911と、サイズが5バイトである変数R11-PCODE912と、サイズが3バイトである変数R11-QUANTITY913の3つの変数を部分項目として持つ。変数R11910のサイズは16バイトである。並列化対象プログラム211においてREADF11という命令文を実行すると、論理ファイルF11の1件のレコードの内容が、変数R11910に格納される。変数R11の部分項目は、当該レコードを構成する項目に対応する。同様に、論理ファイルF12940は、変数R12920と関連付いている。変数R12920は、サイズが5バイトである変数R12-PCODE921と、サイズが3バイトである変数R12-QUANTITY922の2つの変数を部分項目として持つ。変数R12920のサイズは8バイトである。並列化対象プログラム211においてWRITER12という命令文を実行すると、変数R12920の内容が、1件の新たなレコードとして論理ファイルF12940に書き出される。変数R12の部分項目は、当該レコードを構成する項目に対応する。並列化対象プログラム211がCOBOL言語で記述されている場合、上記の手段によって、ファイルと関連づいた変数のレイアウトを識別することで、当該並列化対象プログラム211の変数と、当該並列化対象プログラムが読み書きするレコード項目のレイアウトとの対応関係を識別する。並列化対象プログラムがCOBOL以外の言語で記述されている場合においても、プログラム内の変数と、ファイルレコード項目との対応関係を識別すれば、本実施例に記載の方法による並列化設計支援を行うことができる。以上が、入力情報ステップS301の説明と、入力情報210の説明と、前記システム100が実現する並列化設計支援の説明である。2プログラム構造依存性解析S302次に、図3のステップS302のプログラム構文依存性解析について説明する。ステップS302は、プログラム構文依存性解析ステップである。前記プログラム構文依存性解析部102は、並列化対象プログラム211の構文解析と依存性解析を行い、プログラム構文依存性情報220を出力する。前記プログラム構文依存性解析部102が行う解析処理は、コンパイラ技術やプログラム解析技術の分野で既知のものであるので、その処理内容の説明は行わない。プログラム構文依存性解析情報220を構成するテーブルを例を用いて説明する。図10は、前記ファイルレコード識別情報221を格納したファイルレコード識別テーブルの例1000である。ファイルレコード識別テーブル1000の行は、並列化対象プログラム211の変数のうち、データ部801において、ファイルと関連を定義されている変数に対応する。前記ファイルレコード識別テーブル1000のカラム1001は変数識別子であり、当該行に対応する変数を特定する。本実施例では、変数識別子と変数名は同一であるものとする。カラム1002は論理ファイル識別子であり、当該変数が関連する論理ファイルを特定する。本実施例では、論理ファイル識別子は論理ファイル名と同一であるものとする。カラム1003は項目識別子であり、当該変数が関連する当該論理ファイルのレコードのうち、当該変数が対応している当該レコードの部分項目を、そのレコード内の位置によって特定する。例えば行1010によると、変数R11は論理ファイルF11に関連しその項目識別子は[1-16]である。これは、変数R11は論理ファイルF11のレコード全体16バイトに対応することを示す。また、例えば行1011によると、変数R11-MEISAI-IDは論理ファイルF11に関連しその項目識別子は[1-8]である。これは変数R11-MEISAI-IDは論理ファイルF11のレコードの冒頭8バイトの内容に対応することを示す。図11は、前記命令文情報222を格納した命令文テーブルの例1100である。命令文テーブル1100の各行は、並列化対象プログラム211の手続き部を解析する際の解析単位に対応する。本実施例では、解析単位を命令文と呼称し、命令文識別子を付与して識別する。解析単位は、必ずしもCOBOL言語の構文における命令文と合致しなくともよく、例えばCOBOL言語における命令文の構成要素である句を解析単位とすることもありえる。命令文テーブル1100のカラム1101は命令文識別子である。本実施例では、手続き部内での通し番号としている。カラム1102は命令文内容である。命令文テーブル1100に登場する命令文を簡単に説明する。OPEN文は、論理ファイルをオープンする命令文である。MOVE文は、変数の値を更新する命令文である。READ文は、入力ファイルから1件のレコードを読み込み、当該入力ファイルのレコードに関連付けられた変数にその内容を格納する命令文である。ATEND句のスコープ内にある命令文は、読み込みの結果、当該入力ファイルの終端に到達した場合に実行される。PERFORM文は、そのスコープ内の命令文のグループを繰り返し実行する命令文である。繰り返し処理は、UNTIL以下に記述された条件が真となった時点で終了する。ADD文は、第一オペランドの値を第二オペランドに加算する命令文である。WRITE文は、オペランドで指定する変数の内容を、当該変数が関連付けられている論理ファイルに、1件の新しいレコードとして書き出す命令文である。END-で始まる命令文は、それに対応する命令文のスコープの終端を示す。本実施例では、命令文のスコープはカラム1102内におけるインデントでも示している。HIGH-VALUEは定数である。図12は、前記変数参照更新情報223を格納する変数参照更新テーブルの例1200である。変数参照更新テーブル1200の行は、命令文が行う変数の参照の作用または更新の作用を表現する。前記変数参照更新テーブル1200のカラム1201は命令文識別子であり、当該行が対応する命令文を特定する。カラム1202は変数識別子であり、当該行に対応する命令文のうちの、当該行に対応する変数を特定する。カラム1203は種別であり、更新または参照のいずれかを特定する。例えば、行1210は、命令文識別子4のMOVE文は、変数FLG1を更新することを示す。また、行1220は、命令文識別子7のMOVE文は、変数R11-PCODEを参照することを示す。以下、本実施例では、説明の読みやすさを考慮し、命令文または命令文識別子を4などのように、命令文識別子と、命令文の種類を特定する語と一緒に記載するものとする。括弧部分はあくまでも説明のためであり、前記並列化支援プログラム150においては括弧部分は命令文識別子の一部ではない。図13は、前記条件構文木224の例として、命令文6のUNTIL以下の条件の条件構文木1310と、命令文9のUNTIL以下の条件の条件構文木1320を示す。構文木の定義と生成方法は既知であるので説明は省略する。図14は、前記制御依存性情報225を格納する制御依存性テーブルの例1400である。制御依存性テーブル1400の行は、命令文が他の命令文に対して持つ制御依存性を表現している。制御依存性テーブル1400のカラム1401は依存元命令文識別子である。カラム1402は依存先命令文識別子である。命令文Aが命令文Bに制御依存するとは、命令文Aの実行の有無が、命令文Bの実行結果に依存するという意味である。例えば、前記制御依存性テーブル1400の行1410は命令文4が命令文3に制御依存することを示す。これは、命令文4は命令文3のATENDのスコープ内だからである。また、行1420は、命令文7は命令文6に制御依存することを示す。これは命令文7は命令文6のスコープ内だからである。本実施例では、制御依存性は、分岐や繰り返しやATENDのスコープを示す情報によっても代替可能である。図15は、図14に示した前記制御依存性テーブル1400と同様の情報を、グラフ形式で表現した制御依存グラフの例1500を示す。制御依存グラフ1500のノードは前記制御依存性テーブル1400に登場する命令文に対応する。ノード間の有向エッジは、依存元命令文から依存先命令文への制御依存に対応する。このように、前記制御依存性情報225は、制御依存グラフとして生成格納してもよい。図16は、前記データ依存性情報226を格納するデータ依存性テーブルの例1600である。データ依存性テーブル1600の行は、命令文の中の変数の、データ依存先の命令文とその変数を示す。カラム1601は依存元命令文識別子である。カラム1602は依存元変数識別子である。カラム1603は依存先命令文識別子である。カラム1604は依存先変数識別子である。変数Aが変数Bにデータ依存するとは、変数Aの値が変数Bの値の影響を受けるという意味である。例えば、データ依存性テーブル1600の行1610は、命令文17における変数R12-PCODEの値は、命令文15における変数CUR-PCODEから代入を受けていることを示す。ここで、変数R12-PCODEは命令文17に明示されていないが、変数R12-PCODEは当該WRITE文のオペランドR11の部分項目であるので、命令文17が使用している変数の一部である。以上が、ステップS302プログラム構文依存性解析の説明である。3ファイルアクセスロジック生成S303次に、ステップS303のファイルアクセスロジック生成について説明する。図3のステップS303は、ファイルアクセスロジック生成ステップである。前記ファイルアクセスロジック生成部103は、前記プログラム構文依存性情報220を参照しながらファイルアクセスロジック生成処理を実行し、前記ファイルアクセスロジック情報230を出力する。図17は、前記ファイルアクセスロジック生成部103の処理フローを示す。S1701の終端依存性解析ステップでは、S1703の変数依存性解析ステップで使用する終端依存性情報1800を生成する。S1702のファイルアクセス制御構造解析ステップでは、前記ファイルアクセス制御構造情報231を生成する。S1703は変数依存性解析ステップであり、前記変数依存性情報232を生成する。3-1終端依存性解析S1701図17の終端依存性解析ステップS1701について説明する。本実施例では、変数が、入力ファイルの終端への到達時に更新されている場合、当該変数は当該入力ファイルへの終端依存性を持つと呼称する。また、当該変数を、終端依存変数と呼称する。図18に、終端依存性情報を格納する終端依存性テーブルの例1800を示す。終端依存性テーブル1800の各行は、終端依存性を持つ変数に対応する。前記終端依存性テーブル1800のカラム1801は、終端依存変数の変数識別子である。カラム1802は依存先の論理ファイル識別子である。前記終端依存性テーブル1800の行1810は、変数FLG1が、論理ファイルF11に終端依存することを示す。終端依存変数は以下の手順で特定する。まず、命令文テーブル1100を参照し、ATEND句を持つREAD文を特定する。次に、制御依存性テーブル1400を参照し、当該READ文へ制御依存する命令文を特定する。次に、当該命令文が更新している変数を、変数参照更新テーブル1200を参照して特定する。最後に、当該READ文の読み込み元の論理ファイルを、ファイルレコード識別テーブル1000に基づいて特定する。これで、当該変数が、当該論理ファイルに終端依存することが識別できる。3-2ファイルアクセス制御構造解析S1702図17のファイルアクセス制御構造解析ステップS1702について説明する。ファイルアクセス制御構造情報は、ファイル入出力命令READ文またはWRITE文の実行の有無や、実行回数や、実行順序に関する制御構造分岐やループを並列化対象プログラム211から抜粋したものである。図19に、ステップS1702が出力する前記ファイルアクセス制御構造情報231を格納するファイルアクセス制御構造テーブルの例1900を示す。ファイルアクセス制御構造テーブル1900の各行は、並列化対象プログラム211のうち、ファイルアクセス制御構造を構成する命令文に対応する。カラム1901は、ファイルアクセス制御構造を構成する命令文の識別子である。カラム1902は、命令文の内容である。ファイルアクセス制御構造テーブル1900の各行の順序と、命令文内容1902のインデントは、各行の命令文内容1902間の関係を示す。例えば、行1910の命令文9は、ファイルアクセス制御構造においても、命令文6のスコープ内にある。図20に、ファイルアクセス制御構造の生成手順を示す。まず、命令文テーブル1100に基づいてファイル入出力文Sを識別し、ファイルアクセス制御構造の一部を生成する起点とする。当該ファイル入出力文自体もファイルアクセス制御構造の一部として識別するS2001。例えば、命令文11を起点とする。次に、当該ファイル入出力文の実行に影響を与える全ての制御命令を特定するS2002。これは例えば、制御依存グラフ1500において、当該命令文のノードから到達可能な全てのノードを特定することで達成できる。例えば、命令文11からは命令文9と命令文6が到達可能である。これにより、命令文6と、命令文9と、命令文11が、ファイルアクセスロジック制御構造の構成要素として識別された。ファイルアクセスロジック制御構造の生成は、S2001とS2002を、全てのファイル入出力文について繰り返すことで行われるS2003。以上で、図17のS1702の説明を終える。3-3変数依存性解析S1703図17のS1703の変数依存性解析ステップについて説明する。ここでは、ファイルアクセスロジック制御構造の中に登場する変数が持つ、入力ファイルまたは出力ファイルへの依存性を解析する。本実施例では、変数依存性は、入力依存と、間接依存と、終端依存と、出力依存の4種類を定義する。入力依存とは、当該変数は入力ファイルのレコードの特定の項目と関連づいていることを意味する。間接依存とは、当該変数が、入力依存変数から代入を受けていることを意味する。終端依存は既に説明した。出力依存とは、当該変数が出力ファイルのレコードと関連づいていることを意味する。図21は、変数依存性情報232を格納する変数依存性テーブルの例2100である。変数依存性テーブル2100の行は、ファイルアクセス制御構造を構成する命令文において使用されている変数に対応する。変数依存性テーブル2100のカラム2101は、依存元命令文識別子である。カラム2102は当該依存元命令文の中の依存元変数の識別子である。カラム2103は依存性種別である。カラム2104は依存先論理ファイルの識別子である。カラム2105は依存先論理ファイルのレコードの中の依存先項目の識別子である。変数依存性テーブル2100の行2110は、終端依存変数の例である。行2120は、間接依存変数の例である。行2130は、入力依存変数の例である。行2140は、出力依存変数の例である。依存性種別2003が出力依存または終端依存の場合、項目識別子カラム2005の値はである。図22は、図17の変数依存性解析ステップS1703の処理フローである。変数依存性解析は、ファイルアクセスロジック制御構造内で使用されている全ての変数に対して実施するS2201、S2211。当該変数の入力依存性と出力依存性は、ファイルレコード識別テーブル1000を用いて判定するS2202、S2204。例えば、変数依存性テーブル2100の行2130と2140は、ファイルレコード識別テーブル1000の行1012と行1013からそれぞれ生成する。入力依存の場合は項目識別子も転記するが、出力依存の場合は不要であるのでとする。当該変数の終端依存性は、終端依存性テーブル1800を用いて判定するS2206。例えば、変数依存性テーブル2100の行2110は、終端依存性テーブル1800の行1810から生成する。項目識別子はとする。入力依存、出力依存、終端依存でない変数については、データ依存性テーブル1600に基づいて、当該変数の値に影響を与える代入の連鎖をたどり、当該変数が入力依存変数から代入をうけているかどうかを判定するS2208。例えば変数依存性テーブル2100の行2120は命令文9の変数CUR-PCODEが間接依存変数であることを示しているが、それは以下の手順で判明する。まず、データ依存性テーブル1600の行1620によって、当該変数が命令文7における変数R11-PCODEの値の代入を受けていることがわかる。変数R11-PCODEは入力依存変数であることが既に判明しているので、そこから代入を受けているCUR-PCODEは間接依存変数であることが判明した。以上でステップS303のファイルアクセスロジック生成処理の説明を終える。前記並列化設計支援システム100は、ファイルアクセスロジック情報230を、ディスプレイやプリンタなどの出力装置170へ出力することができる。前記並列化設計支援システムの使用者は、出力されたファイルアクセスロジック情報を参照することで、並列化対象プログラム211の処理内容をより効率的に知ることができる。図23は、ファイルアクセスロジック情報230の出力例2300を示す。これは、ファイルアクセス制御構造テーブル1900の内容に基づき、ファイルアクセス制御構造内の変数を、変数依存性テーブル2100に基づいて、ファイルへの依存性をより明確に示す文字列で置換して表示するものである。具体的には、入力依存変数はR論理ファイル識別子.項目識別子という形式の文字列に置換して表示する。また、間接依存変数はR論理ファイル識別子.項目識別子という形式の文字列で置換して表示する。また、出力依存変数は、依存先の論理ファイル識別子で置換して表示する。また、出力例2300では、終端依存変数を用いた原子式を、ファイルの終端への到達を判定する条件式であることを明示する形式であるファイルエンド論理ファイル名に変換して示す。出力例2300を参照することで、前記並列化設計支援システム100の使用者は、各変数とファイルとの関連性をより効率的に知ることができる。また、ファイルアクセス制御構造は、並列化対象プログラム211そのものよりも小さなサイズであるので、前記並列化設計支援システム100の使用者は、ファイル入出力に関する制御構造をより効率的に理解することができる。以上が、ステップS303ファイルアクセスロジック生成の説明である。4並列性判定S304次に、ステップS304の並列性判定ステップについて説明する。ステップS304は、並列性判定ステップである。図24に、本ステップの処理手順を示す。並列性判定は、ファイルアクセスロジック情報240に基づいて行う。WRITE文をスコープに含むループ文の開始よりも以前に終了する、READ文をスコープに含むループ文の有無を判定し、もし結果がYESならば、並列化不可と判定するS2401。このようなプログラムに対しては、並列化設計支援システム100は、ステップS305以降を実施しない。具体的には、まず制御依存グラフ1500において、WRITE文を起点としてエッジをたどっていき、その先にはもうPERFORM文がないというPERFORM文を特定する。例では、命令文17を起点とすると、命令文6がそのようなPERFORM文に該当する。命令文6よりも以前に開始されるPERFORM文がもしあったとすると、それは制御依存グラフ1500の中で、ノード6とは異なる島に属するPERFORM文でなければならないが、そのようなPERFORM文は存在しない。よって、並列化可能と判定する。S304の並列性判定処理で並列化不可と判定されるようなプログラムの例として、第一のループ処理において入力ファイルを終端まで読み込み、そのループの終了後、第二のループ処理において出力ファイルへの書き出しを行うようなプログラムがある。この場合、入力ファイルを分割してしまうと、出力が異なってしまう場合があるため、本実施例の並列化設計支援システム100は、並列化不可と判定する。上記のような構造を持つプログラムが行う処理の例としては、例えば入力ファイルの全レコードから読み込んだ値の中間値を計算し、それに基づいて順次出力を行う処理がある。以上が、ステップS304並列性判定の説明である。5論理ファイル分割制約生成S305次に、ステップS305の論理ファイル分割制約生成ステップについて説明する。ステップS305は、論理ファイル分割制約生成ステップである。図25に、その手順を示す。論理ファイル分割制約生成処理は、論理ファイル分割制約情報240を生成するステップS2501のみで構成される。図26に、論理ファイル分割制約情報240を格納する論理ファイル分割制約テーブルの例2600を示す。本テーブルの行は、並列化対象プログラム211の入力ファイルに対応する。本実施例の並列化対象プログラムであるプログラムP01の入力ファイルは1つであるので、行は1つしかない。論理ファイル分割制約テーブル2600のカラム2601は、並列化対象プログラムの識別子である。カラム2602は、入力ファイルを特定する論理ファイル識別子である。カラム2603は、当該論理ファイルの分割における制約キーとなる変数の識別子である。カラム2604は、前記変数の項目識別子である。論理ファイル分割制約テーブル2600の行2610によると、論理ファイルF11の制約キー変数はR11-PCODEである。これは、論理ファイルF11を分割する際には、F11のレコードの項目の一つであるR11-PCODEの値が同一であるレコードは、分割後も同じファイルに存在するように分割を行う必要があることを示す。例えば、R11-PCODEは、物理ファイルにおいては商品コードに該当するレコード項目に対応するが、図6に示すように、商品コードが同一のレコードは、分割後も同一ファイルになくてはならない。もし商品コードが同一である明細1と明細2の間で分割が行われると、処理結果が並列化前と並列化後で異なってしまう。変数R11-PCODEが制約キーとなるのは、当該変数が入力依存変数であり、かつまた、ファイルアクセスロジック制御構造内のループ文の、繰り返し条件で使用されているためである。このように、論理ファイル分割制約生成ステップS305では、ファイルアクセスロジックにおけるループ文の繰り返し条件を解析することで、論理ファイル分割制約を生成する。図27に、ステップS2501の論理ファイル分割制約生成の処理フローを示す。まず、ファイルアクセス制御構造テーブル1900に基づき、ファイルアクセス制御構造内のループ文を処理対象として特定するS2701。例えば、行1910のPERFORM文を処理対象とする。次に、変数依存性テーブル2100に基づき、前記ループ文の繰り返し条件式に含まれる入力依存変数を識別しS2702、制約キー変数としてその変数識別子と項目識別子を出力するS2703。行1910のPERFORM文を例に取ると、変数R11-PCODEが該当するので、S2702で識別した依存変数を、対応する論理ファイルに対する制約キー変数として出力する。上記の処理を、ファイルアクセス制御構造内の全てのループ文に対して行うS2704。もし、入力ファイルのうち、制約キー変数が識別できなかったものがあれば、論理ファイル分割制約テーブル2400において、当該論理ファイルに対する制約キー変数が無いことをで明示する。以上が、ステップS305論理ファイル分割制約生成の説明である。6物理ファイル分割制約生成S306次に、ステップS306の物理ファイル分割制約生成ステップについて説明する。ステップS306は、物理ファイル分割制約生成ステップである。図28に、その処理フローを示す。物理ファイル分割制約生成処理は、物理ファイル分割制約情報260を生成するステップS2801のみで構成される。図29に、物理ファイル分割制約情報250を格納する物理ファイル分割制約テーブルの例2900を示す。本テーブルの行は、並列化対象プログラム211の入力ファイル物理ファイルに対応する。本実施例の並列化対象プログラムであるプログラムP01の入力ファイルは1つであるので、行は1つしかない。論理ファイル分割制約テーブル2900のカラム2901は、物理ファイル名である。カラム2402は、当該物理ファイルの分割における制約キーとなる項目の識別子である。物理ファイル分割制約テーブル2900の行2910によると、物理ファイル受注明細FILEの制約キー項目識別子は[9-13]である。これは、受注明細FILEを分割する際には、レコードの9バイト目から始まる5バイト長の項目に着目し、連続するレコードの当該項目の値が一致する場合は、それらの連続するレコード群は、分割後も同じファイルに存在するように分割を行う必要があることを示す。物理ファイル分割制約テーブル2900は、論理ファイル分割制約テーブル2600の行を、変換することで生成する。具体的には、論理ファイル分割制約テーブルの行の、論理ファイル識別子から、当該論理ファイルに対応する物理ファイル名を識別し、カラム2901に格納する。論理ファイルと物理ファイルの対応関係は、物理ファイルテーブル400に基づいて特定する。また、論理ファイル分割制約テーブルの行の、項目識別子カラム2604の内容を、当該物理ファイルの項目識別子カラム2902に転記する。以上が、ステップS306物理ファイル分割制約生成の説明である。7物理ファイル分割テンプレート生成S307次に、ステップS307のステップについて説明する。ステップS307は、物理ファイル分割テンプレート生成ステップである。図30に、その処理フローを示す。分割後ファイル名生成ステップS3001では、多重度213と、分割対象の物理ファイル名から、分割後のファイル名を生成する。例えば、本実施例においては、分割対象物理ファイルは受注明細FILEであり、多重度は2である。分割によって生成される2つの物理ファイルの名称はそれぞれ受注明細FILE001と受注明細FILE002とする。図30のステップS3002は、物理ファイル分割テンプレートを生成する。図31に、物理ファイル分割テンプレート情報260を格納する、物理ファイル分割テンプレートテーブル3100を示す。本テーブルの行は、分割後ファイルに対応する。物理ファイル分割テンプレートテーブル3101のカラム3101は分割元物理ファイル名である。カラム3102は境界項目識別子である。カラム3103は境界項目レンジ制約である。カラム3104は分割後ファイル名である。カラム3102の境界項目識別子は、物理ファイル分割制約テーブル2900のカラム2902の制約キー項目識別子から転記する。本実施例においては、カラム3103の境界項目レンジ制約は使用しないため、値はである。前記並列化設計支援システム100の使用者は、物理ファイル分割テンプレート3100を参照することで、並列化対象プログラム211をファイル分割によって並列化する際の、入力ファイルの分割方法を効率的に設計することができる。例えば前記使用者は、物理ファイル分割テンプレート3100に基づき、分割後ファイル名はそれぞれ受注明細FILE001と受注明細FILE002とすればよいことがわかる。また、受注明細FILE001は、レコード項目[9-13]の値が変化する箇所で分割元ファイルを分割して生成することができ、受注明細FILE002も、レコード項目[9-13]の値が変化する箇所で分割元ファイルを分割して生成することができることがわかる。図6の分割後ファイル611は、前記使用者が、物理ファイル分割テンプレート3100に基づき、受注明細FILE001に、境界項目[9-13]の値が11111と22222であるレコードを含めるように、また受注明細FILE002に、境界項目[9-13]の値が33333と44444であるレコードを含めるように、受注明細FILEを分割した結果を示す。以下に本発明の第二の実施形態について図面を用いて詳細に説明する。第二の実施例においては、複数の入力ファイルを持つプログラムの並列化設計支援を行うシステムを説明する。例えば並列化対象プログラムが2つの入力ファイルを扱う場合、第一の入力ファイルと第二の入力ファイルの分割は相互の整合性を考慮して行う必要がある。また、第一の入力ファイルの分割後ファイルの配置と、第二の入力ファイルの分割後の配置は、相互の整合性を考慮して行う必要がある。図32は、本実施形態の並列化設計支援システム3200の構成図である。第一の実施例における並列化設計支援システム100との差異のみを説明する。前記並列化設計支援システム100における論理ファイル分割制約生成部105に代わり、並列化設計支援システム3200は、論理ファイル分割配置制約生成部3201を備える。また、論理ファイル分割制約情報240に代わり、並列化設計支援システム3200は、論理ファイル分割配置制約情報3310を備える。また第一の実施例における前記並列化設計支援システム100が備える物理ファイル分割制約生成部106に代わり、本実施例の並列化設計支援システム3200は、物理ファイル分割配置制約生成部3202を備える。また、物理ファイル分割制約情報250に代わり、並列化設計支援システム3200は、物理ファイル分割配置制約情報3320を備える。図33は、前記並列化設計支援システム3200が備える各種データの構成3300である。第一の実施例における前記並列化設計支援システム100のデータ構成200との差異は以下のとおりである。論理ファイル分割配置制約情報3310は、論理ファイル分割制約情報240に加えて、論理ファイル配置制約情報3311を備える。また、物理ファイル分割配置制約情報3320は、物理ファイル分割制約情報250に加えて、物理ファイル配置制約情報3321を備える。以下、本実施形態の並列化設計支援方法の実施手順について、図34の全体処理フローに従い、図35から図57を用いて説明する。ステップS301入力情報登録、ステップS302プログラム構文依存性解析、ステップS303ファイルアクセスロジック生成、ステップS304並列性判定は、第一の実施例のものと同一であるので、説明は省略する。1入力情報登録S301本実施例における入力情報を説明する。並列化対象プログラム3301は、プログラムP02である。物理ファイル情報3302を格納するテーブルの例を図35のテーブル3500に示す。プログラムP02は、集計FILEと倉庫FILEという2つのファイルを入力とし、出庫指示FILEを出力ファイルとする。これらの物理ファイルは、プログラムP02において、それぞれ論理ファイルF21、F22、F23としてアクセスされる。ここで、集計FILEは、第一の実施例においてプログラムP01が出力するものと同一であるが、その点については第三の実施例で説明する。図36に、プログラムP02が行う処理の概要を例を用いて示す。この例において、集計FILEの各レコードは、商品コードで特定される商品の受注数量を表す。倉庫FILEの各レコードは、倉庫コードで特定される倉庫が保管している商品の商品コードを表す。プログラムP02が行う業務処理は、出庫指示である。各倉庫に対し、出庫すべき商品とその数量を指示するために用いられるファイルである出庫指示FILEを出力する。出庫指示FILEの各レコードは、倉庫コードで特定される倉庫に対し、商品コードで特定される商品を出庫すべきであることと、その数量を示している。図37は、前記の処理を行うプログラムP02をファイル分割によって多重度2で並列化した結果を示す。入力ファイル3710を、物理ファイル分割配置プログラム3740が、分割後ファイル3711と分割後ファイル3712に分割する。さらに、前記物理ファイル分割配置プログラム3740は、入力ファイル3720を、分割後ファイル3721と分割後ファイル3722に分割する。そして、前記物理ファイル分割配置プログラム3740は、分割後ファイル3711と分割後ファイル3721を、並列実行サーバ3760に配置する。さらに、前記物理ファイル分割配置プログラム3740は、分割後ファイル3712と分割後ファイル3722を、並列実行サーバ3770に配置する。並列実行サーバ3760はプログラムP02と同じプログラム3780を、分割後ファイル3711と分割後ファイル3721を入力ファイルとして実行する。プログラム3780は、出力ファイル3731を出力する。同様に、並列実行サーバ3770はプログラムP02と同じプログラム3790を、分割後ファイル3712と分割後ファイル3722を入力ファイルとして実行する。プログラム3790は、出力ファイル3732を出力する。物理ファイルマージプログラム3750は、出力ファイル3731と出力ファイル3732を入力とし、それらをマージしたファイル3730を出力する。入力ファイル3710は集計FILE3610と同一であり、入力ファイル3720は倉庫FILE3620と同一である。プログラム3780とプログラム3790は、プログラムP02と同一であり、出力ファイル3730は出庫指示FILE3630と同一である。このような物理ファイル分割配置プログラム3740と物理ファイルマージプログラム3750を実現することで、プログラムP02を改変することなく、プログラムP02の並列実行を実現できる。そのためにはプログラムP02の動作の知識に基づく設計行為が必要である。本実施例は、前記物理ファイル分割配置テンプレート情報3330を出力することで、物理ファイル分割配置プログラム3740の設計を支援する、並列化設計支援システム3200を説明する。図38は、並列化対象プログラム3301のデータ部3801である。図39は、データ部3801の記載内容のうち、ファイルに関する部分を模式的に示す。2プログラム構文依存性解析S302以下に、ステップS302プログラム構文依存性解析の実行結果として本実施例の前記並列化設計支援システム3200が出力する情報の例を示す。図40は、ファイルレコード識別情報3303に格納されたファイルレコード識別テーブルの例4000である。図41は、命令情報3304に格納された命令文テーブルの例4100である。図42は、制御依存情報3305に格納された制御依存性テーブルの例4200である。これらは本実施例の理解を助けるために示した。3ファイルアクセスロジック生成S303以下に、ステップS303ファイルアクセスロジック生成の実行結果として、本実施例の前記並列化設計支援システム3200が出力する情報の例を示す。図43は、ファイルアクセス制御構造情報3306に格納されたファイルアクセス制御構造テーブルの例4300である。図44は、変数依存性情報3307に格納された変数依存性テーブルの例4400である。4並列性判定S304ステップS304並列性判定の本実施例における判定結果は並列化可能となる。以上が、本実施例における、入力情報登録ステップS301と、プログラム構文依存性解析ステップS302と、ファイルアクセスロジック生成ステップS303と、並列性判定ステップS304の説明である。次に、ステップS3404の並列性判定ステップについて説明する。5論理ファイル分割配置制約生成S3405ステップS3405は、論理ファイル分割配置制約ステップである。図45に処理フローを示す。S2501論理ファイル分割制約生成は実施例1におけるステップと同一である。図46に、S2501の出力である論理ファイル分割制約情報240に格納された論理ファイル分割制約テーブル4600を示す。論理ファイルF21とF22に対する制約キー変数は無く、これらの論理ファイルの分割は、レコードの境界であればどこでも可能であることを示す。図45のS4502は、論理ファイル配置制約生成ステップである。図47に、本ステップの出力である、論理ファイル配置制約情報3311を格納する論理ファイル配置制約テーブルの例4700を示す。本テーブルの各行は、2つの入力ファイルの間に存在する配置制約を表現する。論理ファイル配置制約テーブル4700のカラム4701は、プログラム識別子である。カラム4702とカラム4705は論理ファイル識別子である。当該行に対応する2つの論理ファイルを特定する。カラム4703は、カラム4702で識別される論理ファイルに対する制約キー変数の識別子である。カラム4706は、カラム4705で識別される論理ファイルに対する制約キー変数の識別子である。カラム4704は、2つの論理ファイルの制約キー変数の値を比較する条件である。各識別子の1、2は論理ファイルF21,F22にそれぞれ対応する。論理ファイル配置制約テーブル4700の内容は行4710のみである。これは、論理ファイルF21と論理ファイルF22の分割後ファイルを配置する際には、それぞれの制約キー変数に対応するレコード項目の値が等しい部分を、同一の並列実行サーバに配置しなければならないことを示す。行4710の内容は、図37においてそうであるように、集計FILE論理ファイルF21に対応の商品コード制約キー変数R21-PCODEに対応と、倉庫ファイル論理ファイルF22に対応の商品コード制約キー変数R22-PCODEに対応が一致する部分は、同一の並列実行サーバに配置しなければならないことを示す。論理ファイル配置制約を満たさない分割後ファイルの配置は、並列化前と並列化後の並列化対象プログラム3301の処理結果の不一致を引き起こす。例えば、図37において、分割後ファイル3711の第二レコードが、分割後3712の冒頭に移動した場合、商品コード22222の商品の出庫指示が出力されない。図48は、論理ファイル配置制約生成ステップS4502の処理フローである。まず、ファイルアクセス制御構造テーブル4300に基づき、WRITE文を特定するS4801。次に、制御依存性テーブル4200に基づき、当該WRITE文をスコープに含む分岐命令文を特定し、その分岐条件を識別するS4802。例えば、命令文15は、分岐命令文である11のスコープ内にある。当該IF文の分岐条件に含まれる原子式はR21-PCODER22-PCODEである。分岐条件は、プログラム構文依存性解析ステップの出力である条件構文木に基づいて識別する。次に、分岐条件が、2つの論理ファイルに関連づいた2つの依存変数同士の比較であることを確認するS4803。例では、変数R21-PCODEは論理ファイルF21の入力依存変数であり、変数R22-PCODEは論理ファイルF22の入力依存変数である。変数の依存性は、変数依存性テーブル4400に基づいて確認する。S4803の確認結果がYESの場合は、当該分岐条件を論理ファイル配置制約に変換するS4804。例ではR21-PCODER22-PCODEを、論理ファイル配置制約テーブル4700の行4710に変換する。S4803の確認結果がNOの場合は処理を終了する。上記のS4801からS4804を、S4805とS4806に記載の条件に従って繰り返し実行することで、論理ファイル配置制約の生成が完了する。以上が、S3405論理ファイル分割配置制約生成の説明である。本ステップで生成した論理ファイル分割配置制約情報3210を出力装置に出力する際の例を図49に示す。図49の出力例4900では、論理ファイルと、当該論理ファイルに対する分割制約をノードで表現し、論理ファイル間の配置制約をエッジで表現する。ノード4910は論理ファイルF21に対応する。ノード4920は論理ファイルF22に対応する。エッジ4930は、論理ファイルF21と論理ファイルF22間の配置制約に対応する。図49のような形式で、前記並列化設計支援システム3200が、論理ファイル分割配置制約情報3210を出力することで、前記並列化設計支援システム3200の使用者は、並列化対象プログラム3301を並列化する際の分割制約と配置制約をより効率的に理解することができる。6物理ファイル分割配置制約生成S3406次に、図34のステップS3406物理ファイル分割配置制約生成を説明する。図50に処理フローを示す。S5001物理ファイル分割制約生成は実施例1におけるステップS2801と同一である。図51に、S2801の出力である物理ファイル分割制約情報250に格納された物理ファイル分割制約テーブルの例5100を示す。集計FILEと倉庫FILEに対する制約キー変数は無く、これらの物理ファイルの分割は、レコードの境界であればどこでも可能であることを示す。S5002は物理ファイル配置制約生成ステップである。図52に、本ステップの出力である、物理ファイル配置制約情報3321を格納する物理ファイル配置制約テーブルの例5200を示す。本テーブルの各行は、2つの入力ファイルの間に存在する配置制約を表現する。物理ファイル配置制約テーブル5200のカラム5201とカラム5204は物理ファイル名である。当該行に対応する2つの物理ファイルを特定する。カラム5202は、カラム5201で特定される物理ファイルに対する制約キー項目の識別子である。カラム5205は、カラム5204で識別される物理ファイルに対する制約キー項目の識別子である。カラム5203は、2つの物理ファイルの制約キー項目の値を比較する条件である。以上がS3406物理ファイル分割配置制約生成の説明である。本ステップで生成した論理ファイル分割配置制約情報3220を出力装置に出力する際の表現例を図53に示す。図53の表現例5300では、物理ファイルと、当該物理ファイルに対する分割制約をノードで表現し、物理ファイル間の配置制約をエッジで表現する。ノード5310は集計FILEに対応する。ノード5320は倉庫FILEに対応する。エッジ5330は、それら二者間の配置制約に対応する。図53のような形式で、前記並列化設計支援システム3200が、物理ファイル分割配置制約情報3220を出力することで、前記並列化設計支援システム3200の使用者は、並列化対象プログラム3301を並列化する際の分割制約と配置制約をより効率的に理解することができる。以上が、ステップS3406物理ファイル分割配置制約生成の説明である。7物理ファイル分割配置テンプレート生成S3407次に、ステップS3407の物理ファイル分割配置テンプレート生成ステップについて説明する。ステップS3407は、物理ファイル分割配置テンプレート生成ステップである。図54に処理フローを示す。S3001分割後ファイル名生成は、実施例1における当該ステップと同一である。本実施例では、入力情報の一部として登録されている多重度2に対して、集計FILEを集計FILE001と集計FILE002に、そして、倉庫FILEを倉庫FILE001と倉庫FILE002にそれぞれ分割するものとする。ステップS5402は、物理ファイル分割テンプレート生成である。本ステップの処理内容は、実施例1における同名のステップS3002と異なる。本ステップの出力例を図55に示す。図55は、物理ファイル分割テンプレート情報261を格納する物理ファイル分割テンプレート5500である。各カラムの定義は実施例1と同一である。図55の物理ファイル分割テンプレート5500は、集計FILEと倉庫FILEの分割方法を指示する情報を格納する。行の順序は、分割後FILEの生成順に対応する。行5510と行5520は、まず集計FILEを分割し集計FILE001と集計FILE002を生成するよう指示する情報である。その際は、集計FILEの項目[1-5]の値の変更点を境界にするカラム5502。次に行5520と行5530は、倉庫FILEを分割し倉庫FILE001と倉庫FILE002を生成するよう指示する情報である。その際は、倉庫FILEの分割は項目[9-13]を境界としカラム5502、さらに、倉庫FILE001には、項目[9-13]の値のレンジが、集計FILE001の項目[1-5]の値のレンジを含むことが制約であるカラム5503の境界項目レンジ制約。これは、図37に示すように、もし集計FILE001の項目[9-13]図37では商品コードの値のレンジが{11111,22222}であるならば、倉庫FILE001の項目[1-5]図37では商品コードの値のレンジは{11111,22222}を含まなければならないことを示す。図56に、ステップS5402物理ファイル分割テンプレート生成の処理フローを示す。まず最初に、複数ある入力ファイルのうち、最初の分割元ファイルを決定し、対応する分割後ファイルについての分割ルールを出力するS5601。最初の分割元ファイルは任意に決めても良いし、入力装置を介して前記並列化設計支援システム3200の使用者から取得してもよい。分割ルールの出力は以下の手順で行う。まず、当該分割元ファイルに関する制約キー項目を、物理ファイル分割制約テーブル5100と物理ファイル配置制約テーブル5200から取得する。制約キー項目が一致する場合は、当該制約キー項目の識別子を、境界項目識別子カラム5502に出力する。片方の制約キー項目がである場合は、もう片方の制約キー項目の識別子をカラム5502の値として出力する。例では、集計FILEを最初に分割するよう決定したものとする。集計FILEの制約キー項目識別子は、分割制約からはであり、配置制約からは[1-5]である。よって、後者を出力する。これを、集計FILEの2つの分割後ファイルに対して行う。次に、未処理の分割元ファイルのうち、処理済みである前記分割元ファイルとの間に配置制約を持つファイルを特定し、次の処理対象分割元ファイルとするS5602。ここで、当該分割対象分割元ファイルから生成する分割後ファイルと、前記処理済み分割元ファイルから生成する分割後ファイルとの間の対応関係を確立する。例では、次の処理対象分割元ファイルは倉庫FILEである。倉庫FILE001を、集計FILE001に対応させる。また、倉庫FILE002を、集計FILE002に対応させる。S5603において、前記処理対象ファイルの分割ルールを出力する。前記処理対象ファイルの分割元ファイルは、前記処理済みファイルの分割元ファイルとの間に配置制約を持つ。当該配置制約から、前記処理対象分割元ファイルの制約キー項目識別子を取得する。次に、前記制約キー項目識別子が、前記処理対象分割元ファイルの分割制約における制約キー項目識別子と一致するか、後者がであることを確認する。この条件を満たす場合、境界項目レンジ制約カラム5503は、前記対応関係を持つ分割後ファイルの境界識別子である。例を用いて説明する。倉庫FILE001の分割元ファイルである倉庫FILEは、対応関係にある集計FILE001の分割元ファイルである集計FILEとの間に配置制約を持つ。物理ファイル配置制約テーブル4700基づき、制約キー項目識別子[9-13]を取得する。集計FILEの分割制約はであることを確認し、[9-13]を境界項目識別子行5530のカラム5502とする。行5530の境界項目レンジ制約カラム5503は、倉庫FILE001に対応する処理済ファイルである集計FILE001の境界項目行5510のカラム5502である。これを集計FILE001.[1-5]として、境界項目レンジ制約とする行5530のカラム5503。ステップS5602とS5603を全ての入力ファイルに対して繰り返すS5604。以上が、ステップS5402物理ファイル分割テンプレート生成の処理フローの説明である。ステップ5403は、物理ファイル配置テンプレート生成である。本ステップの出力例を図57に示す。図57は、物理ファイル配置テンプレート情報3231の例5700である。カラム5701は配置先のノード名並列実行サーバ名である。カラム5702は、配置すべき分割後ファイル名である。行5710と行5720は、集計FILE001と倉庫FILE001を同一ノードノード1に配置することを指示する情報である。同様に、行5730と行5740は、集計FILE002と倉庫FILE002を同一ノードノード2に配置することを指示する情報である。物理ファイル配置テンプレート5700の生成手順は以下のとおりである。物理ファイル分割テンプレート5500の各行を確認し、境界項目レンジ制約カラム5503が以外である行を識別する。そのような行があった場合、当該行の分割後ファイルカラム5504と前記境界項目レンジ制約に登場する分割後ファイルを、同一ノードに配置するよう、物理ファイル配置テンプレートの行を出力する。例えば、物理ファイル分割テンプレート5500において、行5530は上記の条件を満たす。これにより、集計FILE001と倉庫FILE001を同一ノードに配置すべきことがわかるので、物理ファイル配置テンプレート5700の行5710と行5720を出力する。前記並列化設計支援システム3200の説明は以上である。当該システム3200の使用者は、物理ファイル分割テンプレート5500と物理ファイル配置テンプレート5700に基づき、並列化対象プログラム3301をファイル分割によって並列化する際の、入力ファイルの分割方法と配置方法を効率的に設計することができる。例えば前記使用者は、物理ファイル分割テンプレート5500に基づき、集計FILEの分割後ファイルを集計FILE001と集計FILE002に、倉庫FILEの分割後ファイルを倉庫FILE001と倉庫FILE002とした場合の、分割時の留意点を効率的に知ることができる。すなわち、集計FILEを分割する際には、項目[1-5]の値が変化する箇所で分割を行うべきことがわかる。また、倉庫FILEを分割する際には、項目[9-13]の値の変化する箇所で分割を行うべきことがわかる。さらに、倉庫FILEを分割し倉庫FILE001と倉庫FILE002を生成する際には、倉庫FILE001の項目[9-13]のレンジが、集計FILE001の項目[1-5]のレンジを含むべきことがわかる。かつ、倉庫FILE002の項目[9-13]のレンジが、集計FILE002の項目[1-5]のレンジを含むべきことがわかる。さらに前記使用者は、物理ファイル配置テンプレート5700を参照することで、前記分割後ファイル群を配置する際に守るべき条件を効率的に知ることができる。例えば、集計FILE001と倉庫FILE001は同じノードに配置すべきであり、集計FILE002と倉庫FILE002は同じノードに配置すべきであることがわかる。このように、本実施例の並列化設計支援システム3200によれば、前記使用者は、図37に示す並列化の実現のための設計行為を、効率的に行うことができる。以下に本発明の第三の実施形態について図面を用いて詳細に説明する。第三の実施例においては、連続して実行される2つのプログラムを並列化の範囲として扱う、並列化設計支援システムを説明する。例えばプログラムAとプログラムBがあり、プログラムAの出力ファイルXがプログラムBの入力ファイルである場合を考える。プログラムAとプログラムBの両方が、ファイル分割による並列化が可能である場合、プログラムAの実行後に、ファイルXを出力する物理ファイルマージプログラムを実行し、その後、プログラムBの実行前に、ファイルXを分割する物理ファイル分割プログラムを実行すると、ファイル分割とマージのオーバーヘッドがかかる。そこで本実施例では、プログラムAとプログラムBの間で、ファイルのマージと再分割を行わない形態での並列化の設計を支援する、並列化設計支援システムを説明する。本実施形態の並列化設計支援システムのブロック図は、第二の実施形態におけるブロック図32と同一であるので省略する。図58は、本実施形態の並列化設計支援システムが備える、各種データの構成5800を示す。第二の実施例における前記並列化設計支援システム3200のデータ構成3300との差異は以下である。物理ファイル分割配置制約情報5810は、合成前物理ファイル分割制約情報5820と、合成前物理ファイル配置制約情報5830と、合成後物理ファイル分割制約情報5840と、合成後物理ファイル配置制約5850から構成される。本実施形態における並列化支援システムの入力情報を説明する。並列化対象プログラム5861は、複数のプログラムを含む。本実施例では、第一の実施例で用いたプログラムP01と、第二の実施例で用いたプログラムP02を、並列化対象プログラム5861とする。図59に、物理ファイル情報5862を格納する物理ファイルテーブルの例5900を示す。図に示すように、本テーブルは、第一の実施例における同テーブル400と、第二の実施例における同テーブル3500の内容を含む。プログラムP01は受注明細FILEを入力とし行5910、集計FILEを出力とする行5920。プログラムP02は、集計FILEと倉庫FILEを入力とし行5930と行5940、出庫指示FILEを出力とする行5950。図60に、本実施例における並列化の範囲を示す。並列化範囲6010は、プログラム6020P01とプログラム6030である。プログラム6020が出力しプログラム6030が入力とするファイル6040は、並列化範囲6010の中間ファイルである。並列化範囲6010の入力はファイル受注明細FILE6050とファイル倉庫FILE6060である。並列化範囲6010の出力はファイル6070である。図61は、前記並列化範囲6010を、ファイル分割によって多重度2で並列化した結果を示す。物理ファイル分割配置プログラム6170は、入力ファイル6050を、分割後ファイル受注明細FILE0016111と分割後ファイル受注明細FILE0026112に分割し、それぞれ並列実行サーバ6191と並列実行サーバ6192に配置する。さらに、物理ファイル分割配置プログラム6170は、入力ファイル6060を、分割後ファイル倉庫FILE0016121と分割後ファイル倉庫FILE0026122に分割し、それぞれ並列実行サーバ6191と並列実行サーバ6192に配置する。並列実行サーバ6191は、プログラムP01と同じプログラム6131を、分割後ファイル6111と分割後ファイル6121を入力ファイルとして実行する。プログラム6131は、中間ファイル集計FILE6141を出力する。次に、並列実行サーバ6191は、プログラムP02と同じプログラム6151を、中間ファイル6141を入力ファイルとして実行する。プログラム6151は、出力ファイル出庫指示FILE6161を出力する。同様に、並列実行サーバ6192は、プログラムP01と同じプログラム6132を、分割後ファイル6112と分割後ファイル6122を入力ファイルとして実行する。プログラム6132は、中間ファイル集計FILE6142を出力する。次に、並列実行サーバ6192は、プログラムP02と同じプログラム6152を、中間ファイル6142を入力ファイルとして実行する。プログラム6152は、出力ファイル出庫指示FILE6162を出力する。物理ファイルマージプログラム6180は、出力ファイル6161と出力ファイル6162を入力とし、それらをマージしたファイル6070を出力する。このような物理ファイル分割配置プログラム6170と、物理ファイルマージプログラム6180を実現することで、並列化範囲6010内のプログラムを改変することなく、並列化範囲6010の並列実行を実現できる。そのためには、並列化範囲6010内のプログラム6020とプログラム6030の動作の知識に基づく設計行為が必要である。本実施例は、前記物理ファイル分割配置テンプレート情報5850を出力することで、物理ファイル分割配置プログラム6170の設計を支援する、前記並列化設計支援システムを説明する。以下、本実施形態の並列化設計支援方法の実施手順について、図62の処理フローに従い、図63から図74を用いて説明する。1入力情報登録S6201ステップS6201は、入力情報登録処理である。並列化対象プログラム5761が2つのプログラムから構成されること以外は、実施例1における入力情報登録処理S301と同じである。2プログラム構文依存性解析S6202ステップS6202は、プログラム構文解析依存性解析処理である。並列化対象プログラム5761を構成する各プログラムについて、実施例1におけるプログラム構文解析依存性解析S302を実行する。3ファイルアクセスロジック生成S6203ステップS6203は、ファイルアクセスロジック生成処理である。並列化対象プログラム5761を構成する各プログラムについて、実施例1におけるファイルアクセスロジック生成処理S303を実行する。4並列性判定S6204ステップS6204は、並列性判定処理である。並列化対象プログラム5761を構成する各プログラムについて、実施例1における並列性判定処理S304を実行する。5論理ファイル分割配置制約生成S6205ステップS6205は、論理ファイル分割配置制約生成処理である。並列化対象プログラム5761を構成する各プログラムについて、実施例2における論理ファイル配置制約生成処理S3405を実行する。図63に、論理ファイル分割制約情報5860を格納する、論理ファイル分割制約テーブルの例6300を示す。行6310は、実施例1における同テーブル2600の行2610と同一である。行6320と行6330は、実施例2における同テーブル4600の行4610と行4620と同一である。図64に、論理ファイル配置制約情報5870を格納する、論理ファイル配置制約テーブルの例6400を示す。行6410は、実施例2における同テーブル4700の行4710と同一である。6物理ファイル分割配置制約生成S6206ステップ6206は、物理ファイル分割配置制約生成処理である。本ステップの処理フローは、実施例2の同ステップS3405と異なる。図65に、本実施例の物理ファイル分割配置制約生成ステップ6206の処理フローを示す。ステップS6501は、合成前物理ファイル分割制約生成ステップである。本ステップは、実施例2の物理ファイル分割制約生成ステップS2801を、並列化対象プログラム5761を構成する各プログラムについて実行する。図66は、合成前物理ファイル分割制約生成ステップS6501の出力である、合成前物理ファイル分割制約情報5820に格納された合成前物理ファイル分割制約テーブルの例6600である。行6610は実施例1における物理ファイル分割制約テーブル2900の行2910と同一である。行6620と行6630は、実施例2における物理ファイル分割制約テーブル5100の行5110と行5120とそれぞれ同一である。ステップS6502は、合成前物理ファイル配置制約生成ステップである。本ステップは、実施例2の物理ファイル配置制約生成ステップS5002を、並列化対象プログラム5761を構成する各プログラムについて実行する。図67は、合成前物理ファイル配置制約生成ステップS6502の出力である、合成前物理ファイル配置制約テーブルの例6700である。行6710は、実施例2における物理ファイル配置制約テーブル4700の行4710と同一である。ステップS6503は、合成方法判定ステップである。並列化対象プログラム5761を構成する各プログラムを別々に処理することで生成した、合成前物理ファイル分割制約情報5820と、合成前物理ファイル配置制約情報5830を合成し、並列化範囲5910に対する制約である、合成後物理ファイル分割制約情報5840と、合成後物理ファイル配置制約情報5850を生成する方法を判定する。図68に、S6503の合成方法判定ステップの処理フローを示す。まず、中間ファイル5940に対する、合成前物理ファイル分割制約を識別するS6801。本実施例では、中間ファイル5940は集計FILEである。合成前物理ファイル分割制約テーブル6600を参照し、当該ファイルに対する合成前物理ファイル分割制約を識別する。次に、前記合成前物理ファイル分割制約に基づいて、合成方法を判定するS6802。例では、当該制約はである。これは、プログラムP02の並列化においては、分割制約が無いレコードの境界であれば、どこで分割してもよいことを示す。プログラムP01が出力する中間ファイル6041と中間ファイル6042が、集計FILEのどのような分割結果であっても問題ない。よって、合成可能と判定する。合成方法は、配置制約の変換と判定する。ステップS6504は、物理ファイル分割制約合成ステップである。本ステップの出力例を図69に示す。図69は、合成後物理ファイル分割制約情報5840を格納する合成後物理ファイル分割制約テーブル6900である。本テーブルは、並列化範囲5910の入力ファイル5950と、入力ファイル5960に対する分割制約を、それぞれ行6910と行6920に示している。本ステップS6504では、ステップ6503で判定した合成方法に従い、合成前物理ファイル分割制約情報5720から合成後物理ファイル分割制約情報5840を生成する。合成方法が配置制約の変換である場合の処理方法を例を用いて説明する。合成前物理ファイル分割制約テーブル6600のうち、並列化範囲5910の入力ファイルに該当する行を、合成後物理ファイル分割制約テーブル6900に転記する。例では、受注明細FILEと倉庫FILEに該当する行行6610と行6630を転記する。ステップ6505は、物理ファイル配置制約合成ステップである。本ステップの出力例を図70に示す。図70は、合成後物理ファイル配置制約情報5850を格納する合成後物理ファイル配置制約テーブル7000である。本テーブルは、並列化範囲5910の入力ファイル5950と、入力ファイル5960に対する配置制約を、行7010に示している。本ステップS6505では、ステップ6503で判定した合成方法に従い、合成前物理ファイル配置制約情報5830から、合成後物理ファイル配置制約情報5750を生成する。処理フローを図72に示す。合成方法が配置制約の変換である場合の処理の概要を、図71に示す。表現例7110は、合成前物理ファイル分割制約情報5820と合成前物理ファイル配置制約情報5830の表現例である。表現例7120は、合成後物理ファイル分割制約情報5840と合成後物理ファイル配置制約情報5850の表現例である。表現例7120は、3つの物理ファイルとその分割制約を、ノード7111と、ノード7112と、ノード7113で表現する。配置制約を、エッジ7114で表現する。表示例7120は、合成後物理ファイル配置制約情報7000の出力例である。並列化範囲6010に対する2つの入力ファイルに対する分割制約をノード7121とノード7122で表現する。配置制約を、エッジ7124で表現する。ノード7122は、並列化範囲6010の中間ファイルを表現する。図72に、合成方法が配置制約の変換である場合の、物理ファイル配置制約合成ステップS6505の処理フローを示す。まず、配置制約のうち、中間ファイルの制約キー項目を用いている配置制約を識別するS7201。例では、テーブル6700の行6710の配置制約が該当する。用いている中間ファイルと制約キー項目は、集計FILEの[1-5]である。次に、中間ファイルを出力するプログラムにおいて、WRITE文実行時に、前記制約キー項目の値を格納している出力依存変数を識別するS7202。例では、プログラムP01の変数R12-PCODEである。これは、プログラムP01に関するファイルレコード識別テーブル1000に基づいて識別可能である。ステップS7203において、当該出力依存変数が間接依存する、入力論理ファイル項目を識別する。間接依存性の識別方法は、実施例1におけるステップS1703と同一である。例では、変数R12-PCODEは、論理ファイルF11の項目[9-13]に間接依存する。間接依存性の識別結果を、図21と類似の構成を用いて、図73に示す。ステップS7204では、前記入力論理ファイル項目を、物理ファイル項目に変換する。例では、受注明細ファイル.[9-13]に変換する。これは、プログラムP01における論理ファイルF11は、集計FILEに該当するからである。ステップS7201で識別した配置制約に戻り、当該制約における中間ファイルに対する制約キー項目を、ステップS7204において識別した物理ファイルの項目で置換するS7205。例では、図7000の行7010がその結果に該当する。また、図71の表現例では、合成前の配置制約エッジ7114を、合成後の配置制約エッジ7124のように書き換える操作に該当する。これらはともに、集計FILE.[1-5]を、受注明細FILE.[9-13]で置換した結果である。以上のステップS7201からステップS7205を、中間ファイルに関する物理ファイル配置制約Cを全てについて実行する。全てについて実行済みであれば、本処理を終了するS7206。上記の処理フローにより、合成後物理ファイル配置制約テーブル7000を出力する。以上が、本実施例のステップS6505の説明である。ステップS6207は、物理ファイル分割配置テンプレート生成ステップである。本ステップは、実施例2における同ステップS3407と同一である。ステップ6207の出力結果の例を図74と図75に示す。図74は、物理ファイル分割テンプレート情報5880に格納された物理ファイル分割テンプレートの例7400である。図75は、物理ファイル配置テンプレート情報5890に格納された物理ファイル配置テンプレートの例7500である。本実施例の並列化設計支援システムの使用者は、前記物理ファイル分割配置テンプレート情報5750を参照することで、図60に示す並列化を実現するための設計行為を効率的に行うことができる。"