{"id":"W1967675407","doi":"10.1093/logcom/exl010","title":"A Logic of Type Relations and its Applications to Relational Databases","year":2006,"lang":"en","type":"article","venue":"Journal of Logic and Computation","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"St. Francis Xavier University","funders":"","keywords":"Relational database; Computer science; Nondeterministic algorithm; Relational model; Rough set; Relational calculus; Type (biology); Set (abstract data type); Relational algebra; Theoretical computer science; Database; Programming language; Algebra over a field; Mathematics; Artificial intelligence; Pure 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.004265331,0.001015349,0.001159579,0.003104315,0.003155317,0.009101949,0.002891486,0.002393855,0.006368912],"category_scores_gemma":[0.008932077,0.001322292,0.003243556,0.007160053,0.00689925,0.01269223,0.004431495,0.006014111,0.002243265],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002530247,"about_ca_system_score_gemma":0.002608225,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003545612,"about_ca_topic_score_gemma":0.002408752,"domain_scores_codex":[0.9972066,0.0008097599,0.0003431701,0.0004882166,0.0009554343,0.000196824],"domain_scores_gemma":[0.9966948,0.001824945,0.0002882516,0.0004254988,0.0004775428,0.0002890031],"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.00001385088,0.00001487,0.0000662626,0.00007745295,0.00001210859,0.0001757737,0.0002069381,0.001598277,0.0003431673,0.9797071,0.002185439,0.0155988],"study_design_scores_gemma":[0.00001183393,0.00001445427,0.00004471358,0.00007390368,0.00001949296,0.0002834731,0.00007659582,0.008150815,0.0004133481,0.9618162,0.02906872,0.00002643189],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003832071,0.008715205,0.9600556,0.003603161,0.001391364,0.0001277654,0.0003197686,0.0006719115,0.0212831],"genre_scores_gemma":[0.1055034,0.01420382,0.8584025,0.001874287,0.002494012,0.0003978685,0.0004562557,0.0003715798,0.01629629],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009101949,"threshold_uncertainty_score":0.02255756,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05253134681654478,"score_gpt":0.3101409083156687,"score_spread":0.2576095614991239,"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."}}