|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/5031
|
| タイトル: | A linear time algorithm for monadic querying of indefinite data over linearly ordered domains |
| 著者: | Ogawa, Mizuhito |
| キーワード: | Well-quasi-ordering
Higman’s lemma
Indefinite data
Query answering
linear-time algorithm |
| 発行日: | 2003-11-01 |
| 出版者: | Elsevier |
| 誌名: | Information and Computation |
| 巻: | 186 |
| 号: | 2 |
| 開始ページ: | 236 |
| 終了ページ: | 259 |
| DOI: | 10.1016/S0890-5401(03)00142-1 |
| 抄録: | This paper demonstrates the generation of a linear-time query-answering algorithm based on the constructive proof of Higman’s lemma by Murthy and Russell (A constructive proof of Higman’s lemma, 5th IEEE Symposium on Logic in Computer Science, 1990). The target problem is linear-time evaluation of a fixed disjunctive monadic query on an indefinite database over linearly ordered domains, first posed by van der Meyden (The complexity of querying indefinite information about linearly ordered domains, in 11th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992). Van der Meyden showed the existence of a linear-time algorithm, but an explicit construction has, until now, not been reported. |
| Rights: | NOTICE: This is the author's version of a work accepted for publication by Elsevier. Mizuhito Ogawa, Information and Computation, 186(2), 2003, 236-259, http://dx.doi.org/10.1016/S0890-5401(03)00142-1 |
| URI: | http://hdl.handle.net/10119/5031 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| C2251.pdf | | 235Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
