xpath日志

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


ZBMaX中的参考文献(7篇)1标准件)

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

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