{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007404847,0.0008320501,0.001827376,0.004264815,0.001724964,0.008285174,0.004945554,0.002519989,0.004751582],"category_scores_gemma":[0.03662008,0.001071372,0.001902099,0.004411177,0.002660709,0.009446743,0.004242165,0.002658049,0.001353247],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001983911,"about_ca_system_score_gemma":0.002372308,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003706658,"about_ca_topic_score_gemma":0.005843439,"domain_scores_codex":[0.9916078,0.002294102,0.001034398,0.001116644,0.003543266,0.0004037758],"domain_scores_gemma":[0.9826514,0.01053917,0.0007686428,0.003824684,0.001898102,0.0003179699],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001424869,0.0005187652,0.006532658,0.00119347,0.0005437046,0.0008758294,0.002203795,0.09158253,0.006740883,0.4359169,0.007246627,0.44522],"study_design_scores_gemma":[0.0001491313,0.0001377003,0.0008023874,0.0001146828,0.0003395524,0.0003315428,0.0005256192,0.5594028,0.01128074,0.4212574,0.005578247,0.00008021177],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0427663,0.001085764,0.9486846,0.0004655797,0.00006977956,0.0003245594,0.0008196904,0.003086076,0.002697599],"genre_scores_gemma":[0.37321,0.0005431116,0.6221821,0.0002339194,0.00008979641,0.0003788279,0.001876536,0.0001630662,0.001322606],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008285174,"threshold_uncertainty_score":0.03916103,"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."}}