@techreport{oai:ipsj.ixsq.nii.ac.jp:00214560,
 author = {小島, 和之 and 関, 浩之 and Kazuyuki, Kojima and Hiroyuki, Seki},
 issue = {3},
 month = {Dec},
 note = {グラフの木分解は，グラフデータへの問合せ処理に対する有効なアプローチであるが，木分解自体に大きな計算量を要することが多い．筆者らはこれまで木分解結果を圧縮し直接問合せを行う手法を提案した．しかしこの手法は個々の問題ごとに圧縮データを前提としてアルゴリズムを記述しなければならないという問題があった．そこで本研究では，問合せ処理に解集合プログラミングを利用し，圧縮データ構造を意識せずに記述したアルゴリズムを，圧縮データを操作するプログラムに変換する手法を提案した．さらに提案手法に基づく問合せ実行ツールを Clingo と C++ によって実装した．本稿では提案手法を説明した後，最大独立集合問題，3 彩色問題に対する問合せアルゴリズムを解集合プログラミングで記述した実験結果を示す．, Tree decomposition of a graph is an effective approach to solving problems for large graphs while the decomposition itself needs much time in general. In the previous work, we proposed a method of compressing a decomposed tree and directly manipulating the compressed data. However, a query must be manually written assuming a compressed data. In this paper, we propose a query processing method based on answer set programming. A user can write a query in a declarative way without assuming a compressed data and the query can be translated into a program that directly manipulates a compressed data. The paper shows the experimental results conducted in our  prototype system implemented by Clingo and C++.},
 title = {木分解の圧縮および解集合プログラミングによる問合せ},
 year = {2021}
}