第条

XML的本质

作者:

杰罗姆西蒙,

菲利普瓦德勒作者信息和声明

POPL'03：第30届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录

页1-13

https://doi.org/10.1145/604131.604132

出版:2003年1月15日出版历史

获取访问权限

摘要

World-Wide Web Consortium（W3C）提倡XML和相关标准，包括XML模式、XQuery和XPath。本文描述了XML模式的形式化。基于这些思想的形式化语义是官方XQuery和XPath规范的一部分，这是标准机构首次使用形式化方法。XMLSchema具有命名类型和结构类型，结构基于树语法。虽然在其他工作中已经研究了结构类型和匹配（特别是XDouce、Relax NG和以前的XML Schema形式化），但这是研究命名类型和结构类型之间的关系以及匹配和验证之间的关系的第一项工作。

工具书类

[1]

马丁·阿巴迪（Martin Abadi）和卢卡·卡德利（Luca Cardelli）《物体理论》（A Theory of Objects Springer-Verlag），1996年。

数字图书馆

[2]

阿尔弗雷德·阿霍（Alfred Aho）、约翰·霍普克罗夫特（John Hopcroft）、杰弗里·厄尔曼（Jeffrey Ullman）。计算机算法的设计与分析。艾迪森·卫斯理，1974年。

数字图书馆

[3]

Tim Bray、Jean Paoli和C.M.Sperberg-McQueen。可扩展标记语言（XML）1.0。W3C建议书，1998年2月。

[4]

艾伦·布朗、马修·福克斯、乔纳森·罗比和菲利普·沃德勒。MSL—W3C XML模式的模型。《国际万维网会议记录》，第191-200页，中国香港，2001年。

数字图书馆

[5]

詹姆斯·克拉克。XSL转换（XSLT）1.0版。W3C建议书，1999年11月。

[6]

XML的树正则表达式。泰国开源软件中心，2001年2月。

[7]

詹姆斯·克拉克（James Clarke）和村田真本（Murata Makoto）。RELAX NG规范。绿洲，2001年12月。

[8]

苏菲·克鲁特、克劳德·德洛贝尔、杰尔·西蒙和卡塔兹娜·斯玛加。您的中介需要数据转换！1998年6月，华盛顿州西雅图，ACM数据管理会议（SIGMOD），第177-188页。

数字图书馆

[9]

H.Comon、M.Dauchet、R.Gilleron、F.Jacquemard、D.Lugiez、S.Tison和M.Tommasi。树自动机技术和应用，1997年。

[10]

卡尔·冈特和约翰·米切尔。面向对象编程的理论方面。麻省理工学院出版社，1994年。

数字图书馆

[11]

霍索亚（Haruo Hosoya）和本杰明·皮尔斯（Benjamin C.Pierce）。XDouce：一种XML处理语言。2000年5月在得克萨斯州达拉斯举行的网络和数据库国际研讨会（WebDB’2000）上。

数字图书馆

[12]

迈克尔·凯。XSL转换（XSLT）2.0版。W3C工作草案，2002年4月。

[13]

村田诚。文档描述和处理语言——XML的常规语言描述（relax），2000年10月。

[14]

弗兰克·内文。XML研究人员的自动机理论。phSIGMOD记录31（3），2002年9月。

数字图书馆

[15]

彼得·诺伊曼。使用计算机给公众带来的风险。phACM软件工程注释10（3），1985年7月。

[16]

Yannis Papakonstantinou和Victor Vianu。XML数据视图的DTD推断。2000年5月，得克萨斯州达拉斯，ACM数据库系统原理研讨会论文集。

数字图书馆

[17]

本杰明·皮尔斯。类型和编程语言。麻省理工学院出版社，2002年。

数字图书馆

[18]

约翰·C·雷诺兹。第五届ACM编程语言原理研讨会干扰的句法控制，亚利桑那州图森，1978年1月，第36-49页。

数字图书馆

[19]

约翰·雷诺兹（John C.Reynolds）。Algol的精髓。J.W.de Bakker和J.C.van Vliet，《算法语言》编辑。荷兰北部，阿姆斯特丹，1981年，第345-372页。

[20]

Grzegorz Rozenberg和Arto Salomaa，编辑。形式语言手册。Springer-Verlag，1997年。

数字图书馆

[21]

杰罗姆·西蒙和菲利普·沃德勒。XML的本质（初步版本）{邀请演讲}。2002年9月，在日本爱津举行的函数和逻辑编程国际研讨会上。Springer-Verlag，2002年。

数字图书馆

[22]

亨利·汤普森（Henri S.Thompson）、大卫·比奇（David Beech）、默里·马洛尼（Murray Maloney）和N.门德尔松（N.Mendelsohn）。XML模式第1部分：结构。W3C建议书，2001年5月。

[23]

XPath 2.0。W3C工作草案，2002年11月。

[24]

XQuery 1.0：一种XML查询语言。W3C工作草案，2002年11月。

[25]

XQuery 1.0形式语义。W3C工作草案，2002年11月。

[26]

XQuery形式语义FS Issue-0141——FS Issue-0151。

引用人

