PROBLEM TO BE SOLVED: To provide partitioning binary decision diagrams for analysis optimization.SOLUTION: In particular embodiments, a method includes accessing a first binary decision diagram (BDD) representing data streams from sensors, selecting portions from the first BDD based on ease-of-analysis, and constructing a plurality of sub-BDDs by partitioning the first BDD, wherein the sub-BDDs comprises a first sub-BDD representing the selected portions, and selected sub-BDDs representing the non-selected portions.COPYRIGHT: (C)2013,JPO&INPIT【課題】分析の最適化のための二分決定図の分割を提案する。【解決手段】本発明の特定の実施の形態に係る方法は、センサからのデータストリームを表す第一の二分決定図（BDD）にアクセスし、分析の容易さに基づいて第一のBDDから一部分を選択し、第一のBDDを分割することで複数のサブBDDを構築し、サブBDDは、選択された部分を表す第一のサブBDDを含み、選択されたサブBDDは、選択されていない部分を表す。【選択図】図６
