{"id":"W1682128552","doi":"10.3233/fi-2000-42101","title":"A Proof System for Dependencies for Information Relations","year":2000,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"St. Francis Xavier University; Natural Sciences and Engineering Research Council of Canada","funders":"","keywords":"Computer science; Dependency theory (database theory); Theoretical computer science; Data mining; Functional dependency; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003136983,0.0001376295,0.0001746949,0.000104413,0.0003937137,0.0002039198,0.0003096345,0.00005211059,0.00003647031],"category_scores_gemma":[0.00005740468,0.0001187375,0.00008488946,0.0001821105,0.0000290948,0.006861811,0.00005779695,0.00004429308,0.0002073322],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001217468,"about_ca_system_score_gemma":0.00008506666,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009889062,"about_ca_topic_score_gemma":0.000007521784,"domain_scores_codex":[0.9987558,0.00001105241,0.0006123981,0.0001091438,0.0002177525,0.0002938108],"domain_scores_gemma":[0.9990391,0.0001362024,0.0001817728,0.0004311652,0.0001326386,0.0000791622],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00004090384,0.00002036171,0.00003518824,0.0007433087,0.0000328136,1.817934e-7,0.00418345,0.000862414,0.00001372597,0.8834784,0.01050193,0.1000873],"study_design_scores_gemma":[0.0007845751,0.0001423366,0.00004631603,0.00009553077,0.000009991347,0.00002179631,0.001193464,0.09427769,0.0005814616,0.0005644669,0.9020877,0.0001946506],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001098017,0.00002102969,0.9834355,0.0002264841,0.00024874,0.001690428,0.0003083844,0.0002342774,0.01273722],"genre_scores_gemma":[0.1431698,0.000005663849,0.8501955,0.0006817762,0.0001219528,0.002757892,0.0005672713,0.00001530414,0.002484802],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8915858,"threshold_uncertainty_score":0.4974647,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01231327066235364,"score_gpt":0.2367225078909976,"score_spread":0.2244092372286439,"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."}}