Eugene M Luks

US Patent:

20050177558, Aug 11, 2005

Filed:

Nov 15, 2004

Appl. No.:

10/989982

Inventors:

Heidi Dixon - Eugene OR, US
Matthew Ginsberg - Eugene OR, US
David Hofer - Eugene OR, US
Eugene Luks - Eugene OR, US

International Classification:

G06F007/00

US Classification:

707003000

Abstract:

Data in a database describe an application domain such as a satisfiability problem. The data are represented in a manner that expresses the structure inherent in the data and one such representation uses group theory and represents the data as one or more “augmented clauses,” where each clause has a pair (c, G) including a database element c and a group G of group elements g acting on it. A query is encoded in a group theory representation and is executed on the group theory representation of the data to identify database elements and associated group elements satisfying the query. If desired, the satisfying database elements are converted from the group theory representation to the native representation of the data.

US Patent:

20050187905, Aug 25, 2005

Filed:

Feb 5, 2004

Appl. No.:

10/773351

Inventors:

Heidi Dixon - Eugene OR, US
Matthew Ginsberg - Eugene OR, US
David Hofer - Eugene OR, US
Eugene Luks - Eugene OR, US

International Classification:

G06F007/00

US Classification:

707003000

Abstract:

Data in a database describe an application domain such as a satisfiability problem. The data are represented in a manner that expresses the structure inherent in the data and one such representation uses group theory and represents the data as one or more “augmented clauses,” where each clause has a pair (c,G) including a database element c and a group G of group elements g acting on it. A query is encoded in a group theory representation and is executed on the group theory representation of the data to identify database elements and associated group elements satisfying the query. If desired, the satisfying database elements are converted from the group theory representation to the native representation of the data.