{"id":"W4386128170","doi":"10.14778/3611479.3611493","title":"Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study","year":2023,"lang":"en","type":"article","venue":"Proceedings of the VLDB Endowment","topic":"Data Management and Algorithms","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Chase; Set (abstract data type); Class (philosophy); Focus (optics); Existential quantification; Existentialism; Theoretical computer science; Implementation; Key (lock); Algorithm; Programming language; Database; Artificial intelligence; Mathematics; Computer security","routes":{"ca_aff":true,"ca_fund":true,"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.0004989082,0.0001407236,0.0001412951,0.0001488755,0.0001880241,0.0001906816,0.001327157,0.00002276348,0.000004552625],"category_scores_gemma":[0.00002749856,0.0001057198,0.00008245828,0.0003682791,0.00003215086,0.0008786215,0.0008622242,0.0000514545,0.00001582575],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000432852,"about_ca_system_score_gemma":0.00001069438,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001604763,"about_ca_topic_score_gemma":9.053474e-7,"domain_scores_codex":[0.998673,0.000007030041,0.0002457245,0.0003870617,0.0004330339,0.0002541224],"domain_scores_gemma":[0.9994265,0.00001614866,0.0001661658,0.0002414072,0.00009626859,0.00005346214],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0004182665,0.02507131,0.00739454,0.001185708,0.0008322506,0.00003262064,0.08050522,0.0001697303,0.3895938,0.1839927,0.0676931,0.2431108],"study_design_scores_gemma":[0.009569158,0.006787746,0.007942491,0.0002214164,0.0001942136,0.00001665766,0.02194554,0.2898438,0.6422818,0.007694661,0.0122239,0.001278606],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9928727,0.00002210111,0.001990473,0.0005053973,0.0007868177,0.002162327,0.00002814328,0.000319892,0.001312109],"genre_scores_gemma":[0.9934499,0.000004879849,0.004922189,0.00005868208,0.0001653794,0.0003307126,0.00001515469,0.00001427115,0.00103888],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2896741,"threshold_uncertainty_score":0.4311129,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0371439558842468,"score_gpt":0.3083710072932785,"score_spread":0.2712270514090317,"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."}}