Patents by Inventor Heidi E. Dixon

Heidi E. Dixon has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Database manipulations using group theory
    Patent number: 7440942
    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.
    Type: Grant
    Filed: November 15, 2004
    Date of Patent: October 21, 2008
    Assignee: The State of Oregon Acting by and Through the State Board of Higher Education on Behalf of the University of Oregon
    Inventors: Heidi E. Dixon, Matthew L. Ginsberg, David Hofer, Eugene M. Luks