On Horn Axiomatizations for Sequential Data.

Autor: Eiter, Thomas, Libkin, Leonid, Balcázar, José L., Casas-Garriga, Gemma
Zdroj: Database Theory - ICDT 2005; 2004, p215-229, 15p
Abstrakt: We propose a notion of deterministic association rules for ordered data. We prove that our proposed rules can be formally justified by a purely logical characterization, namely, a natural notion of empirical Horn approximation for ordered data which involves background Horn conditions; these ensure the consistency of the propositional theory obtained with the ordered context. The main proof resorts to a concept lattice model in the framework of Formal Concept Analysis, but adapted to ordered contexts. We also discuss a general method to mine these rules that can be easily incorporated into any algorithm for mining closed sequences, of which there are already some in the literature. [ABSTRACT FROM AUTHOR]
Databáze: Supplemental Index