制約つきグラフ探索を実現する 異種データベース統合技術に関 する研究