{"id":"W2403315168","doi":"","title":"On Axiomatization and Inference Complexity over a Hierarchy of Functional Dependencies.","year":2015,"lang":"en","type":"article","venue":"AMW","topic":"Data Quality and Management","field":"Decision Sciences","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; Ontario Tech University","funders":"","keywords":"Functional dependency; Inference; Hierarchy; Tuple; Mathematics; Dependency theory (database theory); Rule of inference; Theoretical computer science; Metric (unit); Antecedent (behavioral psychology); Focus (optics); Extension (predicate logic); Computer science; Algorithm; Discrete mathematics; Data mining; Artificial intelligence; Relational database; Programming language","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.01669485,0.001498187,0.001920104,0.003977607,0.002315319,0.006038649,0.0050596,0.002394569,0.008455924],"category_scores_gemma":[0.09814243,0.001911707,0.006365048,0.006178854,0.005252669,0.01929565,0.006149217,0.009843538,0.00101621],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00665948,"about_ca_system_score_gemma":0.005913902,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01379781,"about_ca_topic_score_gemma":0.01811391,"domain_scores_codex":[0.9760199,0.008423318,0.002358906,0.00517834,0.006693542,0.001325996],"domain_scores_gemma":[0.7843047,0.1913599,0.00442146,0.01184988,0.007070643,0.0009933922],"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.0003397932,0.0005313651,0.006983204,0.00171266,0.0005146046,0.0007232601,0.001308891,0.1699982,0.004906693,0.5522287,0.01110273,0.2496499],"study_design_scores_gemma":[0.00007659594,0.00005778287,0.001112535,0.0001001293,0.0001515482,0.0003531379,0.0001470138,0.3649936,0.002519026,0.6261682,0.004255801,0.00006464423],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01937033,0.0005778258,0.9720257,0.002203996,0.0000635385,0.0003327255,0.001102443,0.0009307816,0.003392714],"genre_scores_gemma":[0.1405836,0.00073878,0.8528509,0.0009014065,0.0002827853,0.0004209524,0.002363018,0.0002586625,0.001599842],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01669485,"threshold_uncertainty_score":0.08829182,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.5096816871169793,"score_gpt":0.448804435074362,"score_spread":0.06087725204261729,"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."}}