摘要 |
A method of identifying denial constraints, the denial constraints being for use with a database schema R, the method comprising: generating a predicate space P for an instance I in the schema R, generating an evidence set EviI which comprises sets of satisfied predicates in the predicate space P for each instance I, identifying a minimal set of predicates for the evidence set EviI, and identifying valid denial constraints from the minimal set by inverting the predicates in the minimal set. |