DSAS開発者の部屋

detsのデータベースを作る

Erlangを起動してdetsファイルを作ります。

~/work$erl
Erlang (BEAM) emulator version 5.5.5 [source] [async-threads:0] [kernel-poll:false]

Eshell V5.5.5  (abort with ^G)
1> {ok,Ref}=dets:open_file(dets1.file,[]).
{ok,'dets1.file'}

ファイルができました。

~/work$ls -l
total 8
-rw-r--r-- 1 klab klab 5432 Sep 21 15:28 dets1.file
~/work$

open_file()の引数(dets1.file)はatomですが、第2引数で指定するリストで指 定しなければatomがそのままファイル名になります。 大文字で始まるファイル名の場合は、'　'で囲めばatomとして扱ってくれます。 ファイル名をatomとは別に指定したいときは[{file,"FILENAME"}]のようなオ プションを指定します。

成功すると{ok,Ref}のタプルを返します。Refにはatomが入ります。オープン 後detsを操作するのはRefでもatomのdets1.fileでも同じです。 作成されたdetsの情報はinfo()で調べられます。

2> Ref.
'dets1.file'

3> dets:info(dets1.file).
[{type,set},{keypos,1},{size,0},{file_size,5752},{filename,"dets1.file"}]

テスト中に文の間違いなどでエラーを起こすとatomが無効にされるので、時々 info()でチェックしたほうがいいでしょう。 クローズします。

5> dets:close(Ref).
ok

データを挿入します。
（何度かErlangを起動し直したり、文書の順番を整理しているのでプロンプト の番号は順番になっていません。）

2> dets:insert(dets1.file,{neko,{"TAMA","4"}}).
ok
3> dets:insert(dets1.file,{inu,{"TARO","5"}}).
ok

デフォルトは、detsやetsに書き込むデータは、最初の要素をキーにした２要 素のタプルになります。
この場合、'3>'だとキーはinu　でデータは {"TARO","5"}です。

キーで検索する

次は、キーを使った簡単な検索をします。

140> dets:lookup(dets1.file,neko).
[{neko,{"TAMA","4"}}]
141> dets:lookup(dets1.file,nai).
[]

データがないと空リストを返します。
member()でレコードの有無の確認

142> dets:member(dets1.file,neko).
true
143> dets:member(dets1.file,nai).
false

キーはfirst()とnext()で取得できます。
（テスト中にデータを追加しています。）

145> dets:first(dets1.file).
rabit
146> dets:next(dets1.file,rabit).
neko

最後にnext()を実行すると'$end_of_table'が返ります。
存在しないキーをnext()に渡すと、errorでは無く不定のキーが返るようです。???

147> dets:next(dets1.file,1).
'$end_of_table'
148> dets:next(dets1.file,nai).
rat

match()でdetsを検索する

まず、match()を使ってみます。 マニュアルはここ。

35> dets:match(dets1.file,'$1').
[[{neko,{"TAMA","4"}}],
 [{inu,{"TARO","5"}}],
 [{rat,{"happy","6"}}],
 [{rabit,{"pyon","7"}}]]

matchの第２引数はパターンを記述しますが、'$N'はパターン変数で'$1'を指 定すると全部のレコートが返ってきます。 matchはetsでも使えます。次のmatch()では"T"で始まる内容の２番目の内容 がリストで返されています。

47> dets:match(dets1.file,{'_',{"T"++'_','$1'}}).
[["4"],["5"]]

次の例では、48>ではキーがratのデータのタプルを返し、 49＞ではパターン変数で指定した位置の文字がリストで返されています。

48> dets:match(dets1.file,{rat,'$1'}).
[[{"happy","6"}]]
49> dets:match(dets1.file,{rat,{'$1','$2'}}).
[["happy","6"]]

パターン変数の番号が飛んでいる場合は、結果も飛ばされるようです。

50> dets:match(dets1.file,{'$3',{"T"++'_','$1'}}).
[["4",neko],["5",inu]]

select()でdetsを検索する。

次に、select()
35> dets:match(dets1.file,'$1'). と同じselect()は

66> dets:select(dets1.file,[{'$1',[],['$$']}]).
[[{neko,{"TAMA","4"}}],
 [{inu,{"TARO","5"}}],
 [{rat,{"happy","6"}}],
 [{rabit,{"pyon","7"}}]]

第2引数はマッチパターンから、パターンを含むマッチスペックになります。
マニュアルより

    * MatchSpec = [MatchFunction]
    * MatchFunction = {MatchHead, [Guard], [Result]}
    * MatchHead = "Pattern as in ets:match"
    * Guard = {"Guardtest name", ...}
    * Result = "Term construct"

マッチスファンクションの第3要素のリザルトを'$$'から'$_'に変えると結果 のリストのリストだったのが結果のリストになりました。

