Methods for identifying denial constraints
US10649975B2 · kind B2 · utility
0Cited by
0References
14Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | May 31, 2013 |
| Grant date | May 12, 2020 |
| Priority date | — |
| Expiry date | Aug 14, 2035 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F16/2379
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Computer implemented methods for identifying denial constraints are provided herein. The denial constraints can be used with a database schema R. A predicate space P can be generated for an instance I in the schema R. An evidence set EviI can be generated. The evidence set EviI can include sets of satisfied predicates in the predicate space P for each instance I. A minimal set of predicates can be identified for the evidence set EviI. Valid denial constraints can be identified from the minimal set by inverting the predicates in the minimal set.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.