JPH02122328A - ファイル作成方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 （産業上の利用分野） 本発明は、レコード毎に一意に決まるキー（一次索引キ
ー）だけでなく、必ずしもレコード毎に一意とは限らな
い別のキー（副次索引キー）をも有するファイルを作成
する処理に関する。

（従来の技術） 従来、副次索引キー付きの索引順編成ファイルを作成す
る場合、データブロックへ出力したレコードを一旦、−
時ファイルへためておき、データブロック、および一次
索引作成終了後、レコードをためておいた一時フアイル
を、ソートの入出カフアイルとして、副次索引キーをソ
ートキーとしてソート処理を呼び出すことにより副次索
引を作成していた。

また、ソート入出力用の一時フアイルにレコードをため
ておく際には、レコードデータをそのまま出力していた
。

（発明が解決しようとしている課題） 上述したように従来、副次索引キー付きの索引順編成フ
ァイルを作成する場合、データブロックへ出力したレコ
ードを一旦、−時ファイルへためておき、データブロッ
ク、および一次索引作成終了後、レコードをためておい
た一時フアイルを、ソートの入出カフアイルとして、副
次索引キーをソートキーとしてソート処理を呼び出すこ
とにより副次索引を作成していた。ところが、このよう
な従来のファイル作成方式では、ソート処理では、−旦
フアイルに書き込まれたレコードを再び、主記憶装置内
に読み込むという無駄な処理を行っていたから、ファイ
ル作成処理の性能低下を招くという欠点があった。

また、従来のファイル作成方式では、ソート入出力用の
一時フアイルにレコードをためておく際には、レコード
データをそのまま出力していた。

このような従来方式においては、特にレコード長・が副
次索引キーの長さより非常に長いような場合、副次作成
のためには不要なデータ部分をもソートに渡されること
になるので、ソート処理効率が低下し、それがファイル
作成処理の性能低下を招くという欠点もあった。

（課題を解決するための手段） 本発明は、 レコード毎に一意に決まるキー（一次索引キー）だけで
はなく、この一次索引キーの他に必ずしもレコード毎に
一意とは限らない別のキー（副次索引キー）をも有する
ファイル（索引順編成ファイル）を作成する処理であっ
て、 前記索引順編成ファイルの作成を要求するファイル作成
要求プログラムと、 前記索引順編成ファイルの作成処理を行い、ファイル作
成初期処理、データブロック作成処理および副次索引作
成処理の３つの部分からなるファイル作成処理手段と、 前記ファイル作成要求プログラムが、一次索引キーおよ
び副次索引キーのレコード内位置、大きさ、その他ファ
イルを作成するために必要な情報を設定し、前記ファイ
ル作成処理手段にパラメータとして渡すファイル作成パ
ラメータテーブルと、前記ファイル作成要求プログラム
が前記ファイル作成処理手段へ論理レコードを渡す主記
憶装置内のレコード受け渡し領域と、 前記ファイル作成処理手段が作成するファイルであり、
複数個のデータブロック、一次索引および副次索引から
構成される索引順編成ファイルと、前記ファイル作成処
理手段が前記索引順編成ファイルの副次索引を作成する
ために用い、ソート初期処理、ソートレコード入力処理
、マージ処理およびソートレコード出力処理の４つの部
分からなるソート処理手段と、 前記ファイル作成処理手段がソートキーその他のソート
パラメータを設定し、前記ソート処理手段へパラメータ
として渡すソートパラメータテーブルと、 前記ファイル作成処理手段と前記ソート処理手段との間
でのソートレコードの受け渡しのために用いる主記憶装
置内のソートレコード受け渡し領域と、 前記ソート処理手段がワークファイルとして用いるソー
トワークファイルと、 前記ソート処理手段の前記ソート出力処理が出力バッフ
ァとして用いるソート出力バッファとを備えてなる。

