Počet záznamů: 1
Temporal attribute implications
Údaje o názvu Temporal attribute implications [rukopis] / Jan Tříska Další variantní názvy Temporální závislosti v datech Osobní jméno Tříska, Jan (autor diplomové práce nebo disertace) Překl.náz Temporal data dependencies Vyd.údaje 2018 Fyz.popis vi s. + 90 s. Poznámka Ved. práce Vilém Vychodil Dal.odpovědnost Vychodil, Vilém (vedoucí diplomové práce nebo disertace) Dal.odpovědnost Univerzita Palackého. Katedra informatiky (udelovatel akademické hodnosti) Klíč.slova attribute implication * axiomatization * minimality * non-redundancy * temporal data * temporal semantics * attribute implication * axiomatization * minimality * non-redundancy * temporal data * temporal semantics Forma, žánr disertace dissertations MDT (043.3) Země vyd. Česko Jazyk dok. angličtina Druh dok. PUBLIKAČNÍ ČINNOST Titul Ph.D. Studijní program Doktorský Studijní program Informatika Studijní obor Informatika kniha
Kvalifikační práce Staženo Velikost datum zpřístupnění 00215614-734416325.zip 57 903.5 KB 07.06.2018 Posudek Typ posudku 00215614-ved-574018387.pdf Posudek vedoucího 00215614-opon-184626242.pdf Posudek oponenta Průběh obhajoby datum zadání datum odevzdání datum obhajoby přidělená hodnocení typ hodnocení 00215614-prubeh-556059268.pdf 10.04.2014 07.06.2018 18.09.2018 S 2
We deal with dependencies in object-attribute data which is recorded at separate points in time. The data is formalized by finitely many tables encoding the relationship between the objects and the attributes and each table can be seen as a single formal context observed at a separate point in time. Given such data, we are interested in concise ways of characterizing all if-then dependencies between the attributes that hold in the data and are preserved in all time points. In order to formalize the dependencies, we introduce if-then formulas called temporal attribute implications which can be seen as particular formulas of linear temporal logic. We introduce a semantic entailment of the formulas, show its fixed-point characterization, investigate closure properties of model classes, present an axiomatization and prove its completeness, and investigate alternative axiomatizations and normalized proofs. We investigate decidability and complexity issues of the logic and prove that the entailment problem is NP-hard and belongs to EXPSPACE. We show that by restricting to predictive formulas, the entailment problem is decidable in pseudo-linear time. We introduce non-redundant bases of dependencies from data as non-redundant sets entailing exactly all the dependencies that hold in the data. In addition, we investigate minimality of bases as a stronger form of non-redundancy. For given data, we present a description of minimal bases using the notion of pseudo-intents generalized in the temporal setting. We further investigate properties of minimal sets of formulas and present sufficient and necessary conditions for their characterization.In addition to the characterization of minimality, we present an algorithm that can be used to minimize any finite set of temporal attribute implications.We deal with dependencies in object-attribute data which is recorded at separate points in time. The data is formalized by finitely many tables encoding the relationship between the objects and the attributes and each table can be seen as a single formal context observed at a separate point in time. Given such data, we are interested in concise ways of characterizing all if-then dependencies between the attributes that hold in the data and are preserved in all time points. In order to formalize the dependencies, we introduce if-then formulas called temporal attribute implications which can be seen as particular formulas of linear temporal logic. We introduce a semantic entailment of the formulas, show its fixed-point characterization, investigate closure properties of model classes, present an axiomatization and prove its completeness, and investigate alternative axiomatizations and normalized proofs. We investigate decidability and complexity issues of the logic and prove that the entailment problem is NP-hard and belongs to EXPSPACE. We show that by restricting to predictive formulas, the entailment problem is decidable in pseudo-linear time. We introduce non-redundant bases of dependencies from data as non-redundant sets entailing exactly all the dependencies that hold in the data. In addition, we investigate minimality of bases as a stronger form of non-redundancy. For given data, we present a description of minimal bases using the notion of pseudo-intents generalized in the temporal setting. We further investigate properties of minimal sets of formulas and present sufficient and necessary conditions for their characterization.In addition to the characterization of minimality, we present an algorithm that can be used to minimize any finite set of temporal attribute implications.
Počet záznamů: 1