Typechecking XQuery: A Prototype in ASF+SDF
Palavras-chave:
Operational Semantics, XQuery, Type Systems.Resumo
Semistructured data (particularly XML) are the standard data representation for information exchange in the world-wide web. A number of query languages for XML has been proposed. Most of them follow the style of SQL. One of these languages is XQuery. In this work, we propose the construction of a prototype for the static type analysis of XQuery programs. The prototype implements XQuery operational semantics, in a way that is close to that proposed by theW3C. The implementation was built using the ASF+SDF meta-environment. The prototype described here is a first step in the construction of a practical XML query language laboratory, in which different semantics for commands may be tested.
Downloads
Publicado
Edição
Seção
Licença
Autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Creative Commons Attribution License que permitindo o compartilhamento do trabalho com reconhecimento da autoria do trabalho e publicação inicial nesta revista.
Esta revista proporciona acesso público a todo seu conteúdo, seguindo o princípio de que tornar gratuito o acesso a pesquisas gera um maior intercâmbio global de conhecimento. Tal acesso está associado a um crescimento da leitura e citação do trabalho de um autor. Para maiores informações sobre esta abordagem, visite Public Knowledge Project, projeto que desenvolveu este sistema para melhorar a qualidade acadêmica e pública da pesquisa, distribuindo o OJS assim como outros software de apoio ao sistema de publicação de acesso público a fontes acadêmicas. Os nomes e endereços de e-mail neste site serão usados exclusivamente para os propósitos da revista, não estando disponíveis para outros fins.
