Range queries in binary decision diagrams
First Claim
Patent Images
1. A method comprising:
- by one or more computing devices,receiving a query for data from one or more data sets of sensor data from one or more sensors, the query being for data that are within a range of a sensor output range, wherein the one or more data sets are represented by a first binary decision diagram (BDD), wherein the first BDD has m layers corresponding, respectively, to m variables;
constructing a second BDD representing the range, wherein the second BDD has n layers corresponding, respectively, to n of the m variables, where in m≧
n, wherein the range has a lower bound and an upper bound, and wherein constructing the second BDD comprises;
constructing a fourth BDD representing a first range from the lower bound of the range to a maximum value from the one or more data sets of sensor data from the one or more sensors;
constructing a fifth BDD representing a second range from the upper bound of the range plus one to the maximum value from the one or more data sets of sensor data from the one or more sensors;
negating the fifth BDD by applying a NOT operation to the fifth BDD; and
constructing the second BDD by performing an AND operation between the fourth BDD and the negated fifth BDD; and
constructing a third BDD representing the data within the range by performing an AND operation between the first BDD and the second BDD.
1 Assignment
0 Petitions
Accused Products
Abstract
In particular embodiments, a method includes receiving a query for data in data sets that are within a specified range, constructing a first binary decision diagram (BDD) representing the specified range, and constructing a third BDD representing the data in the specified range by performing an AND operation between the first BDD and a second BDD representing the data sets.
-
Citations
37 Claims
-
1. A method comprising:
- by one or more computing devices,
receiving a query for data from one or more data sets of sensor data from one or more sensors, the query being for data that are within a range of a sensor output range, wherein the one or more data sets are represented by a first binary decision diagram (BDD), wherein the first BDD has m layers corresponding, respectively, to m variables; constructing a second BDD representing the range, wherein the second BDD has n layers corresponding, respectively, to n of the m variables, where in m≧
n, wherein the range has a lower bound and an upper bound, and wherein constructing the second BDD comprises;constructing a fourth BDD representing a first range from the lower bound of the range to a maximum value from the one or more data sets of sensor data from the one or more sensors; constructing a fifth BDD representing a second range from the upper bound of the range plus one to the maximum value from the one or more data sets of sensor data from the one or more sensors; negating the fifth BDD by applying a NOT operation to the fifth BDD; and constructing the second BDD by performing an AND operation between the fourth BDD and the negated fifth BDD; and constructing a third BDD representing the data within the range by performing an AND operation between the first BDD and the second BDD. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12)
- by one or more computing devices,
-
13. An apparatus comprising:
- one or more processors; and
a memory coupled to the processors comprising instructions executable by the processors, the processors operable when executing the instructions to;receive a query for data from one or more data sets of sensor data from one or more sensors, the query being for data that are within a range of a sensor output range, wherein the one or more data sets are represented by a first binary decision diagram (BDD) , wherein the first BDD has m layers corresponding, respectively, to m variables; construct a second BDD representing the range, wherein the second BDD has n layers corresponding, respectively, to n of the m variables, where m≧
n, wherein the range has a lower bound and an upper bound, and wherein constructing the second BDD comprises;constructing a fourth BDD representing a first range from the lower bound of the range to a maximum value from the one or more data sets; constructing a fifth BDD representing a second range from the upper bound of the range plus one to the maximum value from the one or more data sets; negating the fifth BDD by applying a NOT operation to the fifth BDD; and constructing the second BDD by performing an AND operation between the fourth BDD and the negated fifth BDD; and construct a third BDD representing the data within the range by performing an AND operation between the first BDD and the second BDD. - View Dependent Claims (14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24)
- one or more processors; and
-
25. One or more computer-readable non-transitory storage media embodying software that is operable when executed to:
-
receive a query for data from one or more data sets of sensor data from one or more sensors, the query being for data that are within a range of a sensor output range, wherein the one or more data sets are represented by a first binary decision diagram (BDD), wherein the first BDD has in layers corresponding, respectively, to m variables; construct a second BDD representing the range, wherein the second BDD has n layers corresponding, respectively, to n of the m variables, where m≧
n , wherein the range has a lower bound and an upper bound, and wherein constructing the second BDD comprises;constructing a fourth BDD representing a first range from the lower bound of the range to a maximum value from the one or more data sets; constructing a fifth BDD representing a second range from the upper bound of the range plus one to the maximum value from the one or more data sets; negating the fifth BDD by applying a NOT operation to the fifth BDD; and constructing the second BDD by performing an AND operation between the fourth BDD and the negated fifth BDD; and construct a third BDD representing the data within the range by performing an AND operation between the first BDD and the second BDD. - View Dependent Claims (26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36)
-
-
37. A system comprising:
-
means for receiving a query for data from one or more data sets of sensor data from one or more sensors, the query being for data that are within a range of a sensor output range, wherein the one or more data sets are represented by a first binary decision diagram (BDD), wherein the first BDD has m layers corresponding, respectively, to m variables; means for constructing a second BDD representing the range, wherein the second BDD has n layers corresponding, respectively, to n of the m variables, where m≧
n , wherein the range has a lower bound and an user bound, wherein means for constructing the second BDD comprises;means for constructing a fourth BDD representing a first range from the lower bound of the range to a maximum value from the one or more data sets; means for constructing a fifth BDD representing a second range from the upper bound of the range plus one to the maximum value from the one or more data sets; means for negating the fifth BDD by applying a NOT operation to the fifth BDD; and means for constructing the second BDD by performing an AND operation between the fourth BDD and the negated fifth BDD; and means for constructing a third BDD representing the data within the range by performing an AND operation between the first BDD and the second BDD.
-
Specification