机译:优化执行时间以检查XML文档的一致性
School of Information Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Tatsunokuchi, Nomi, 923-1292, Ishikawa, Japan;
XML technologies; copy rales; attribute grammars; semantics checking;
机译:使用XPath和结构检查来验证XML文档上的关键约束
机译:检查集成Web文档的内容一致性
机译:检查集成Web文档的内容一致性
机译:检查XML文档的一致性的增量评估方法
机译:基于增量约束检查的XML更新事务执行。
机译:临床指南获取和执行中的时间一致性检查:GLARE的方法
机译:XML文档的高效完整性检查
机译:正式指定程序的自动运行时一致性检查和调试。