文献

J-GLOBAL ID：202202277461711483   整理番号：22A2319044

マッチング結果の一時保管による非連結グラフ書き換えの最適化

Optimizing disconnected graph rewriting by using temporary storage for matching result

著者 (3件)： 今川連 (早稲田大) ,  山本直輝 (早稲田大) ,  上田和紀 (早稲田大)
資料名： 日本ソフトウェア科学会大会講演論文集(Web)  (Proceeding of the JSSST Annual Conference (Web))
巻： 39th  ページ： ROMBUNNO.34-L (WEB ONLY)  発行年： 2022年 
JST資料番号： U1746A  ISSN： 1349-3515  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ・プログラミング言語において,ネットワーク構造を抽象化したデータ構造であるグラフを扱えることは重要。
・特に,特に非連結グラフを対象としたパターンマッチングは,閉包の計算や,関係データベース,制約処理等に応用可能。
・同マッチングでは,連結グラフの場合と異なり,辺を辿って探索を行うことができないのでグラフを多重集合とみなして探索。
・ここでは,新たな要素を別の多重集合に一時的に保存することによって,以前に試行済みのマッチングの反復を避ける手法を提案。

シソーラス用語： *グラフ ,  *パターンマッチング ,  連結性 ,  情報検索 ,  集合 ,  項書換え系 ,  *制約プログラミング ,  アルゴリズム ,  操作的意味論 ,  関係データベース ,  データ構造 ,  多重集合
準シソーラス用語： パターン探索 ,  グラフ書換え

分類 (1件)： システムプログラミング一般  (JD03010Y)

タイトルに関連する用語 (5件)： マッチング ,  保管 ,  連結グラフ ,  書き換え ,  最適化