（作用） 上記構成の本発明のファイル作成処理方式では、前記索
引順編成ファイルのデータブロックはブロック番号によ
り一意に識別され、 前記索引順編成ファイルの一次索引は、一次索引キーに
よるアクセスを行うためのもので、ブロック番号と、そ
のブロック番号のデータブロック内の一次索引キーの値
で最大のキーを持つレコードの次に位置するレコードの
一次索引キーとの組から構成され、 前記索引順編成ファイルの副次索引は、副次索引キーに
よるアクセスを行うためのもので、副次索引キーと、そ
のキーを持つレコードが格納されているデータブロック
のブロック番号、ブロック内位置との組から構成され、 前記ファイル作成要求プログラムは、前記索引順編成フ
ァイルを作成するにあたり、−法案引キ、並びに副次索
引キーのレコード内位置、サイズ、その他ファイルを作
成するために必要なパラメータを、前記ファイル作成パ
ラメータテーブルへ設定し、前記ファイル作成処理手段
の前記ファイル作成初期処理へ制御を渡し、 前記ファイル作成初期処理は、前記索引順編成ファイル
のファイル領域を、複数のデータブロックと、−法案引
用のファイル領域と、副次索引用のファイル領域とに分
割し、各データブロックに１から始まるブロック番号を
付け、ブロック番号により一意に識別できるようにする
とともに、ソートキーサイズとして前記ファイル作成パ
ラメータテーブルへ設定されている副次キーのサイズを
、ソートキーのレコード内位置として０をそれぞれ前記
ソートパラメータテーブルへ設定し、さらに、前記副次
索引用ファイル領域のファイル内先頭アドレス、サイズ
を前記ソートパラメータテーブルに設定し、前記ソート
処理手段の前記ソート初期処理へ制御を渡し、 前記ソート処理手段の前記ソート初期処理へ制御を渡し
、 前記ソート初期処理は、前記ソートパラメータテーブル
に設定されているソートキーについての情報をもとに、
キー比較命令の作成、その他ソート実行に必要な初期処
理を行い、前記ファイル作成初期処理へ制御を戻し、 前記ファイル作成初期処理は、前記ソート初期処理から
制御を戻されると、前記ファイル作成要求プログラムへ
ファイル作成の準備が完了した旨を通知し、前記ファイ
ル作成要求プログラムへ制御を戻し、 前記ファイル作成要求プログラムは、前記索引順編成フ
ァイルへ出力する各レコードを、一次索引キーの順に、
前記レコード受け渡し領域べ移し、前記データブロック
作成処理を呼び出すことにより前記索引順編成ファイル
へレコードを出力していき、 前記データブロック作成処理は、ブロック番号１のデー
タブロックから使い始め、前記レコード受け渡し領域内
に送られてくるレコードをブロックの先頭から順次に格
納していき、格納したレコードの後ろに、そのレコード
のレコードポインタ用に領域を確保し、レコードポイン
タの値としては、レコードポインタ用に確保した領域の
後尾のブロック内位置を、次のレコードへのポインタと
して設定し、データブロックが満杯になると、出力する
レコードの、一次キーと、満杯になったデータブロック
のブロック番号の組を、前記一次索引の１エントリとし
て書き込み、次のブロック番号のデータブロックの先頭
に、レコードを書き込むことにより、データブロックお
よび一次索引の作成処理を行っていくのと並行して、前
記レコード受け渡し領域内に受け取ったレコードの副次
キーの部分を取り出しその後ろに、そのレコードを格納
したデータブロックのブロック番号ブロック的位置を付
加情報として付加することによりソートへ渡すための新
たなレコードを作成し、前記ソートレコード受け渡し領
域へ移送し、前記ソート処理手段の前記ソートレコード
入力処理を呼び出すことにより前記ソート処理手段にレ
コードを１件渡し、 前記ソートレコード入力処理は、前記データブロック作
成処理からレコードを一件ずつ受け取りながら、主記憶
装置内でソートしていき、ストリングと呼ぶ順序付けら
れたレコード列を前記ソートワークファイルへ格納して
いき、 前記データブロック作成処理は前記ソートレコード入力
処理により制御を戻されると、前記ファイル作成要求プ
ログラムへレコードを一件出力した旨の通知をし、前記
ファイル作成要求プログラムへ制御を戻し、 前記ファイル作成要求プログラムは、全てのレコードを
前記索引順編成ファイルに出力し終わると、前記副次索
引作成処理へ制御を渡し、前記副次索引作成処理は、前
記ファイル作成要求プログラムから制御を渡されると、
前記ソート処理手段の前記マージ処理を呼び出し、前記
マージ処理は、前記ソートワークファイル内のストリン
グをマージしていき、−回のマージで全てのストリング
を入力できるまでストリングの本数を減らすと前記ソー
トレコード出力処理に制御を移し、 前記ソートレコード出力処理は、前記ソートパラメータ
テーブル内に設定されている前記副次索引用のファイル
領域のサイズを参照し、前記ソート出力バッファを、前
記副次索引用のファイル領域のサイズを越えない範囲で
最大限の大きさで、主記憶装置内に確保した後、ストリ
ングを最終的に一本のストリングにまとめながら、出力
レコードを、前記ソートパラメータテーブルに設定され
ている前記副次索引用ファイル領域の先頭位置から前記
索引順編成ファイルへ、前記ソート出力バッファをバッ
ファとして用いながら出力していくことにより、前記副
次索引を直接前記索引順編成ファイル内に作成していき
、 ソート出力レコードが尽きると、その旨を前記副次索引
作成処理へ通知し、前記副次索引作成処理に制御を戻し 前記副次索引作成処理は出力レコードが尽きた旨を前記
ソートレコード出力処理から通知されると、ファイル作
成処理が終了した旨を前記ファイル作成要求プログラム
へ通知し、前記ファイル作成要求プログラムへ制御を戻
すことによりファイルを作成する。

