声明式编程中的软件开发研究-猫眼课题宝

声明式编程中的软件开发研究

批准号：

15017283

负责人：

佐藤健

金额：

$3.07万

依托单位：

National Institute of Informatics

依托单位国家：

日本

项目类别：

Grant-in-Aid for Scientific Research on Priority Areas

财政年份：

2003

资助国家：

日本

项目状态：

已结题

起止时间：

2003 至 --

来源：

https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15017283/

关键词：

ソフトウェア発展宣言的プログラミング極小変更極大無矛盾集合極小被覆集合極大正集合極小負集合

项目摘要

项目成果

佐藤健的其他基金

相似基金

相关文献

中文摘要

翻译

現在のように、ソフトウェアのバージョンアップが頻繁に生じる状況では、ソフトウェア変更管理(ソフトウェア発展)の技術は大変重要なものである。本研究では、宣言的プログラミングにおけるソフトウェア発展を考える。これは、論理型プログラミングや関数型プログラミングなどの宣言的なプログラミングが数学的な体系に基づいているため、ソフトウェア発展技術の構築のための理論が構築しやすいと考えたためである。本年度は、論理型言語での極小変更仕様の効率的な列挙アルゴリズムの提案を行い、その質問複雑度および空間複雑度に関して理論的考察を行った。具体的には、極大無矛盾集合の列挙を単調性を持つ集合の性質に関する極大集合の列挙に帰着することで、そのような列挙問題に関するアルゴリズムを用いるようにした。しかし、その問題に対して以前提案されていた手法\cite{Gunopulos97}では列挙に関して冗長な計算を含んでいた。この問題を解決するため、本研究では、極小被覆集合列挙の新しいアルゴリズムを用いた新しい手法を提案した。本研究の成果は以下である。1.極小更新仕様の計算と単調性を持つ集合の性質における極大正集合の計算との関係を明らかにした。2.冗長性のない極小被覆集合アルゴリズムを用いた極大正集合を計算するアルゴリズムを提案した。3.本アルゴリズムを理論的に解析し、極大正集合の集合族をbdpp,極小負集合の集合族をbdmpとしたときに、質問数がたかだか|bdmp|+|bdpp|×|Π|であり、空間複雑度は、たかだかbdpp全体の大きさであることを示した。

英文摘要

期刊论文(4)

专著(0)

科研奖励(0)

会议论文

Satoh, Ken, Uno, T.: "Enumerating Maximal Frequent Sets using Irredundant Dualization"Gunter Grieser, Akihiro Yarnamoto (eds.), Discovery Science 2003, LNAI. 2843. 256-268 (2003)

Satoh, Ken, Uno, T.：“使用无冗余对偶化枚举最大频繁集”Gunter Grieser、Akihiro Yarnamoto（编辑），Discovery Science 2003，LNAI。

DOI： --

发表时间：

期刊：

影响因子： --

作者：