Join on Closure Systems Using Direct Implicational Basis Representation

DOI10.1007/978-3-540-87477-5_48zbMath1160.90585OpenAlexW86146610MaRDI QIDQ3627735

Yoan Renaud

Publication date: 13 May 2009

Published in: Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87477-5_48

zbMATH Keywords

closure systemsimplicational basisdirect basisdatamining

Mathematics Subject Classification ID

Boolean programming (90C09)

Cites Work

• On the complexity of inferring functional dependencies
• Computing intersections of Horn theories for reasoning with models
• Knowledge compilation and theory approximation
• Representations of Lattices by Sets
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Join on Closure Systems Using Direct Implicational Basis Representation