（実施例） 次に本発明について、図面を参照して詳細に説明する。

第１図は、本発明の一実施例を示すブロック図である。

第１図において、１は索引順編成ファイルの作成を要求
するファイル作成要求プログラム、２は索引順編成ファ
イルの作成処理を行い、ファイル作成初期処理２１、デ
ータブロック作成処理２２、副次索引作成処理２３の３
つの部分からなるファイル作成処理手段、３はファイル
作成要求プログラム１が、−法案引キー、および副次索
引キーのレコード内位置、大きさ、その他ファイルを作
成するために必要な情報を設定し、ファイル作成処理手
段２にパラメータとして渡すためのファイル作成パラメ
ータテーブル、４はファイル作成要求プログラム１がフ
ァイル作成処理手段２へ論理レコードを渡すための主記
憶装置内のレコード受け渡し領域、５はファイル作成処
理手段２が作成するファイルで、複数個のデータブロッ
ク５１１゜５１２．５１３．−法案引５２、および副次
索引５３から構成される索引順編成ファイル、６はファ
イル作成処理手段２が索引順編成ファイル５の副次索引
５３を作成するために用い、ソート初期処理６１、ソー
トレコード入力処理６２、マージ処理６３、ソートレコ
ード出力処理６４の４つの部分からなるソート処理手段
、７はファイル作成処理手段２がソート処理手段６ヘパ
ラメータとして渡すためのソートパラメータテーブル、
８番よファイル作成処理手段２とソート処理手段６との
間でのソートレコードの受け渡しのために用いる主記憶
装置内のソートレコード受け渡し領域、９４よソート処
理手段６がワークファイルとして用ｔするソートワーク
ファイル、１０はソートレコード出力処理６４が出力バ
ッファとして用いる主記憶装置内のソート出力バッファ
である。

データブロックは、ブロック番号により一意に識別され
るもので、ファイル作成時には、一次索引の順序でブロ
ックの先頭からレコードが書き込まれ、レコードと、レ
コードポインタとの組から構成されている。

レコードポインタは、一次索引キーの順序でそのレコー
ドの直後のキー値を持つレコードが格納されているブロ
ック内位置が書かれており、ブロック内で最大のキーを
持つレコードのレコードポインタには最大キーレコード
であることを識別するための特別な値−１が設定されて
いるものとする。

一次索引５２は、一次索引キーによるアクセスを行うた
めのもので、ブロック番号と、そのブロック番号のデー
タブロック内の一次索引キーの値で最大のキーを持つレ
コードの次に位置するレコードの一次索引キーとの組か
ら構成されている。

副次索引５３は、副次索引キーによるアクセスを行うた
めのもので、副次索引キーと、そのキーを持つレコード
が格納されているデータブロックのブロック番号、ブロ
ック内位置との組から構成されている。

