Search International and National Patent Collections

1. (WO2014191057) A METHOD FOR IDENTIFYING DENIAL CONSTRAINTS

Pub. No.:    WO/2014/191057    International Application No.:    PCT/EP2013/061326
Publication Date: Fri Dec 05 00:59:59 CET 2014 International Filing Date: Sat Jun 01 01:59:59 CEST 2013
IPC: G06F 17/30
Applicants: QATAR FOUNDATION
HOARTON, Lloyd
PAPOTTI, Paolo
CHU, Xu
ILYAS KALDAS, Ihab Francis
Inventors: PAPOTTI, Paolo
CHU, Xu
Title: A METHOD FOR IDENTIFYING DENIAL CONSTRAINTS
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 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.