{"id":"W2164513665","doi":"10.1145/773153.773165","title":"Query containment and rewriting using views for regular path queries under constraints","year":2003,"lang":"en","type":"article","venue":"","topic":"semigroups and automata theory","field":"Computer Science","cited_by":45,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Rewriting; Containment (computer programming); Computer science; Path (computing); Query optimization; Path expression; Query language; Theoretical computer science; Programming language; Information retrieval","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.003704695,0.0005452732,0.001247704,0.0008110648,0.0008276859,0.003033419,0.001333819,0.001082235,0.002023599],"category_scores_gemma":[0.01765668,0.0005856449,0.001678783,0.001280732,0.002557342,0.00635779,0.002086618,0.001708017,0.0003289918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001172779,"about_ca_system_score_gemma":0.00158131,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00284458,"about_ca_topic_score_gemma":0.002793787,"domain_scores_codex":[0.9927303,0.002603354,0.0007919473,0.001404156,0.001982923,0.0004872959],"domain_scores_gemma":[0.9840279,0.01133309,0.0008227275,0.002445093,0.001103976,0.0002672524],"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.0003347288,0.0001593507,0.002342506,0.0008632923,0.0001768362,0.001058856,0.00242493,0.09106976,0.0321454,0.7305112,0.00286634,0.1360468],"study_design_scores_gemma":[0.00006787912,0.0001672434,0.0005113863,0.00008406922,0.0001362322,0.0007329201,0.0007000312,0.3369616,0.03590001,0.6109358,0.01372693,0.00007590438],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04541356,0.0004262122,0.9492747,0.0004175537,0.00004279046,0.0002282736,0.0002306725,0.0008557374,0.003110665],"genre_scores_gemma":[0.4839144,0.0005185332,0.5113562,0.0002640117,0.0001028945,0.0002523535,0.000849972,0.0003332089,0.002408409],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003704695,"threshold_uncertainty_score":0.01959252,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03975749922568479,"score_gpt":0.2718654214188744,"score_spread":0.2321079221931896,"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."}}