パターンマッチング向けデータベースシステムの開発