{"id":"W2157172193","doi":"10.1109/pdis.1991.183073","title":"Data partition: a practical parallel evaluation of datalog programs","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Datalog; Heuristics; Partition (number theory); Computer science; Partition problem; Key (lock); Theoretical computer science; Programming language; 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.003271304,0.0009048195,0.001032383,0.0008552289,0.0008025503,0.002116665,0.001975846,0.0006977042,0.004208796],"category_scores_gemma":[0.009960823,0.001002217,0.0009464573,0.0009285675,0.001700952,0.003801665,0.002253049,0.001746549,0.0006387935],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001467542,"about_ca_system_score_gemma":0.001364881,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002791885,"about_ca_topic_score_gemma":0.003208479,"domain_scores_codex":[0.9963128,0.001270925,0.0002091497,0.0004984205,0.001319622,0.0003890256],"domain_scores_gemma":[0.9936999,0.003981975,0.0002522556,0.001190262,0.0007163787,0.000159194],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001529447,0.0004902814,0.002619809,0.0005778018,0.0001452517,0.000446321,0.001278409,0.1716744,0.04244041,0.1184599,0.00774018,0.6525978],"study_design_scores_gemma":[0.0001942488,0.000257313,0.0004011761,0.00006592576,0.0001048126,0.0002275006,0.0001927998,0.8426417,0.05537153,0.08868755,0.01180039,0.00005510968],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02355942,0.0001219383,0.972473,0.000164195,0.00002294763,0.0001668902,0.00003861418,0.001351223,0.002101844],"genre_scores_gemma":[0.3108317,0.0001495314,0.684394,0.0001846942,0.00004168156,0.0002245362,0.0001728476,0.000814416,0.003186545],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004208796,"threshold_uncertainty_score":0.01730055,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3166946293195018,"score_gpt":0.3746318565335322,"score_spread":0.05793722721403044,"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."}}