Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Musicante, Martin Alejandro | - |
Autor(es): dc.contributor | Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática | - |
Autor(es): dc.creator | Venske, Sandra Mara Guse Scós | - |
Data de aceite: dc.date.accessioned | 2025-09-01T13:48:16Z | - |
Data de disponibilização: dc.date.available | 2025-09-01T13:48:16Z | - |
Data de envio: dc.date.issued | 2025-04-01 | - |
Data de envio: dc.date.issued | 2025-04-01 | - |
Data de envio: dc.date.issued | 2004 | - |
Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/78490 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/78490 | - |
Descrição: dc.description | Orientador: Prof. Martin A. Musicante | - |
Descrição: dc.description | Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Curso de Pós-Graduação em Informática | - |
Descrição: dc.description | Inclui referências: p. 132-135 | - |
Descrição: dc.description | 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. | - |
Descrição: dc.description | 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. | - |
Formato: dc.format | viii, 209 p. : il., tabs. | - |
Formato: dc.format | application/pdf | - |
Formato: dc.format | application/pdf | - |
Relação: dc.relation | Disponível em formato digital | - |
Palavras-chave: dc.subject | XML (Linguagem de marcação de documento) | - |
Palavras-chave: dc.subject | Query (Sistema de recuperaçao da informação) | - |
Palavras-chave: dc.subject | Linguagem de programação (Computadores) - Semântica | - |
Palavras-chave: dc.subject | Ciência da Computação | - |
Título: dc.title | Verificação de tipos de XQuery : um protótipo em ASF+SDF | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional - Rede Paraná Acervo |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: