Verificação de tipos de XQuery : um protótipo em ASF+SDF

Abstract

Resumo: Dados semi-estruturados e em particular XML, têm se destacado como padrão de representação de dados na world-wide web. Os dados semi-estruturados apresentam vantagens para o intercâmbio de dados entre diferentes bases de dados. Para realizar consultas a documentos (ou a bancos de dados) semi-estruturados, têm sido idealizadas linguagens de consulta. Estas linguagens seguem, em geral, o estilo da linguagem SQL. Uma destas linguagens é XQuery, cuja semântica operacional está sendo definida pelo W3C. Neste trabalho, propõe-se a construção de um protótipo para a verificação estática de XQuery, com base na sua semântica operacional, usando o meta-ambiente de programação ASF+SDF. O objetivo a longo prazo do nosso trabalho é a obtenção de experiência no uso de linguagens de consulta para esta forma de representação de dados, visando o estudo de características desejáveis nesta classe de linguagens. Para isto., implementamos um protótipo, que poderá ser usado como laboratório de teste de novas características a serem adicionadas à linguagem.

Abstract: Semistructured data (particularly XML) are the standard data representation for information exchange in the world-wide web. There exist a number of query languages for XML. These languages follow, in general., the SQLstyle. One of these languages is XQuery. The operational semantics of XQuery is being defined by W3C. In this work, we propose the construction of a prototype for static type analisvs of XQuery. The prototype implements the language's operational semantics, using the ASF+SDF metaenvironment,. The long-term goal of our research is to obtain experience in the design of query languages for semistructured data, in order to study in practice the possible different characteristics of such languages. In this sence, the prototype described here is being used as a practical laboratory, in which different semantics for commands, as well as some new commands may be tested.