| US 7,457,791 B1 | ||
| Using invariants to validate applications states | ||
| Neeraj Garg, Delhi (India); Cale D. Carter, Redmond, Wash. (US); Kulothungan Rajasekaran, Sammamish, Wash. (US); Deuane J. Martin, Seattle, Wash. (US); Pankaj K. Singh, Redmond, Wash. (US); and Mahesh Jayaram, Bellevue, Wash. (US) | ||
| Assigned to Microsoft Corporation, Redmond, Wash. (US) | ||
| Filed on May 30, 2003, as Appl. No. 10/449,208. | ||
| Int. Cl. G06N 5/00 (2006.01) | ||
| U.S. Cl. 706—47 [706/45] | 48 Claims |
| 1. A computer-implemented system that facilitates discerning integrity of a data handling system, comprising:
an identification component that periodically applies to data stored in a database accessed by an application, in a batch
mode, a context-based rule, the rule is an invariant that is invoked at the application level to identify anomalous data that
does not satisfy the rule, the anomalous data includes inconsistent data obtained during data migration; and
a healing component that at least one of rectifies or flags the identified anomalous data.
|