Horn axiomatizations for sequential data

DOI10.1016/J.TCS.2006.11.009MaRDI QIDQ870272zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 12 March 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2006.11.009

zbMATH Keywords

association rulesclosure operatorssequential patternspropositional Horn theories

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Data structures (68P05)

Recommendations

• Database Theory - ICDT 2005
• scientific article; zbMATH DE number 2009851
• Logic of association rules
• scientific article; zbMATH DE number 2015564
• Database Support for Data Mining Applications

Cites work

• scientific article; zbMATH DE number 1696848 (Why is no real title available?)
• scientific article; zbMATH DE number 1700387 (Why is no real title available?)
• scientific article; zbMATH DE number 61569 (Why is no real title available?)
• scientific article; zbMATH DE number 1354130 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 2168560 (Why is no real title available?)
• scientific article; zbMATH DE number 2101374 (Why is no real title available?)
• scientific article; zbMATH DE number 7635224 (Why is no real title available?)
• Database Theory - ICDT 2005
• Discovery Science
• Functional dependencies in relational databases: A lattice point of view
• Horn approximations of empirical data
• Identifying the Minimal Transversals of a Hypergraph and Related Problems
• Model theory.
• SPADE: An efficient algorithm for mining frequent sequences
• THE LATTICE THEORY OF FUNCTIONAL DEPENDENCIES AND NORMAL DECOMPOSITIONS

Cited in

(3)

• Mining closed patterns in relational, graph and network data
• Resolution based algorithms for the transversal hypergraph generation problem
• Database Theory - ICDT 2005

Describes a project that uses

Uses Software

• SPADE
• PrefixSpan
• CloSpan
• BIDE

This page was built for publication: Horn axiomatizations for sequential data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q870272)