{"id":"W2170712852","doi":"10.14778/2536258.2536262","title":"Discovering denial constraints","year":2013,"lang":"en","type":"article","venue":"Proceedings of the VLDB Endowment","topic":"Data Quality and Management","field":"Decision Sciences","cited_by":252,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Rotation formalisms in three dimensions; Scalability; Inference; Data integrity; Set (abstract data type); Functional dependency; Constraint (computer-aided design); Theoretical computer science; Rank (graph theory); Semantics (computer science); Function (biology); Data mining; Artificial intelligence; Programming language; Database; Relational database","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01002849,0.001878893,0.002140607,0.005793695,0.00281759,0.005422847,0.004843651,0.002492945,0.006076572],"category_scores_gemma":[0.06524177,0.001217365,0.002575205,0.00521947,0.001869019,0.01194757,0.005861333,0.004345814,0.001468525],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002752434,"about_ca_system_score_gemma":0.006749071,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008869141,"about_ca_topic_score_gemma":0.01100694,"domain_scores_codex":[0.9747038,0.007525744,0.002251216,0.00443259,0.009265797,0.001820832],"domain_scores_gemma":[0.9453601,0.03358305,0.00326691,0.008111537,0.008476475,0.001201925],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000666251,0.0005313721,0.03876958,0.001719955,0.0005265963,0.001871795,0.001223383,0.1119818,0.0111726,0.2364928,0.05681894,0.5382251],"study_design_scores_gemma":[0.00007268655,0.00007926219,0.002910353,0.0002359403,0.0001420032,0.001165007,0.001145249,0.6139483,0.0162853,0.3189627,0.04493577,0.0001174735],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06368043,0.001013549,0.9088178,0.004080155,0.0002533149,0.0008495224,0.006414272,0.003734162,0.01115685],"genre_scores_gemma":[0.3549635,0.000549057,0.6268752,0.001354953,0.000182421,0.0004705918,0.01107964,0.0007399461,0.003784626],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01002849,"threshold_uncertainty_score":0.05303633,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08220481571088507,"score_gpt":0.3393964871060694,"score_spread":0.2571916713951843,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}