|
| |
|
|
Mining XML Integrity Constraints
Fajt, Stanislav ; Nečaský, Martin (vedoucí práce) ; Svoboda, Martin (oponent)
Nejduležitějšími integritními omezeními jsou v XML primární a cizí klíče. Obecně vzato jsou klíče základním kamenem k pochopení struktury a vlast- ností dat. Nabízejí nástroj, s jehož pomocí lze jednoznačně identifikovat jednotlivé řádky tabulky pomocí hodnot z dané množiny atributů. Z toho plyne, že klíče jsou důležité pro provádění základních databázových operací. Od té doby, kdy se XML stalo jedním z nejpoužívanějších jazyků pro výměnu informací na internetu, je všeobecně přijímáno jako model pro reprezentaci skutečných dat. Protože XML dokumenty mohou v podstatě mít jakoukoli semistrukturovanou formu, jsou mnohdy během procesu zpracování či mo- difikace dat vyžadována strukturální omezení (napřílad klíče). Tato omezení jsou definovaná ve schématu. I přes zjevné přínosy není bohužel přítomnost schématu povinná a k mnoha XML dokumentům není žádné schéma připo- jeno. Následkem toho nejsou pro tyto dokumenty specifikována ani žádná integritní omezení. Tato diplomová práce je zaměřená zejména na odvození primárních a cizích klíčů z XML dokumentů. 1
|
|
|
XML Document Adaptation and Integrity Constraints in XML
Malý, Jakub ; Nečaský, Martin (vedoucí práce) ; Bača, Radim (oponent) ; Grossmann, Georg (oponent)
Práce se zabývá managementem a konzistencí XML dat -- přesněji problémem adaptace dokumentů a užití integritních omezení. Změny požadavků uživatelů často způsobují změny ve schématech používaných v systému a následně způsobí, že stávající dokumenty se stanou nevalidními. V práci představíme formální framework pro detekci změn mezi dvěma verzemi schématu a generování transformace z původní na novou verzi schématu. Rozsáhlé informační systémy spoléhají na platnost integritních omezení. V práci ukážeme, jak lze pro definici omezení v XML datech na abstraktní úrovni použít jazyk OCL a jak lze tato omezení přeložit do výrazů jazyka XPath, schemat jazyka Schematron a ověřit tak jejich platnost.
|
|
| |
|
|
Ověřování integritních omezení v C# pomocí Code Contracts
Dort, Vlastimil ; Malý, Jakub (vedoucí práce) ; Ježek, Pavel (oponent)
Jazyk OCL slouží pro specifikaci integritních omezení nad modelem jazyka UML, Code Contracts umožňují integritní omezení zapsat v programovacích jazycích pro platforum Microsoft .NET Framework. Cílem předložené práce je najít a implementovat překlad integritních omezení z jazyka OCL do programovacího jazyka C# s využitím Code Contracts. Představeny jsou možnosti technologie Code Contracts a jazyka OCL, jednotlivé jazykové konstrukce a operace ze standardní knihovny jazyka OCL jsou pak porovnány se syntakticky a sémanticky obdobnými vyjádřeními v jazyce C#. Zvolený překlad se snaží tam, kde je to možné, dodržovat sémantiku jazyka OCL. Generování zdrojových kódů v jazyce C# s Code Contracts je implementováno do programu eXolutio, ze kterého je využit editor diagramů tříd a parser jazyka OCL. Powered by TCPDF (www.tcpdf.org)
|
|
|
XML Document Adaptation and Integrity Constraints in XML
Malý, Jakub ; Nečaský, Martin (vedoucí práce) ; Bača, Radim (oponent) ; Grossmann, Georg (oponent)
Práce se zabývá managementem a konzistencí XML dat -- přesněji problémem adaptace dokumentů a užití integritních omezení. Změny požadavků uživatelů často způsobují změny ve schématech používaných v systému a následně způsobí, že stávající dokumenty se stanou nevalidními. V práci představíme formální framework pro detekci změn mezi dvěma verzemi schématu a generování transformace z původní na novou verzi schématu. Rozsáhlé informační systémy spoléhají na platnost integritních omezení. V práci ukážeme, jak lze pro definici omezení v XML datech na abstraktní úrovni použít jazyk OCL a jak lze tato omezení přeložit do výrazů jazyka XPath, schemat jazyka Schematron a ověřit tak jejich platnost.
|
|
|
Mining XML Integrity Constraints
Fajt, Stanislav ; Nečaský, Martin (vedoucí práce) ; Svoboda, Martin (oponent)
Nejduležitějšími integritními omezeními jsou v XML primární a cizí klíče. Obecně vzato jsou klíče základním kamenem k pochopení struktury a vlast- ností dat. Nabízejí nástroj, s jehož pomocí lze jednoznačně identifikovat jednotlivé řádky tabulky pomocí hodnot z dané množiny atributů. Z toho plyne, že klíče jsou důležité pro provádění základních databázových operací. Od té doby, kdy se XML stalo jedním z nejpoužívanějších jazyků pro výměnu informací na internetu, je všeobecně přijímáno jako model pro reprezentaci skutečných dat. Protože XML dokumenty mohou v podstatě mít jakoukoli semistrukturovanou formu, jsou mnohdy během procesu zpracování či mo- difikace dat vyžadována strukturální omezení (napřílad klíče). Tato omezení jsou definovaná ve schématu. I přes zjevné přínosy není bohužel přítomnost schématu povinná a k mnoha XML dokumentům není žádné schéma připo- jeno. Následkem toho nejsou pro tyto dokumenty specifikována ani žádná integritní omezení. Tato diplomová práce je zaměřená zejména na odvození primárních a cizích klíčů z XML dokumentů. 1
|
host ::
RSS.