{"id":"W2110616577","doi":"10.1016/j.jal.2004.07.023","title":"Deductive databases for computing certain and consistent answers from mediated data integration systems","year":2004,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Datalog; Deductive database; Computer science; Conjunctive query; Semantics (computer science); Data integrity; Class (philosophy); Theoretical computer science; Database theory; Operator (biology); Database; Programming language; Database design; Artificial intelligence; 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.0006762761,0.0001410986,0.0003131313,0.00009557672,0.0001297704,0.0001589925,0.0006837558,0.00005156995,0.000001403133],"category_scores_gemma":[0.00022007,0.0000996366,0.00003995984,0.0001475582,0.0000715217,0.0003751011,0.0002385422,0.0001669944,0.000003319907],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008419908,"about_ca_system_score_gemma":0.0001598618,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006803477,"about_ca_topic_score_gemma":0.00002710147,"domain_scores_codex":[0.9988471,0.00003887532,0.0004190156,0.000304842,0.0002040828,0.0001860722],"domain_scores_gemma":[0.9983719,0.0004763865,0.0005007482,0.0003541521,0.0001843729,0.0001124315],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000431913,0.0006596587,0.0006823666,0.0001396356,0.0005769355,0.0001260525,0.009563654,0.008196694,0.02018121,0.9170238,0.004445416,0.03797264],"study_design_scores_gemma":[0.02690477,0.003081311,0.0109527,0.001841115,0.0009503036,0.001538459,0.03563936,0.6217998,0.01588458,0.2570508,0.0213078,0.003048979],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05927387,0.00117572,0.9374434,0.000325594,0.0006802361,0.0002946497,0.00004987022,0.00003503981,0.0007215699],"genre_scores_gemma":[0.9216743,0.00005311436,0.07778895,0.000134935,0.0002677045,0.000002539657,0.00006962181,0.000006028969,0.000002852964],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8624004,"threshold_uncertainty_score":0.4063063,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07065628126672241,"score_gpt":0.2913610897038004,"score_spread":0.220704808437078,"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."}}