A Logical Framework for XML Reference Specification

XML emerged as the (meta) mark-up language for representing, exchanging, or storing semistructured data. The structure of an XML document may be specified through DTD (Document Type Definition) language or through the specific XML language XSchema. While the expressiveness of XML Schema allows one to specify both the structure and constraints for XML documents, DTD does not allow the specification of integrity constraints for XML documents. On the other side, DTD has a very compact notation opposed to the complex notation and syntax of XML Schema. According to this scenario, in this paper we focus on a (as much as possible) simple logic, called XHyb, expressive enough to allow the specification of the most common integrity constraints in XML documents. In particular we will deal with constraints on ID and IDREF(S) attributes, which are the common way of logically connecting parts of XML documents, besides the usual containment relation of XML elements

DIInCX: Uma abordagem para descoberta de restrições de integridade semântica implícitas em dados XML

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Ciência da ComputaçãoA Web tem sido adotada como uma grande fonte e meio para troca de informações. No entanto, os dados presentes nela se encontram sob os mais variados modelos de dados, principalmente XML. Em função do amplo uso do modelo de dados XML, questões como a descoberta de conhecimento e a manutenção da integridade sobre dados XML têm crescido em importância. A descoberta de conhecimento é relevante no suporte a decisões, enquanto a manutenção da integridade visa manter este conhecimento consistente. Dada esta relevância, é proposta uma abordagem semi-automática para descoberta de Restrições de Integridade Semânticas (RIS) a partir de instâncias XML chamada DIInCX (Discovery of Implicit Integrity Constraint from XML data). DIInCX define um processo que coleta informações sobre as instâncias XML, aplica um algoritmo de mineração de regras de associação com adaptações e traduz as regras descobertas para RIS's especificadas na linguagem SWRL (Semantic Web Rule Language). A abordagem provê suporte a sistemas de manipulação de dados que desejam gerenciar RIS's. Outra contribuição deste trabalho é uma taxionomia para RIS's XML segundo os componentes de uma RI em bancos de dados. Esta taxionomia auxilia na avaliação de expressividade de linguagens de especificação de RIS's XML e da robustez de sistemas que controlam RIS'

Plataforma para testes de conformidade de sistemas baseados em módulos conceptuais STEP

Obtenção do grau de Mestre em Engenharia Electrotécnica, Sistemas e ComputadoresO conjunto de normas STEP (ISO 10303) é reconhecido pela comunidade científica e industrial como sendo importante para a integração de sistemas em ambientes industriais. Com o crescimento da utilização da Internet para troca de informação e conhecimento, outras tecnologias têm vindo a ser cada vez mais utilizadas para os mesmos fins, sendo o XML, um dos casos mais notórios. Atenta a este facto, a ISO desenvolveu uma norma (ISO 10303-Parte 28) para utilização de XML nos seus protocolos de aplicação. Contudo, esta norma não contempla toda a informação presente nos modelos STEP, devido à falta de expressividade da linguagem usada (XSD) para representar os modelos na tecnologia XML. Esta dissertação propõe a extensão dos modelos XSD, obtidos utilizando a parte 28 como referência, com esquemas Schematron e código Java. Para verificar que os dados XML usados cumprem todas as especificações estabelecidas pelos modelos conceptuais STEP, e que os sistemas que trocam e usam estes dados são interoperáveis, é proposta uma metodologia para testes de conformidade e verificação de interoperabilidade, adaptando e estendendo a metodologia descrita nas partes 30s da norma STEP. Para a sua implementação, foi desenvolvida uma plataforma baseada em serviços para a Internet (SOA)

Specification and Validation of Constraints in XML Data Model

Циљ истраживања реализованих у овом раду, био је да се формално опишу типови ограничења у XML моделу података, по угледу на типове ограничења у релационом моделу података. У складу са постављеним циљем, урађена је класификација типова ограничења у XML моделу података, њихова формална спецификација и имплементација у репрезентативним XML СУБП.Cilj istraživanja realizovanih u ovom radu, bio je da se formalno opišu tipovi ograničenja u XML modelu podataka, po ugledu na tipove ograničenja u relacionom modelu podataka. U skladu sa postavljenim ciljem, urađena je klasifikacija tipova ograničenja u XML modelu podataka, njihova formalna specifikacija i implementacija u reprezentativnim XML SUBP.The goal of the research conducted in this thesis was to formally describe the types of the constraints in the XML data model, according to the types of the constraints in the relational data model. In accordance with the set goal, the types of the constraints in the XML data model were classified, formally specified, and implemented in the representative XML DBMS