Patent ID: 8316060

Claim:
A computer implemented method for transforming a match diagram, comprising: receiving a match diagram that has one or more vertexes representing one or more input nodes and one or more edges that represent a relationship between the input nodes wherein a set of paths through the match diagram represents a set of tuples; and performing a transformation operation on the match diagram to alter the vertexes and edges in the match diagram in order to generate a decision diagram, wherein the transformation operation affects the set of tuples represented by paths in the match diagram, and wherein performing the transformation operation further comprises performing one or more of adding a particular edge to the match diagram, constraining a particular edge of the match diagram, lifting a particular edge of the match diagram, promoting a particular edge of the match diagram, merging one or more input nodes of the match diagram, projecting the set of tuples in the match diagram and reducing the set of tuples in the match diagram.