67> dets:select(dets1.file,[{'$1',[],['$_']}]).
[{neko,{"TAMA","4"}},
 {inu,{"TARO","5"}},
 {rat,{"happy","6"}},
 {rabit,{"pyon","7"}}]

テストのためキーが数字のレコードを追加します。

102> dets:insert(dets1.file,{1,{by2,2}}).
ok

ガードのテストです。キーがatomのものを選択します。

103> dets:select(dets1.file,[{{'$1','$2'},[{'is_atom','$1'}],['$$']}]).
[[neko,{"TAMA","4"}],
 [inu,{"TARO","5"}],
 [rat,{"happy","6"}],
 [rabit,{"pyon","7"}]]

104> dets:select(dets1.file,[{{'$1','$2'},[{'is_number','$1'}],['$$']}]).
[[1,{by2,2}]]

105> dets:select(dets1.file,[{{'$1','$2'},[{'>','$1',0}],['$$']}]).
[[neko,{"TAMA","4"}],
 [inu,{"TARO","5"}],
 [rat,{"happy","6"}],
 [rabit,{"pyon","7"}],
 [1,{by2,2}]]

106> dets:select(dets1.file,[{{'$1','$2'},[{'>','$1',1}],['$$']}]).
[[neko,{"TAMA","4"}],
 [inu,{"TARO","5"}],
 [rat,{"happy","6"}],
 [rabit,{"pyon","7"}]]

上記のリザルトを変えてみます。['$$']から['$1']に変更しました。$1はキー がある位置なのでキーのリストが返ってきます。

107> dets:select(dets1.file,[{{'$1','$2'},[{'>','$1',1}],['$1']}]).
[neko,inu,rat,rabit]

123> dets:select(dets1.file,[{{'$1','$2'},[{'>','$1',1}],['$2']}]).
[{"TAMA","4"},{"TARO","5"},{"happy","6"},{"pyon","7"}]

124> dets:select(dets1.file,[{{'$1','$2'},[{'>','$1',1}],[{{'$1','$2'}}]}]).
[{neko,{"TAMA","4"}},
 {inu,{"TARO","5"}},
 {rat,{"happy","6"}},
 {rabit,{"pyon","7"}}]

135> dets:select(dets1.file,[{{'$1','$2'},[{'>','$1',1}],[{{'$1',"YOKUWAKARANAI"}}]}]).
[{neko,"YOKUWAKARANAI"},
 {inu,"YOKUWAKARANAI"},
 {rat,"YOKUWAKARANAI"},
 {rabit,"YOKUWAKARANAI"}]

マッチスペックを関数から作る

selectで使用したマッチスペック（MatchSpec)ですが、これを関数から変換す る関数(ets:fun2ms/1)があります. 上の例でマッチスペック
[{{'$1','$2'},[{'>','$1',1}],[{{'$1','$2'}}]}]
はets:fun2ms()を使って、関数を変換することで作ることができます。

1> dets:open_file(dets1.file,[]).
{ok,'dets1.file'}
2> ets:fun2ms(fun({N1,N2})when N1 > 1 -> {N1,N2} end).
[{{'$1','$2'},[{'>','$1',1}],[{{'$1','$2'}}]}]

作成したマッチスペックを使ってselectを実行しました。

3> MS=ets:fun2ms(fun({N1,N2})when N1 > 1 -> {N1,N2} end).
[{{'$1','$2'},[{'>','$1',1}],[{{'$1','$2'}}]}]
4> dets:select(dets1.file,MS).
[{neko,{"TAMA","4"}},
 {inu,{"TARO","5"}},
 {rat,{"happy","6"}},
 {rabit,{"pyon","7"}}]

ガードで使える関数は決まっていて、http://www.erlang.org/doc/man/erlang.html で書かれているBIFs（built-in functions）の中の"Allowed in guard tests" と書かれている関数だけになります。http://d.hatena.ne.jp/n_shuyo/20070510/erlang にまとめてくれていました。

以下はis_number とis_atomを使った例です。

14> MS1 = ets:fun2ms(fun({N1,N2})when is_number(N1)-> {N1,N2} end).
[{{'$1','$2'},[{is_number,'$1'}],[{{'$1','$2'}}]}]
19> dets:select(dets1.file,MS1).
[{1,{by2,2}}]

50> MS2=ets:fun2ms(fun({N1,{N2,N3}}) when is_atom(N1) -> {N1,N2} end).
[{{'$1',{'$2','$3'}},[{is_atom,'$1'}],[{{'$1','$2'}}]}]
53> dets:select(dets1.file,MS2).
[{neko,"TAMA"},{inu,"TARO"},{rat,"happy"},{rabit,"pyon"}]

次回に続きます。