時(shí)空數(shù)據(jù)庫研究.pdf

1、時(shí)空數(shù)據(jù)庫是涉及對(duì)象時(shí)間和空間特性的復(fù)雜系統(tǒng).該論文針對(duì)時(shí)空數(shù)據(jù)庫中的若干關(guān)鍵問題進(jìn)行了系統(tǒng)深入的研究.論文首先系統(tǒng)研究了時(shí)空對(duì)象的時(shí)空語義.時(shí)空語義是構(gòu)建時(shí)空數(shù)據(jù)模型乃至整個(gè)時(shí)空數(shù)據(jù)庫的基礎(chǔ).我們首先對(duì)時(shí)空變化進(jìn)行了系統(tǒng)分類,提出了一種完備的時(shí)空變化描述方法.進(jìn)而提出了一個(gè)時(shí)空語義模型.時(shí)空變化描述方法以對(duì)象標(biāo)識(shí)(OID)和描述子(Descriptors)為基礎(chǔ),通過對(duì)象級(jí)時(shí)空變化和屬性級(jí)時(shí)空變化來描述時(shí)空變化.其中對(duì)象級(jí)時(shí)空變化是顯

2、式的,而屬性級(jí)時(shí)空變化是隱式的.所提出的時(shí)空語義模型將時(shí)空變化作為時(shí)空對(duì)象的一個(gè)內(nèi)在特性,通過對(duì)象級(jí)變化圖和屬性級(jí)變化圖對(duì)時(shí)空對(duì)象和時(shí)空變化進(jìn)行概念建模.在時(shí)空語義研究的基礎(chǔ)上,我們提出了新的基于抽象數(shù)據(jù)類型和歷史拓?fù)涞慕y(tǒng)一時(shí)空數(shù)據(jù)模型——STORM.STORM基于對(duì)象關(guān)系數(shù)據(jù)模型,以時(shí)空關(guān)系和時(shí)空元組來表示時(shí)空對(duì)象,以擴(kuò)充的關(guān)系代數(shù)操作作為時(shí)空關(guān)系的查詢操作.為了支持基于STORM的時(shí)空數(shù)據(jù)庫查詢,論文設(shè)計(jì)了一種與SQL兼容的時(shí)空數(shù)據(jù)

3、庫語言——SQLST.SQLST提供了對(duì)STORM中的時(shí)空關(guān)系的定義和操縱能力.我們對(duì)SQLST的數(shù)據(jù)定義語言、數(shù)據(jù)操縱語言以及SQLST的關(guān)系完備性進(jìn)行了詳細(xì)論述.SQLST是基于STORM的時(shí)空數(shù)據(jù)庫查詢語言,但它可以作為SQL語言的時(shí)空擴(kuò)展參考.在STROM模型和SQLST語言的基礎(chǔ)上,我們討論了時(shí)空數(shù)據(jù)庫管理系統(tǒng)的實(shí)現(xiàn)方法,并在對(duì)象關(guān)系數(shù)據(jù)庫管理系統(tǒng)上進(jìn)行了實(shí)現(xiàn).為了論證STORM在實(shí)際中的應(yīng)用能力,論文對(duì)STORM在時(shí)空數(shù)據(jù)庫