ファイル作成要求プログラム１は、索引順編成ファイル
を作成するにあたり、作成したいファイルの一次索引キ
ーのレコード内位置、サイズ、および副次索引キーのレ
コード内位置、サイズ、その他ファイル作成に必要なパ
ラメータ（レコード長等のレコード特性）をファイル作
成パラメータテーブル３へ設定し、ファイル作成処理手
段２のファイル作成初期処理２１へ制御を渡す。

第２図は、ファイル作成初期処理２１の処理手順を示す
流れ図である。

ファイル作成初期処理２１は、ファイル作成要求プログ
ラム１から制御を渡されると、まずステップ２０１で、
作成するファイルのファイル領域を、複数個のデータブ
ロック、−法案引用のファイル領域、副次索引用のファ
イル領域に分割し、データブロックに、１から順にブロ
ック番号を付し、ブロック番号によりデータプロ・ツク
を一意１こ識別できるようにする。

次にステップ２０２で、ファイル作成ノ々ラメータテー
プル３内に設定されている副次索引キーのサイズを取り
出し制御変数Ｓに設定する。

ステップ２０３では、ソートパラメータテーブル７に、
ソートキーのレコード内位置として０を、ソートキーサ
イズとしてＳをそれぞれ設定し、ステップ２０４で、そ
の他ソートを実行するのに必要なパラメータを、ファイ
ル作成ノくラメ−タテ−プル３の内容をもとにソートパ
ラメータテーブル７へ設定し、さらにステップ２０５に
おいて、ステップ２０１で確保した副次索引用のファイ
ル領域のファイル内先頭アドレス、サイズを、ソートパ
ラメータテーブル７へ設定する。

ソートパラメータテーブル７へのパラメータ設定が終わ
ると、ステップ２０６でソート処理手段６のソート初期
処理６１を呼び出しソート初期処理をさせる。

ソート初期処理６１は、ファイル作成初期処理２１から
制御を渡されると、ソートパラメータテーブル７内に設
定されているソートキーの情報をもとにキー比較命令の
作成その他ソート実行に必要な準備を行い、ファイル作
成初期処理２１に制御を戻す。

ファイル作成初期処理２１はソート初期処理６１から制
御を戻されると、ステップ２０７で、ファイル作成要求
プログラム１へ、ファイル作成の準備が完了した旨を通
知し、ファイル作成要求プログラム１へ制御を戻し処理
を終了する。

ファイル作成要求プログラム１は、ファイル作成初期処
理２１から制御を戻されると、作成するファイルへ出力
したいレコードを、一次索引キーの順に一件ずつレコー
ド受け渡し領域４へ転送し、データブロック作成処理２
２を呼び出すことによりファイルを作成していく。

第３図は、データブロック作成処理２２の処理手順を示
す流れ図である。

データブロック作成処理２２はファイル作成要求プログ
ラム１から制御を渡されると、まずステップ３０１にお
いて、ファイル作成要求プログラム１からレコードが渡
されたのは初めてであるか、２回目以降であるかを判定
し、レコードが初めて渡された場合には、ステップ３０
２でレコードを書き込むべきデータブロックのブロック
番号を示す制御変数Ｎの初期値として１を、ステップ３
０３で、レコードを書き込むべきブロック内位置を示す
制御変数ｄの初期値として０をそれぞれ設定しステップ
３０７へ移行する。

２回目以降のレコード受け渡しの場合には、ステップ３
０４で、１つ前に渡されたレコードの一次索引キーの値
と、レコード受け渡し領域４内にあるレコードの一次索
引キーの値とを、ファイル作成パラメータテーブル３内
に設定されている一次索引キーについての記述をもとに
して比較し、ステップ３０５で、レコード受け渡し領域
４内にあるレコードの一次索引キーの値が１つ前に渡さ
れたレコードの一次索引キーの値よりも大きいか否かを
判定し、レコード受け渡し領域４内にあるレコードの一
次索引キーの値が１つ前に渡されたレコードの一次索引
キーの値よりも大きくなければステップ３０６で、−法
案引キーの不正を検出した旨ファイル作成処理手段１へ
通知し、処理を終了し、ファイル作成処理手段１へ制御
を戻す。

レコード受け渡し領域４内にあるレコードの一次索引キ
ーの値が、１つ前に渡されたレコードの一次索引キーの
値よりも大きければ、ステップ３０７へ移行する。

