Sas Institute Inc.

Steven Harenberg

Brandon Michael Reese

A system and method include breaking symmetry in a query graph by converting the query graph into a transformed query graph by generating a symmetry breaking expression that includes detecting one or more orbits in the transformed query graph, selecting an orbit from the one or more orbits having more than one node, generating an automorphism breaking sub-expression for the selected orbit, assigning a node of the selected orbit a unique node attribute, recalculating the one or more orbits in the transformed query graph, repeating the process until each node is in its own orbit, and combining each of the automorphism breaking sub-expressions to obtain the symmetry breaking expression. Using the symmetry breaking expression, the system and method include finding one or more subgraphs of a main graph that match the symmetry breaking expression of the query graph.

Growing community of inventors

Chapel Hill, NC, United States of America

Steven Harenberg