ISSN 1000-1239 CN 11-1777/TP
元数据存储库系统中违背良格式约束潜在操作的推理
赵晓非,高阳,史颖欢,史忠植
Reasoning on Constraints for Incoherent Operations in Metadata Repository Systems
Zhao Xiaofei, Gao Yang, Shi Yinghuan, Shi Zhongzhi
计算机研究与发展 . 2016, (5): 1095 -1105 .  DOI: 10.7544/issn1000-1239.2016.20148461