计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2007年
10期
1765-1773
,共9页
蒋运承%汤庸%王驹%冀高峰
蔣運承%湯庸%王駒%冀高峰
장운승%탕용%왕구%기고봉
描述逻辑%时序描述逻辑%ER模型%时序ER模型%属性依赖%时序数据库
描述邏輯%時序描述邏輯%ER模型%時序ER模型%屬性依賴%時序數據庫
묘술라집%시서묘술라집%ER모형%시서ER모형%속성의뢰%시서수거고
分析了描述逻辑在数据库中的研究现状和存在的问题,特别是描述逻辑与时序ER模型的关系,在Artale的基础上提出了一种形式化带属性依赖时序ER模型εRVTAD.针对带属性依赖时序ER模型εRVTAD的需求和特点,提出了一种新的描述逻辑,即时序描述逻辑ALCQI(D)US.给出了ALCQI(D)US的语法和语义,提出了基于ALCQI(D)US的带属性依赖时序ER模型,即给出了如何将带属性依赖时序ER模型εRVTAD转化为ALCQI(D)US知识库,以及利用ALCQI(D)US的推理机制给出了带属性依赖时序ER模型εRVTAD的可满足性、冗余性、包含关系和蕴含关系等自动推理问题,证明了这些推理问题的正确性.
分析瞭描述邏輯在數據庫中的研究現狀和存在的問題,特彆是描述邏輯與時序ER模型的關繫,在Artale的基礎上提齣瞭一種形式化帶屬性依賴時序ER模型εRVTAD.針對帶屬性依賴時序ER模型εRVTAD的需求和特點,提齣瞭一種新的描述邏輯,即時序描述邏輯ALCQI(D)US.給齣瞭ALCQI(D)US的語法和語義,提齣瞭基于ALCQI(D)US的帶屬性依賴時序ER模型,即給齣瞭如何將帶屬性依賴時序ER模型εRVTAD轉化為ALCQI(D)US知識庫,以及利用ALCQI(D)US的推理機製給齣瞭帶屬性依賴時序ER模型εRVTAD的可滿足性、冗餘性、包含關繫和蘊含關繫等自動推理問題,證明瞭這些推理問題的正確性.
분석료묘술라집재수거고중적연구현상화존재적문제,특별시묘술라집여시서ER모형적관계,재Artale적기출상제출료일충형식화대속성의뢰시서ER모형εRVTAD.침대대속성의뢰시서ER모형εRVTAD적수구화특점,제출료일충신적묘술라집,즉시서묘술라집ALCQI(D)US.급출료ALCQI(D)US적어법화어의,제출료기우ALCQI(D)US적대속성의뢰시서ER모형,즉급출료여하장대속성의뢰시서ER모형εRVTAD전화위ALCQI(D)US지식고,이급이용ALCQI(D)US적추리궤제급출료대속성의뢰시서ER모형εRVTAD적가만족성、용여성、포함관계화온함관계등자동추리문제,증명료저사추리문제적정학성.