{"id":"W1838030265","doi":"10.1023/a:1026153912205","title":"Database Repairs and Analytic Tableaux","year":2003,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Relational database; Computer science; Data integrity; Set (abstract data type); Closing (real estate); Relational model; Basis (linear algebra); Deductive database; Functional dependency; Database; Information retrieval; Theoretical computer science; Data mining; Programming language; Mathematics","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.004396267,0.0005232742,0.001152977,0.001852845,0.001938653,0.005973203,0.002634435,0.001869593,0.008712645],"category_scores_gemma":[0.02367681,0.001016059,0.001492075,0.002869758,0.004417162,0.01006126,0.002482483,0.003402795,0.001077496],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002792498,"about_ca_system_score_gemma":0.00154957,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003404833,"about_ca_topic_score_gemma":0.003324942,"domain_scores_codex":[0.9968795,0.0009887995,0.0003843337,0.0004891655,0.0009679507,0.0002903294],"domain_scores_gemma":[0.9830182,0.01202905,0.000915281,0.002507739,0.001216843,0.0003129237],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007553552,0.00002461478,0.0003005973,0.00008473966,0.00001784556,0.0001308688,0.0003335098,0.007459843,0.0004032953,0.9672094,0.003047373,0.02091252],"study_design_scores_gemma":[0.00001977441,0.000008024259,0.0000502249,0.00002011999,0.00001671132,0.00008853651,0.00007672462,0.01265104,0.000543457,0.9801035,0.006409168,0.00001254239],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07910758,0.006411183,0.8565843,0.007015293,0.0006267277,0.0001764368,0.001159217,0.002006711,0.04691258],"genre_scores_gemma":[0.7052689,0.00313927,0.2659493,0.0007177302,0.0004013219,0.0001587109,0.001038394,0.0003827759,0.02294361],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008712645,"threshold_uncertainty_score":0.02914673,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1302455512069036,"score_gpt":0.3348983845880137,"score_spread":0.20465283338111,"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."}}