{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005870749,0.0009556131,0.0009449364,0.002459834,0.002716659,0.004557424,0.002156648,0.001815059,0.01503],"category_scores_gemma":[0.01230219,0.00124485,0.002429775,0.001770563,0.002758605,0.008897413,0.005442637,0.004700631,0.004051341],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002421627,"about_ca_system_score_gemma":0.003927587,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00258111,"about_ca_topic_score_gemma":0.002736682,"domain_scores_codex":[0.995812,0.001102474,0.000500523,0.0007989552,0.001482343,0.0003036726],"domain_scores_gemma":[0.989665,0.007042762,0.0003985478,0.00103713,0.001605531,0.0002510433],"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.00004025575,0.00003986253,0.0001716325,0.0003399977,0.00003884265,0.0003562813,0.0004363572,0.003702295,0.003285836,0.9303625,0.01138763,0.0498386],"study_design_scores_gemma":[0.00009595595,0.00004788498,0.0001387896,0.0001380138,0.00008993319,0.0003594653,0.00008612846,0.03618415,0.006720068,0.8673382,0.08873936,0.00006205688],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002652671,0.0005630456,0.9835686,0.001414218,0.0003152132,0.0002024663,0.0006701011,0.002014462,0.008599229],"genre_scores_gemma":[0.09887301,0.001100434,0.885735,0.001167188,0.0005065593,0.0004847725,0.001734204,0.0006630214,0.009735723],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01503,"threshold_uncertainty_score":0.05028033,"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."}}