{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001631538,0.00005234661,0.0001116319,0.0001017548,0.00007985595,0.00001207134,0.00005373329,0.0000174579,0.000002493373],"category_scores_gemma":[0.00004616669,0.00004206026,0.00001572691,0.0002248199,0.00002031043,0.0004317282,0.0000510759,0.00005257542,0.000002932672],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001071471,"about_ca_system_score_gemma":0.00003756705,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000748803,"about_ca_topic_score_gemma":0.000003107584,"domain_scores_codex":[0.9993877,0.00002917098,0.000300782,0.00009551946,0.0001320013,0.00005478913],"domain_scores_gemma":[0.9992275,0.0001466907,0.0002610263,0.00006201092,0.0002635301,0.00003919555],"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.000008234883,0.00003129059,0.0008170499,0.00001367958,0.000006004636,0.000002235132,0.0000733171,0.01413284,0.0005660638,0.9802773,0.000437836,0.00363412],"study_design_scores_gemma":[0.002320818,0.001672214,0.220819,0.0004395759,0.0001135874,0.001298578,0.0005058769,0.2042976,0.0007485872,0.4561433,0.1108373,0.0008035716],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0212747,0.001000699,0.9766492,0.0006060505,0.00005301329,0.00009459018,0.00001000642,0.00000882257,0.0003029743],"genre_scores_gemma":[0.6868128,0.00003306444,0.312943,0.0000629925,0.00006930703,0.000002306297,0.00001180763,0.000001951693,0.00006282215],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6655381,"threshold_uncertainty_score":0.1715168,"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."}}