xpath日志

XPath逻辑和XPathLog:一种逻辑编程风格的XML数据操作语言。我们将XPathLog定义为XPath的数据日志样式扩展。XPathLog为查询和操作XML提供了一种清晰的、声明性的语言,其透视图特别是在XML数据集成中。我们在形式语义中定义了wrt。一个基于边缘标记的图形模型,它覆盖了XML数据模型。给出了一种基于XML的完整数据描述语言&XPath。XPath逻辑用变量绑定扩展了XPath语言,并将其嵌入到一阶逻辑中。XPathLog是XPath逻辑的Horn片段,为查询和操作XML数据提供了一种数据日志样式的、基于规则的语言。XPath逻辑的模型论语义是XPathLog作为逻辑编程语言的基础,同时给出了一个等价的XPath逻辑答案集语义。与其他方法不同,XPath语法和语义还用于声明性规范如何更新数据库:当在规则头中使用时,XPath过滤器被解释为应该添加到数据库中的元素和属性的规范。


zbMATH中的参考文献(参考,1标准件)

显示结果1到7,共7个。
按年份排序(引用)

  1. Almendros Jiménez,J.M.;Caballero,R.;García-Ruiz,Y.;Sáenz-Pérez,F.:函数逻辑语言中的XPath查询处理(2012)IO端口
  2. Baggi,M.;Ballis,D.:Phil:XML文档近似过滤语言的懒惰实现(2008)IO端口
  3. May,Wolfgang;Behrends,Erik;Fritzen,Oliver:通过XLink集成和查询分布式XML数据(2008)IO端口
  4. May,Wolfgang:基于逻辑的XML数据集成:半物化方法(2005)IO端口
  5. 王国仁;张晓林:基于高级数据模型的声明式XML更新语言(2005)IO端口
  6. Wolfgang May:XPath逻辑和XPathLog:逻辑编程风格的XML数据操作语言(2004)
  7. Xpath和Xpath逻辑(Xpath-log2003)IO端口