| abstract |
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 Evi I 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 Evi I , and identifying valid denial constraints from the minimal set by inverting the predicates in the minimal set. |