ステップ３０７では、レコード受け渡し領域４内にある
レコードの、レコードポインタの長さも含めたレコード
長をＳに設定し、次のステップ３０８で、ｄ＋Ｓとデー
タブロックサイズとを比較することにより、レコードを
書きこめるスペースがデータブロック内に残っているか
否かを判断している。

ｄ＋Ｓがデータブロックサイズよりも大きい場合はレコ
ードを書きこめるスペースがデータブロック内に残って
いない場合であるので、ステップ３０９において、１つ
前に渡されたレコードのレコードポインタとして、ブロ
ックの最終レコードであることを示す−１に設定し、ス
テップ３１０では、レコード受け渡し領域４内にあるレ
コードの一次索引キーの値とブロック番号Ｎとの組を、
−法案引５２の１エントリとして出力し、ステップ３１
１でブロック番号Ｎに１を加え、ステップ３１２で、ブ
ロック内位置ｄを０にリセットし、ステップ３１３へ移
行する。

ｄ＋ｓがデータブロックサイズ以下である場合は、レコ
、−ド書き込めるスペースがデータブロック内にまだ残
っていることになるので、ステップ３１３で、ブロック
番号Ｎで示されるデータブロックのブロック内位置ｄに
レコード受け渡し領域４内にあるレコードを出力し、ス
テップ３１４では、ステップ３１３で出力したレコード
のレコードポインタとしてｄ＋Ｓを設定する 次にステップ３１５では、ステップ３１３で出力したレ
コードの副次索引キーの部分を取り出し、その後ろに付
加データとして、ステップ３１３で出力したレコードの
出力されたデータブロック番号Ｎと、出力されたブロッ
ク内位置ｄとを付けて新しいレコードを形成し、ソート
レコード受け渡し領域８へ転送する。

次にステップ３１６でｄをｄ＋Ｓに設定し、ステップ３
１７でソート処理手段６のソートレコード入力処理６２
を呼び出すことにより、副次索引作成用のソートレコー
ドを一件ソートに渡す。

ソートレコード入力処理６２は、データブロック作成処
理２２からレコードを１件ずつ受け取りながら、主記憶
装置内でソートしていき、ストリングと呼ぶ順序付けら
れたレコード列を、ソートワークファイル９へ格納して
いき、データブロック作成処理２２は、ソートレコード
入力処理６２から制御を戻されると、ステップ３１８で
、ファイル作成要求プログラム１へ、レコードを１件出
力し終わった旨を伝え、ファイル作成要求プログラム１
へ制御を戻し処理を終了する。

ファイル作成要求プログラム１は、データブロック作成
処理２２を介して全てのレコードを索引順編成ファイル
５に出力し終わると、最後に副次索引作成処理２３を呼
び出し副次索引５３を作成させる。

副次索引作成処理２３は、ファイル作成要求プログラム
１から制御を渡されると、ソート処理手段６の、マージ
処理６３を呼び出し、ソートワークファイル９内に蓄え
られているストリングのマージ処理を行わせる。

マージ処理６３は、ソートワークファイル９内に蓄えら
れているストリングをマージしていき、１回のマージで
全ストリングをマージできるまでストリングの本数を減
らし、ソートレコード出力処理６４へ制御を移す。

第４図は、ソートレコード出力処理６４の処理手順を示
す流れ図である。

ソートレコード出力処理６４は、まずステップ４０１で
、ソートパラメータテーブル７内に設定されている副次
索引用のファイル領域のファイル内先頭位置、サイズを
それぞれ、Ａ、　　Ｓに設定する。

次にステップ４０２で、ｎを１に設定し、ステップ４０
３において、大きさＳ　／　ｎで、ソート出力バッファ
１０を主記憶装置内に確保する。

次にステップ４０４で、ソート出力バッファの確保に成
功したか否か判断し、失敗であれば、ステップ４０５で
、ｎをｎ＋１に設定し、ステップ４０３に戻り再度ソー
ト出力バッファ１ｏの確保を試み、成功すれば、ステッ
プ４０６へ、移行する。

ステップ４０６では、出力すべきレコードが尽きている
か否か判断し、出力すべきレコードがまだある場合には
、ステップ４０７で、出力レコードを索引順編成ファイ
ル５内のファイル内位置Ａから始まる領域にソート出力
バッファ１ｏをバッファとして用いながら出力していき
ステップ４０６へ戻り、出力すべきレコードが尽きてい
れば、ステップ４０８でその旨副次索引作成処理２３へ
通知し処理を終了、副次索引作成処理２３へ制御を戻す
。

