- 1
- 2
- 3
- 4
- 5
元数据存储库系统中违背良格式约束潜在操作的推理
资料介绍
存储库系统的元数据组织方式呈现出分层、多级并且动态变化的复杂结构;存储库系统标准对确保良格式约束规定得并不充分,上述2个原因使得确保基于元对象设施(meta object facility,MOF)建立的元数据存储库系统的状态不违背良格式约束成为一个令人棘手的问题.提出了一种能够自动推断可能违背良格式约束的潜在操作的方法.首先定义了一组比MOF的构造活动更精确和灵活的MOF内部活动并建立了二者之间的对应关系;接着研究了如何推断可能违背约束条件的内部活动;最后通过比对与这些内部活动相对应的构造活动是否在操作规范中出现,研究了如何推断违背约束条件的潜在操作,该方法可以用于约束检测领域.由于可以剔除许多无关的检测,该方法可以有效地提高良格式约束检测的效率.此外该方法对约束设计领域也有一定的参考价值.
部分文件列表
| 文件名 | 大小 |
| 元数据存储库系统中违背良格式约束潜在操作的推理.pdf | 2M |
最新上传
- 打赏
- 30日榜单
-
21ic小能手 打赏5.00元 1天前
-
21ic小能手 打赏5.00元 1天前
-
21ic小能手 打赏5.00元 1天前
-
21ic小能手 打赏5.00元 1天前
-
21ic小能手 打赏5.00元 1天前
-
xlhtracy 打赏10.00元 3天前
-
xlhtracy 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
xlhtracy 打赏5.00元 3天前
-
czmhcy 打赏1.00元 3天前
资料：bitboy
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏20.00元 3天前
资料：STM32控制小米电机
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏310.00元 3天前
用户：zhengdai
-
21ic下载 打赏310.00元 3天前
用户：liqiang9090
-
21ic下载 打赏260.00元 3天前
用户：kk1957135547
-
21ic下载 打赏110.00元 3天前
用户：铁蛋锅
-
21ic下载 打赏130.00元 3天前
用户：xzxbybd
-
21ic下载 打赏70.00元 3天前
用户：jh03551
-
21ic下载 打赏50.00元 3天前
用户：sun2152
-
21ic下载 打赏40.00元 3天前
用户：WK520077778
-
21ic下载 打赏40.00元 3天前
用户：xuzhen1
-
21ic下载 打赏40.00元 3天前
用户：w178191520
-
21ic下载 打赏40.00元 3天前
用户：w993263495
-
21ic下载 打赏30.00元 3天前
用户：w1966891335
-
21ic下载 打赏20.00元 3天前
用户：不觉明了
-
21ic下载 打赏10.00元 3天前
用户：cooldog123pp
-
21ic下载 打赏5.00元 3天前
用户：liming238
-
21ic下载 打赏10.00元 3天前
用户：ax918
-
21ic下载 打赏5.00元 3天前
用户：farsy
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
资料：stm32f4 经典例程
-
sraay 打赏1.00元 3天前
-
21ic小能手 打赏5.00元 3天前
资料：零功耗通信白皮书
-
21ic小能手 打赏5.00元 3天前
全部评论(0)