Enforcement of Constraints on XML Streams
对 XML 流实施约束
基本信息
- 批准号:EP/G004021/1
- 负责人:
- 金额:$ 68.02万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Research Grant
- 财政年份:2009
- 资助国家:英国
- 起止时间:2009 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The eXtensible Markup Language (XML) has become a ubiquitous format for exchanging data. Enterprise data from industries as diverse as finance, healthcare, and genomics are routinely exchanged as XML. Much of this XML-encoded information has to be queried on-the-fly as it arrives -- that is, as an XML stream. News and event information, for example, is available in the form of XML feeds; applications that react to these events must process the feeds in streaming fashion. Communication and messaging protocols also make use of XML, and the corresponding protocol handlers are thus also XML stream-processors.A crucial aspect of processing any form of data is validation: before data is made available to applications, it must be in a sane'' state. In the context of data being exchanged over networks data corruption is ubiquitous, because messages are received from untrusted or even unknown parties. Indeed, many or even most of the data being sent to web-accessible application servers may be from malicious or compromised hosts.The XML community has already developed standardized means for describing constraints on the structure of XML documents. On the one hand, there are schema-based constraints, such as Document Type Definitions (DTDs) giving limitations on the tags that can occur within a document. Qualifiers in the XML query language XPath provide a more flexible method for adding application-specific constraints. But how can a firewall enforce these constraints efficiently on large collections of parallel feeds? This is a critical issue, whether the XML streams represent signalling messages, event feeds, or web service calls. This project will study which constraints can and cannot be enforced efficiently, and will provide tools and technologies to effectively monitor XML streams for violation of both schema constraints and application-specific constraints.
可扩展标记语言(XML)已经成为用于交换数据的普遍存在的格式。来自金融、医疗保健和基因组等不同行业的企业数据通常以XML形式交换。许多XML编码的信息必须在到达时进行即时查询--也就是说,作为XML流。例如,新闻和事件信息以XML提要的形式提供;对这些事件做出反应的应用程序必须以流媒体方式处理提要。通信和消息传递协议也使用XML,因此相应的协议处理程序也是XML流处理器。处理任何形式的数据的一个关键方面是验证:在将数据提供给应用程序之前,它必须处于正常状态。在通过网络交换数据的上下文中,数据损坏是普遍存在的,因为消息是从不受信任的甚至未知的方接收的。实际上,发送到Web访问的应用服务器的许多甚至大部分数据可能来自恶意的或受损的主机。XML社区已经开发了描述XML文档结构约束的标准化方法。一方面,存在基于模式的约束,例如文档类型定义(DTD)对文档中可能出现的标记进行限制。XML查询语言XML中的验证符为添加应用程序特定的约束提供了一种更灵活的方法。但是,防火墙如何有效地对大量并行提要执行这些约束呢?这是一个关键问题,无论XML流是表示信令消息、事件提要还是Web服务调用。该项目将研究哪些约束可以有效地执行,哪些约束不能有效地执行,并将提供工具和技术来有效地监视XML流是否违反模式约束和特定于应用程序的约束。
项目成果
期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Limiting Until in Ordered Tree Query Languages
有序树查询语言中的限制直到
- DOI:10.1145/2856104
- 发表时间:2016
- 期刊:
- 影响因子:0.5
- 作者:Benedikt M
- 通讯作者:Benedikt M
Finite Open-World Query Answering with Number Restrictions
具有数量限制的有限开放世界查询应答
- DOI:10.1109/lics.2015.37
- 发表时间:2015
- 期刊:
- 影响因子:0
- 作者:Amarilli A
- 通讯作者:Amarilli A
Automata, Languages, and Programming
自动机、语言和编程
- DOI:10.1007/978-3-642-39212-2_44
- 发表时间:2013
- 期刊:
- 影响因子:0
- 作者:Christodoulou G
- 通讯作者:Christodoulou G
Automata, Languages and Programming
自动机、语言和编程
- DOI:10.1007/978-3-540-70583-3_9
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:Berger M
- 通讯作者:Berger M
Querying schemas with access restrictions
查询具有访问限制的模式
- DOI:10.14778/2180912.2180916
- 发表时间:2012
- 期刊:
- 影响因子:2.5
- 作者:Benedikt M
- 通讯作者:Benedikt M
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Michael Benedikt其他文献
Form Filling Based on Constraint Solving
基于约束求解的表单填写
- DOI:
- 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
B. Spencer;Michael Benedikt;P. Senellart - 通讯作者:
P. Senellart
Monadic Datalog, Tree Validity, and Limited Access Containment
单子数据记录、树有效性和有限访问遏制
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0.5
- 作者:
Michael Benedikt;P. Bourhis;G. Gottlob;P. Senellart - 通讯作者:
P. Senellart
XPath leashed
XPath 束缚
- DOI:
10.1145/1456650.1456653 - 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
Michael Benedikt;Christoph Koch - 通讯作者:
Christoph Koch
Verification of Two-Variable Logic Revisited
重新审视二变量逻辑的验证
- DOI:
- 发表时间:
2012 - 期刊:
- 影响因子:0
- 作者:
Michael Benedikt;R. Lenhardt;J. Worrell - 通讯作者:
J. Worrell
The FCC feasibility study
FCC 可行性研究
- DOI:
- 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Michael Benedikt;Frank Zimmermann - 通讯作者:
Frank Zimmermann
Michael Benedikt的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Michael Benedikt', 18)}}的其他基金
QUINTON -- QUerying and INTegrating Over Nested data
QUINTON——嵌套数据的查询和集成
- 批准号:
EP/T022124/1 - 财政年份:2021
- 资助金额:
$ 68.02万 - 项目类别:
Research Grant
PDQ: Proof-driven Query Planning
PDQ:证明驱动的查询规划
- 批准号:
EP/M005852/1 - 财政年份:2015
- 资助金额:
$ 68.02万 - 项目类别:
Fellowship
Query-driven Data Acquisition from Web-based Data Sources
从基于 Web 的数据源进行查询驱动的数据采集
- 批准号:
EP/H017690/1 - 财政年份:2010
- 资助金额:
$ 68.02万 - 项目类别:
Research Grant
Describing and Perceiving Space in Architectural Environments
描述和感知建筑环境中的空间
- 批准号:
7817451 - 财政年份:1979
- 资助金额:
$ 68.02万 - 项目类别:
Standard Grant
相似国自然基金
Financial Constraints in China
and Their Policy Implications
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国优秀青年学 者研究基金项目
相似海外基金
Collaborative Research: Data-Driven Elastic Shape Analysis with Topological Inconsistencies and Partial Matching Constraints
协作研究:具有拓扑不一致和部分匹配约束的数据驱动的弹性形状分析
- 批准号:
2402555 - 财政年份:2024
- 资助金额:
$ 68.02万 - 项目类别:
Standard Grant
Ecological and Evolutionary Constraints on the Temperature Dependence of Microbial Community Respiration
微生物群落呼吸温度依赖性的生态和进化限制
- 批准号:
NE/Y000889/1 - 财政年份:2024
- 资助金额:
$ 68.02万 - 项目类别:
Research Grant
Doctoral Dissertation Research: Obstetric constraints on neurocranial shape in nonhuman primates
博士论文研究:非人类灵长类动物神经颅骨形状的产科限制
- 批准号:
2341137 - 财政年份:2024
- 资助金额:
$ 68.02万 - 项目类别:
Standard Grant
CAREER: Quantifying Genetic and Ecological Constraints on the Evolution of Thermal Performance Curves
职业:量化热性能曲线演变的遗传和生态约束
- 批准号:
2337107 - 财政年份:2024
- 资助金额:
$ 68.02万 - 项目类别:
Continuing Grant
Constraints on the tempo and magnitude of explosive volcanism: facilitating long-term ash fall hazard assessments
对爆发性火山活动的速度和强度的限制:促进长期火山灰坠落危险评估
- 批准号:
MR/Y011767/1 - 财政年份:2024
- 资助金额:
$ 68.02万 - 项目类别:
Fellowship
The everyday learning opportunities of young children with attention and motor difficulties: From understanding constraints to reshaping intervention
注意力和运动困难幼儿的日常学习机会:从理解限制到重塑干预
- 批准号:
MR/X032922/1 - 财政年份:2024
- 资助金额:
$ 68.02万 - 项目类别:
Fellowship
Investigating Constraints on Induction in Cryospheres with a Lander for Electromagnetic Sounding (ICICLES)
使用电磁探测着陆器 (ICICLES) 研究冰冻圈感应的约束
- 批准号:
ST/Y510014/1 - 财政年份:2024
- 资助金额:
$ 68.02万 - 项目类别:
Research Grant
Algebraic Methods for Quantified Constraints
量化约束的代数方法
- 批准号:
EP/X03190X/1 - 财政年份:2024
- 资助金额:
$ 68.02万 - 项目类别:
Research Grant
Family of Origin, Geographic Constraints, and Career Intentions of Graduate Students in the Sciences
理科研究生的原生家庭、地理限制和职业意向
- 批准号:
2344563 - 财政年份:2024
- 资助金额:
$ 68.02万 - 项目类别:
Standard Grant
Language learning, communication and the emergence of phonotactic constraints
语言学习、交流和语音限制的出现
- 批准号:
ES/X014312/1 - 财政年份:2024
- 资助金额:
$ 68.02万 - 项目类别:
Research Grant














{{item.name}}会员




