US-France Cooperative Research (INRIA): XML-Based Web Services Static Analysis and Computational Aspects

0334764 Vianu这个为期三年的奖项支持由加州大学圣地亚哥分校计算机科学与工程系的维克托Vianu领导的数据库小组和由法国国家信息学和自动化研究所的Serge Abiteboul领导的GEMO数据库小组之间的合作研究。 他们提议在有关万维网数据交换标准XML（扩展标记语言）技术的问题上进行合作。数据库、XML和Web服务之间日益增加的相互作用给数据库研究提出了新的挑战。 在这个项目中解决的一个中心问题是静态分析技术的发展，以增加对复杂Web服务的鲁棒性和正确性的信心，并提高功能和效率。 该项目的目标是与法国小组合作，为基于XML的Web服务开发新的静态分析和算法技术。 他们将把这些技术应用到各种Web服务中，并研究与XML文档信息不完整的存储库相关的方面，以及流XML文档上的查询处理。 法国GEMO团队因在半结构化数据和XML领域的开创性工作而受到认可。 他们的工作导致了Xyleme的形成，这是一家专注于XML技术的欧洲分拆初创公司。 他们的专业知识补充了美国团队的理论研究。 他们的共同努力将进一步了解XML技术及其在基于Web的服务和数据库开发中的应用。

0334764VianuThis three-year award supports cooperative research between the database group led by Victor Vianu at the Department of Computer Science and Engineering of the University of California, San Diego and the GEMO database group, led by Serge Abiteboul, at INRIA (French National Institute for Research in Informatics and Automation). They propose to collaborate on issues related to XML (Extended Markup Language) technology, the standard for data exchange on the Worldwide Web.Increased interaction of databases, XML and Web services raises new challenges in database research. One central issue, addressed in this project, is the development of static analysis techniques to increase confidence in the robustness and correctness of complex Web services, and to enhance function and efficiency. The objective of this project is to cooperate with the French group on new static analysis and algorithmic techniques for XML-based Web services. They will apply these techniques to various Web services and investigate aspects related to repositories with incomplete information about XML documents, and query processing on streaming XML documents. The French GEMO team is recognized for pioneering work in the area of semi-structured data and XML. Their work resulted in the formation of Xyleme, a European spin-off, start-up company, focusing on XML technology. Their expertise complements the U.S. team's theoretical research. Their joint efforts will further understanding of XML technology and its application in web-based services and database development.