Method for efficiently checking coverage of rules derived...

Details Method for efficiently checking coverage of rules derived... Method for efficiently checking coverage of rules derived...

2008-05-27

2008-05-27

Alam, Shahid (Department: 2164)

Data processing: database and file management or data structures

Database design

Data structure types

C707S793000, C707S793000, C706S020000, C706S046000, C704S004000

Reexamination Certificate

active

07379941

ABSTRACT:
The method is used in a computer and includes the steps of providing a logical theory that has clauses. A rule is generated that is a resolvent of clauses in the logical theory. An example is retrieved. A proof tree is generated from the example using the logical theory. The proof tree is transformed into a database of a coverage check apparatus. The rule is converted into a partial proof tree that has nodes. The partial proof tree is transformed into a database query of the coverage check apparatus. The query is executed to identify tuples in the database that correspond to the nodes of the partial proof tree.

REFERENCES:
patent: 5627945 (1997-05-01), Cohen
patent: 6269353 (2001-07-01), Sethi et al.
patent: 6519580 (2003-02-01), Johnson et al.
patent: 6871186 (2005-03-01), Tuzhilin et al.
patent: 2004/0093261 (2004-05-01), Jain et al.

Affiliated with

Also associated with

Rating

Method for efficiently checking coverage of rules derived... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method for efficiently checking coverage of rules derived..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for efficiently checking coverage of rules derived... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2747743