瞥見(ちょっと覘いてみる) 2011/10/01 更新
例題データベースと例題Javaプログラムのダウンロードは，eBook目次から。
[2011/04/11] KVS向け論理モデリング 追加．
[2010/08/24] 第0章を大幅改訂．
ご意見，ご質問は，こちらまで。ただし，個別の回答は致しかねます。差し支えのない範囲で，FAQに掲載させていただきます。
いささか旧聞に属しますが，Microsoft TechDays 2010 テクニカルトラック T1-401 で述語抽出法が紹介されました．