XML-Data模式的一致性问题

来源 :新疆大学学报:自然科学版 | 被引量 : 0次 | 上传用户:intaaag
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
运用键、外键和XML-Data模式篱笆等概念研究了XML-Data模式的一致性问题.XML-Data模式的一致性问题就是判断是否存在一个既满足XML-Data模式又满足完整性约束的XML-Data模式篱笆.提出了XML-Data模式及XML-Data模式篱笆的概念.给出了如何从现有的XML-Data模式构造XML-Data模式篱笆的算法并且证明了XML-Data模式的一致性问题是不可判定的.
其他文献
论述了采用参数化思想和图形建库工具Spreadsheet电子表格以及UG软件面向用户的二次开发工具建立了部分标准件库,该方法的研究将有利于设计人员对标准件的设计、修改、查询和
对密闭电石炉内板结料试样抗压强度和显气孔率进行测定,并结合XRD、热力学模拟计算、SEM及EDS分析,研究其生成反应及板结机理。研究表明:板结料主要组成物质是氧化镁和固定C,质量
乘着国家在中西部地区“实施农村中小学现代远程教育工程”的东风,洛阳市也从去年年初开始在全市农村中小学实施现代远程教育工程。远程教育工程的实施,激发了农村教育教学的活力,开创了农村教育教学的新局面。农村中小学教师是教学活动的实践者,承担着振兴农村教育的神圣职责,其自身素质的高低、能力的强弱,直接决定着远程教育实施的质量和效果。当前,洛阳市农村中小学教师的远程教育能力如何?能否担当起教育信息化建设之重