The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 12, 2020
Filed:
May. 31, 2013
Applicants:
Ihab Francis Ilyas Kaldas, Doha, QA;
Paolo Papotti, Doha, QA;
Xu Chu, Doha, QA;
Inventors:
Assignee:
Qatar Foundation, Doha, QA;
Primary Examiner:
Int. Cl.
CPC ...
G06F 16/21 (2019.01); G06F 16/23 (2019.01); G06F 16/215 (2019.01);
U.S. Cl.
CPC ...
G06F 16/2365 (2019.01); G06F 16/215 (2019.01); G06F 16/217 (2019.01); G06F 16/2379 (2019.01);
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 Evican be generated. The evidence set Evican 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 Evi. Valid denial constraints can be identified from the minimal set by inverting the predicates in the minimal set.