Charles Explorer logo
🇨🇿

Když se konceptuální model setká s gramatikou: Formální přístup k modelování semistrukturovaných dat

Publikace na Matematicko-fyzikální fakulta |
2010

Abstrakt

V současnosti je XML standartem pro výměnu informací. Důležitým úkolem při správě XML je návrh konkrétních XML formátů.

Existují dva přístupy k tomuto problému. Zaprvé jsou to jazyky pro popis XML schémat a jejich formalizace -- regulární stromové gramatiky.

Zadruhé to jsou konceptuální modely a jejich automatická konverze to XML schémat. V tomto článku poskytujeme jednotný formalizmus pro oba přístupy.

Formalizujeme XML schémata, konceptuální schémata a mapování mezi nimi. Formalizmus klade nutné podmínky na mapování a umožňuje v praxi nejen samotné modelování ale také poskytuje podporu pro integraci a evoluci XML schémat.