Abstract
Recently, Binary Decision Diagrams (BDDs) are widely used for efficiently manipulating large-scale Boolean function data. BDDs are also applied for handling combinatorial item set data. Zero-suppressed BDDs (ZBDDs) are special type of BDDs which are suitable for implicitly handling large-scale combinatorial item set data. In this paper, we present VSOP program developed for calculating combinatorial item set data specified by symbolic expressions based on ZBDD techniques. Our program supports not only combinatorial set operations but also numerical arithmetic operations based on Valued-Sum-Of-Products algebra, such as addition, subtraction, multiplication, division, numerical comparison, etc. We discuss the data structures and algorithms in our program, and show some typical applications. VSOP calculator will be useful for solving many problems in Computer Science. We show one of the promising application to find a hidden data group related each other under the huge amount of web space. Our method will facilitates knowledge federation over the web, and also useful for many other applications in computer science.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Akers, S.B.: Binary decision diagrams. IEEE Trans. Comput., C-27(6), 509–516 (1978)
Agrawal, R., Mannila, H., Srikant, R., Toivonen, H., Verkamo, A.I.: Fast Discovery of Association Rules. In: Advances in Knowledge Discovery and Data Mining, pp. 307–328. MIT Press, Cambridge (1996)
Brayton, R.K., Rudell, R., Sangiovnni-Vincentelli, A., Wang, A.R.: MIS: A multiple-level logic optimization system. In: IEEE Trans. on CAD, vol. CAD-6, pp. 1062–1081 (November 1987)
Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput., C-35(8), 677–691 (1986)
Bryant, R.E., Chen, Y.-A.: Verification of arithmetic functions with binary moment diagrams. In: Proc. of 32nd ACM/IEEE Design Automation Conference (DAC 1995), session 32.1 (June 1995)
Coudert, O.: Solving graph optimization problems with ZBDDs. In: Proc. of IEEE The European Design and Test Conference (ED&TC 1997), pp. 244–248 (March 1997)
Goethals, B., Javeed Zaki, M. (eds.): Frequent Itemset Mining Dataset Repository, Frequent Itemset Mining Implementations (FIMI 2003) (2003), http://fimi.cs.helsinki.fi/data/
Hayashi, Y., Matsuki, J.: Determination of Optimal System Configuration in Japanese Secondary Power Systems. IEEE Trans. on Power Systems 18(1), 394–399 (2003)
Minato, S.: BEM-II: An Arithmetic Boolean Expression Manipulator Using BDDs. IEICE Trans. Fundamentals E76-A(10), 1721–1729 (1993)
Minato, S.: Zero-suppressed BDDs for set manipulation in combinatorial problems. In: Proc. 30th ACM/IEEE Design Automation Conf (DAC 1993), pp. 272–277 (1993)
Minato, S.: Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs. In: Proc. of 31st ACM/IEEE Design Automation Conference (DAC 1994), pp. 420–424 (June 1994)
Minato, S.: Implicit Manipulation of Polynomials Using Zero-Suppressed BDDs. In: Proc. of IEEE The European Design and Test Conference (ED&TC 1995), pp. 449–454 (March 1995)
Minato, S.: Binary Decision Diagrams and Applications for VLSI CAD. Kluwer Academic Publishers, Dordrecht (November 1996)
Minato, S.: Fast Factorization Method for Implicit Cube Set Representation. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems 15(4), 377–384 (1996)
Minato, S.: Zero-suppressed BDDs and Their Applications. International Journal on Software Tools for Technology Transfer (STTT) 3(2), 156–170 (2001)
Minato, S., Arimura, H.: Efficient Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs. In: IEEE/IEICE/IPSJ International Workshop on Challenges in Web Information Retrieval and Integration (WIRI 2005), pp. 3–10 (April 2005)
Miyazaki, T.: Boolean-based formulation for data path synthesis. In: IEEE Asia-Pasific Conference on Circuits and Systems APCCAS 1992, pp. 201–205 (December 1992)
Okuno, H.G.: Reducing Combinatorial Explosions in Solving Search-Type Combinatorial Problems with Binary Decision Diagram. Trans of Information Processing Soc. Japan (IPSJ) (in Japanese) 35(5), 739–753 (1994)
Okuno, H.G., Minato, S., Isozaki, H.: On the properties of combination set operations. Information Processing Letters 66, 195–199 (1998)
Zheng, Z., Kohavi, R., Mason, L.: Real World Performance of Association Rule Algorithms. In: Proc. of ACM SIGKDD conference KDD 2001, pp. 401–406 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Minato, Si. (2006). VSOP (Valued-Sum-of-Products) Calculator for Knowledge Processing Based on Zero-Suppressed BDDs. In: Jantke, K.P., Lunzer, A., Spyratos, N., Tanaka, Y. (eds) Federation over the Web. Lecture Notes in Computer Science(), vol 3847. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11605126_3
Download citation
DOI: https://doi.org/10.1007/11605126_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-31018-1
Online ISBN: 978-3-540-32587-1
eBook Packages: Computer ScienceComputer Science (R0)