|
|
Design of an Information System Part
Nguyen, Minh Duc ; Dydowicz, Petr (referee) ; Neuwirth, Bernard (advisor)
The bachelor‘s thesis focuses on the design of an information system part for the selected company, which should simplify work with record logging. The design is based on an analysis of the current state of the company. It includes software selection, data model, integrity constraints, economic evolution and benefits.
|
|
|
Mining XML Integrity Constraints
Fajt, Stanislav ; Nečaský, Martin (advisor) ; Svoboda, Martin (referee)
The most important integrity constraints in XML are primary keys and foreign keys. In general, keys are essential in understanding both the structure and properties of data. They provide an instrument by which va- lues from a given set of attributes uniquely identify tuples in a database. As a result, keys are important to main database operations. Since XML beco- mes lingua franca for data exchange on the web, it is widely accepted as a model of real world data. Because XML documents in general can appear in any semi-structured form, structural constraints (including keys) are often imposed on the data that are to be modified or processed These constra- ints are formally defined in a schema.Unfortunately, in spite of the obvious advantages, the presence of a schema is not mandatory and many XML do- cuments are not joined with any. Consequently, no integrity constratins are specified in those documents, neither. This thesis is mainly focused on the inference of primary and foreign keys from XML documents. 1
|
|
|
XML Document Adaptation and Integrity Constraints in XML
Malý, Jakub ; Nečaský, Martin (advisor) ; Bača, Radim (referee) ; Grossmann, Georg (referee)
This work examines XML data management and consistency -- more precisely the problem of document adaptation and the usage of integrity constraints. Changes in user requirements cause changes in schemas used in the systems and changes in the schemas subsequently make existing documents invalid. In this thesis, we introduce a formal framework for detecting changes between two versions of a schema and generating a transformation from the source to the target schema. Large-scale information systems depend on integrity constraints to be preserved and valid. In this work, we show how OCL can be used for XML data to define constraints at the abstract level, how such constraints can be translated to XPath expressions and Schematron schemas automatically and verified in XML documents.
|
|
|
Design of an Information System Part
Nguyen, Minh Duc ; Dydowicz, Petr (referee) ; Neuwirth, Bernard (advisor)
The bachelor‘s thesis focuses on the design of an information system part for the selected company, which should simplify work with record logging. The design is based on an analysis of the current state of the company. It includes software selection, data model, integrity constraints, economic evolution and benefits.
|
|
|
Verifying integrity constraints in C# using Code Contracts
Dort, Vlastimil ; Malý, Jakub (advisor) ; Ježek, Pavel (referee)
OCL serves as a language for specification of integrity constraints on UML models, Code Contract allow the integrity constraints to be expressed in programming languages targeting Microsoft .NET Framework. The goal of the thesis is to find and implement a translation of integrity constraints form the OCL language to C#, using Code Contracts. The features of Code Contracts and OCL are presented, then individual language constructs and standard library operations are compared with syntactic and semantic equivalents in C#. The chosen translation aims to match the semantics of OCL where possible. Code generation of C# sources is implemented in the eXolutio application, which provides a class diagram editor and an OCL parser. Powered by TCPDF (www.tcpdf.org)
|
|
|
XML Document Adaptation and Integrity Constraints in XML
Malý, Jakub ; Nečaský, Martin (advisor) ; Bača, Radim (referee) ; Grossmann, Georg (referee)
This work examines XML data management and consistency -- more precisely the problem of document adaptation and the usage of integrity constraints. Changes in user requirements cause changes in schemas used in the systems and changes in the schemas subsequently make existing documents invalid. In this thesis, we introduce a formal framework for detecting changes between two versions of a schema and generating a transformation from the source to the target schema. Large-scale information systems depend on integrity constraints to be preserved and valid. In this work, we show how OCL can be used for XML data to define constraints at the abstract level, how such constraints can be translated to XPath expressions and Schematron schemas automatically and verified in XML documents.
|
|
|
Mining XML Integrity Constraints
Fajt, Stanislav ; Nečaský, Martin (advisor) ; Svoboda, Martin (referee)
The most important integrity constraints in XML are primary keys and foreign keys. In general, keys are essential in understanding both the structure and properties of data. They provide an instrument by which va- lues from a given set of attributes uniquely identify tuples in a database. As a result, keys are important to main database operations. Since XML beco- mes lingua franca for data exchange on the web, it is widely accepted as a model of real world data. Because XML documents in general can appear in any semi-structured form, structural constraints (including keys) are often imposed on the data that are to be modified or processed These constra- ints are formally defined in a schema.Unfortunately, in spite of the obvious advantages, the presence of a schema is not mandatory and many XML do- cuments are not joined with any. Consequently, no integrity constratins are specified in those documents, neither. This thesis is mainly focused on the inference of primary and foreign keys from XML documents. 1
|
guest ::
