【24h】

On the Termination Problem for Declarative XML Message Processing

机译：关于声明性XML消息处理的终止问题

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq. Based on this definition, we prove that the termination problem for any practically useful sublanguage of DemaqLiteRDL is undecidable, as any such language can emulate a Single Register Machine-a Turing-complete model of computation proposed by Shepherdson and Sturgis.

机译：我们为DemaqLite的规则定义语言（RDL）定义了形式语法和语义，这是声明性XML消息处理系统Demaq的一部分。基于此定义，我们证明DemaqLiteRDL的任何实际有用的子语言的终止问题都是无法确定的，因为任何此类语言都可以模拟单寄存器计算机-Shepherdson和Sturgis提出的图灵完备的计算模型。

著录项

来源
《DEXA 2009;International conference on database and expert systems applications;International conference on data warehousing and knowledge discovery;DaWak;International conference on electronic commerce and web technologies;EC-WEB;International conference on electronic government;EGOV;International conference on trust, privacy, and security in digital business;TrustBus;International conference on industrial applications of holonic and multi-agent systems;HoloMAS;International conference on eparticipation;ePart;International conference on data management in grid and P2P systems;GLOBE》|2009年|83-97|共15页
会议地点 Linz(AT);Linz(AT);Linz(AT);Linz(AT);Linz(AT);Linz(AT);Linz(AT);Linz(AT);Linz(AT);Linz(AT);Linz(AT);Linz(AT);Linz(AT);Linz(AT);Linz(AT);Linz(AT)
作者
Tadeusz Litak; Sven Helmer;
展开▼
作者单位

School of Computer Science and Information Systems Birkbeck University of London Malet Street Bloomsbury London WC1E 7HX UK;

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
入库时间 2022-08-26 14:40:44

相似文献

外文文献
中文文献
专利

1. The grammatical approach: A syntax-directed declarative specification method for XML processing tasks [J] . Antonio Sarasa-Cabezuelo, Jose-Luis Sierra Computer standards & interfaces . 2013,第1期

机译：语法方法：用于XML处理任务的语法指导的声明性规范方法
2. XML messaging system halves processing times for rent referrals at Bradford Council [J] . Lisa Kelly Computer weekly . 2004,第21期

机译：XML消息传递系统将Bradford Council的转介请求处理时间缩短了一半
3. XPi: A typed process calculus for XML messaging [J] . Lucia Acciai, Michele Boreale Science of Computer Programming . 2008,第2期

机译：XPi：用于XML消息传递的类型化过程演算
4. On the Termination Problem for Declarative XML Message Processing [C] . Tadeusz Litak, Sven Helmer International Conference on Database and Expert Systems Applications . 2009

机译：关于声明性XML消息处理的终止问题
5. Query processing for large-scale XML message brokering. [D] . Diao, Yanlei. 2005

机译：大型XML消息代理的查询处理。
6. Using XML Metadata to Enable the Automatic Generation and Processing of HTML Forms from XML Documents [O] . Anil K. Dubey, Henry C. Chueh 2001

机译：使用XML元数据启用从XML文档自动生成和处理HTML表单的功能
7. Demaq: A Foundation for Declarative XML Message Processing [O] . Böhm, Alexander, Kanne, Carl-Christian, Moerkotte, Guido 2006

机译：Demaq：声明性XmL消息处理的基础

On the Termination Problem for Declarative XML Message Processing

摘要

著录项

相似文献

相关主题

期刊订阅