副次索引作成処理２３は、ソートレコード出力処理６４
から制御を戻されると、要求された索引順ファイル５の
作成処理が完了した旨、ファイル作成要求プログラム１
へ通知し、ファイル作成要求プログラム１へ制御を戻す
。

（発明の効果） 上述したように本発明は、副次索引付きの索引順編成フ
ァイルの作成処理において、データブロックにレコード
を書き込み、一次索引を作成していくのと並行して、書
き込んだレコードを、−時ファイルにためておくことな
く直接、しかも副次索引キーの部分のみ抽出して、ソー
ト処理にわたし、副次索引キーをソートキーとしてソー
トさせ、ソート出力レコードを直接ファイルに書き込ん
でいくことにより副次索引を作成していくようにするこ
とにより、ファイル作成処理の処理効率を高めることか
できる。本発明にはこのような効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例の構成を示すブロック図、第
２図は第１図実施例におけるファイル作成初期処理の処
理手順を示す流れ図、第３図は第１図実施例におけるデ
ータブロック作成処理の処理手順を示す流れ図、第４図
は第１図実施例におけるソートレコード出力処理の処理
手順を示す流れ図である。 １・・・ファイル作成要求プログラム、２・・・ファイ
ル作成処理手段、２１・・・ファイル作成初期処理、２
２・・・データブロック作成処理、２３・・・副次索引
作成処理、３・・・ファイル作成パラメータテーブル、
４・・・レコード受け渡し領域、５・・・索引順編成フ
ァイル、５１１，５１２，５１３・・・データブロック
、５２・・・一次索引、５３・・・副次索引、６・・・
ソート処理手段、６１・・・ソート初期処理、６２・・
・ソートレコード入力処理、６３・・・マージ処理、６
４・・・ソートレコード出力処理、７・・・ソートパラ
メータテーブル、８・・・ソートレコード受け渡し領域
、９・・・ソートワークファイル、１０・・・ソート出
力バッファ。

Claims (1)

1. 【特許請求の範囲】 レコード毎に一意に決まるキーを一次索引キーと定義し
   、必ずしもレコード毎に一意に決まるとは限らないキー
   を副次索引キーと定義し、前記一次索引キーの他に前記
   副次索引キーをも有するファイルを索引順編成ファイル
   と定義するとき、該索引順編成ファイルを作成する処理
   であって、前記索引順編成ファイルの作成を要求するフ
   ァイル作成要求プログラムと、 前記索引順編成ファイルの作成処理を行い、ファイル作
   成初期処理、データブロック作成処理および副次索引作
   成処理の３つの部分からなるファイル作成処理手段と、 前記ファイル作成要求プログラムが、一次索引キーおよ
   び副次索引キーのレコード内位置、大きさ、その他ファ
   イルを作成するために必要な情報を設定し、前記ファイ
   ル作成処理手段にパラメータとして渡すファイル作成パ
   ラメータテーブルと、前記ファイル作成要求プログラム
   が前記ファイル作成処理手段へ論理レコードを渡す主記
   憶装置内のレコード受け渡し領域と、 前記ファイル作成処理手段が作成するファイルであり、
   複数個のデータブロック、一次索引および副次索引から
   構成される索引順編成ファイルと、前記ファイル作成処
   理手段が前記索引順編成ファイルの副次索引を作成する
   ために用い、ソート初期処理、ソートレコード入力処理
   、マージ処理およびソートレコード出力処理の４つの部
   分からなるソート処理手段と、 前記ファイル作成処理手段がソートキーその他のソート
   パラメータを設定し、前記ソート処理手段へパラメータ
   として渡すソートパラメータテーブルと、 前記ファイル作成処理手段と前記ソート処理手段との間
   でのソートレコードの受け渡しのために用いる主記憶装
   置内のソートレコード受け渡し領域と、 前記ソート処理手段がワークファイルとして用いるソー
   トワークファイルと、 前記ソート処理手段の前記ソート出力処理が出力バッフ
   ァとして用いるソート出力バッファとを備えてなるファ
   イル作成方式。