克莱顿W克里希那穆尔蒂S(2024)文档的核心演算：或者，Lambda：终极文档美国计算机学会程序设计语言会议录10.1145/36328658：POPL(667-694)在线发布日期：2024年1月5日
https://dl.acm.org/doi/10.1145/3632865
蒂亚加拉扬M拉文德拉C(2017)物联网服务框架2017年国际计算、通信和自动化会议（ICCCA）10.1109/CAA.2017.8230016(1282-1286)在线发布日期：2017年5月
https://doi.org/10.1109/CCAA.2017.8230016
Shinnar A公司西蒙·J(2016)商业类型的品牌战略改变世界的成功列表10.1007/978-3-319-30936-1_20(367-387)在线发布日期：2016年3月25日
https://doi.org/10.1007/978-3-319-30936-1_20
显示更多引用者

索引术语

XML的本质
1. 计算理论
  1. 语义和推理
    1. 程序语义

建议

XML的本质

World-Wide Web Consortium（W3C）提倡XML和相关标准，包括XML模式、XQuery和XPath。本文描述了XML模式的形式化。基于这些思想的形式语义是官方XQuery和XPath的一部分。。。
有效地重新验证XML文档

我们研究了模式重新验证问题，其中已知符合一个模式的XML数据必须相对于另一个模式进行验证。这种重新验证算法在模式演化、查询处理、基于XML的编程等方面都有应用。。。
SPath：XML模式的路径语言
WWW’07：第16届万维网国际会议记录

XML越来越多地被用作类型化数据格式，因此访问类型系统变得更加重要；通常这是一个XML模式。这个XML架构路径语言（SPath）本文提供了对XML的访问。。。

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

POPL'03：第30届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录

2003年1月

308页

国际标准图书编号：1581136285

内政部：10.1145/604131

总主席：
亚历克斯·艾肯
加利福尼亚大学伯克利分校
,
项目主席：
格雷格·莫里塞特
康奈尔大学

ACM SIGPLAN通知第38卷第1期
2003年1月
298页
国际标准编号：0362-1340
EISSN公司：1558-1160
内政部：10.1145/640128
期刊目录

版权所有©2003 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布、在服务器上发布或重新分发到列表，需要事先获得特定许可和/或收取费用。从请求权限[电子邮件保护]

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2003年1月15日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

第条

会议

POPL03系列

赞助商：

POPL03:POPL'03——第30届ACM SIGPLAN-SIGACT编程语言原理年会

2003年1月15日至17日

路易斯安那州、新奥尔良、美国

接受率

POPL'03论文接受率126份提交中的24份，19%；

4130份提交文件的总体接受率为824份，20%

即将召开的会议

流行乐'25

赞助商：
信号平面图

第52届ACM SIGPLAN编程语言原理年会

2025年1月19日至25日

丹佛，有限公司，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

51
引文总数
查看引文
1,767
总下载次数

下载次数（过去12个月）35
下载次数（最近6周）8

反映截至2024年9月22日的下载量

其他指标

查看作者指标

引文

引用人

克莱顿WKrishnamurthi S公司(2024)文档的核心演算：或者，Lambda：终极文档美国计算机学会程序设计语言会议录10.1145/36328658：POPL(667-694)在线发布日期：2024年1月5日
https://dl.acm.org/doi/10.1145/3632865
蒂亚加拉詹M拉文德拉C(2017)物联网服务框架2017年国际计算、通信和自动化会议（ICCCA）10.1109/CAA.2017.8230016(1282-1286)在线发布日期：2017年5月
https://doi.org/10.109/CCAA.2017.8230016
Shinnar A公司西蒙·J(2016)商业类型的品牌战略改变世界的成功列表10.1007/978-3-319-30936-1_20(367-387)在线发布日期：2016年3月25日
https://doi.org/10.1007/978-3-319-30936-1_20
蒂亚加拉扬M拉文德拉C(2015)使用android移动应用程序在物联网中集成物理世界2015年绿色计算和物联网国际会议记录10.1109/ICGCIoT.2015.7380570(790-795)在线发布日期：2015年10月8日
https://dl.acm.org/doi/10.109/ICGCIoT.2015.7380570
古铁雷斯-费尔南德斯A(2014)使用公共网络摄像头图像提高照明智能电网的能效工作间日志10.15592/工作室.2014.00051:2在线发布日期：2014年7月1日
https://doi.org/10.15592/workrooms.2014.0005
拉梅尔R北京E(2013)了解隐私政策经验软件工程2007年10月10日/10664-012-9204-118:2(310-374)在线发布日期：2013年4月1日
https://dl.acm.org/doi/10.1007/s10664-012-9204-1
鲁科拉宁T库特沃宁L(2012)开放服务生态系统特征管理框架面向服务系统和非功能特性研究手册10.4018/978-1-61350-432-1.ch021(491-523)网上发布日期：2012年
https://doi.org/10.4018/978-1-61350-432-1.ch021
珊·Y(2012)具有类和类型特征的树域及其在XML文档中的应用2012年国际系统与信息学会议（ICSAI2012）10.1109/ICSAI.2012.6223227(1101-1105)在线发布日期：2012年5月
https://doi.org/10.109/ICSAI.2012.6223227
科拉佐D萨尔蒂亚尼C施耐德-坎普P哈纳斯M(2011)XQuery类型推理的精度和复杂性第13届ACM SIGPLAN国际声明式编程原则与实践研讨会会议记录10.1145/2003476.2003490(89-100)在线发布日期：2011年7月20日
https://dl.acm.org/doi/10.1145/2003476.2003490
刘德Zic J公司(2011)云#2011年IEEE第四届云计算国际会议记录10.1109/云2011.18(533-540)在线发布日期：2011年7月4日
https://dl.acm.org/doi/10.1109/CLOUD.2011.18
显示更多引用者

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子