计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2014年
1期
96-103
,共8页
值依赖%概念格%内涵缩减%数据库推理%推理依赖
值依賴%概唸格%內涵縮減%數據庫推理%推理依賴
치의뢰%개념격%내함축감%수거고추리%추리의뢰
value dependence%concept lattice%intent reduction%database inference%inference dependence
值依赖是数据库推理问题研究的一个新课题.首先介绍了形式背景和概念格,提出了值依赖的形式概念模型.将数据属性的安全敏感级别引入到值依赖研究中,提出推理依赖及a极大推理依赖概念,并建立了形式概念格的内涵缩减与数据库推理依赖之间的关系.进一步证明了由概念格的内涵缩减推导出数据库中完备的、无冗余的α极大推理依赖集.最后提出并实例验证了发现数据库中全部推理依赖集的算法.推理依赖是关系数据库中最重要的属性依赖关系之一,其研究对检测和消除数据库推理通道具有十分重要的意义.
值依賴是數據庫推理問題研究的一箇新課題.首先介紹瞭形式揹景和概唸格,提齣瞭值依賴的形式概唸模型.將數據屬性的安全敏感級彆引入到值依賴研究中,提齣推理依賴及a極大推理依賴概唸,併建立瞭形式概唸格的內涵縮減與數據庫推理依賴之間的關繫.進一步證明瞭由概唸格的內涵縮減推導齣數據庫中完備的、無冗餘的α極大推理依賴集.最後提齣併實例驗證瞭髮現數據庫中全部推理依賴集的算法.推理依賴是關繫數據庫中最重要的屬性依賴關繫之一,其研究對檢測和消除數據庫推理通道具有十分重要的意義.
치의뢰시수거고추리문제연구적일개신과제.수선개소료형식배경화개념격,제출료치의뢰적형식개념모형.장수거속성적안전민감급별인입도치의뢰연구중,제출추리의뢰급a겁대추리의뢰개념,병건립료형식개념격적내함축감여수거고추리의뢰지간적관계.진일보증명료유개념격적내함축감추도출수거고중완비적、무용여적α겁대추리의뢰집.최후제출병실례험증료발현수거고중전부추리의뢰집적산법.추리의뢰시관계수거고중최중요적속성의뢰관계지일,기연구대검측화소제수거고추리통도구유십분중요적의의.
