{"id":"W1988662949","doi":"10.1145/567112.567117","title":"On XML integrity constraints in the presence of DTDs","year":2002,"lang":"en","type":"article","venue":"Journal of the ACM","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":175,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Unary operation; Undecidable problem; Computer science; Data integrity; Consistency (knowledge bases); Theoretical computer science; XML validation; XML; Negation; Programming language; Decidability; Discrete mathematics; Mathematics; 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.001944597,0.00004475884,0.00009103249,0.00005368803,0.00003208024,0.00002818542,0.004596884,0.00002985252,0.00001759851],"category_scores_gemma":[0.005101413,0.0000215072,0.00006532824,0.0002737001,0.0001209845,0.0002321239,0.0002467249,0.0004226002,0.000005186038],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002596719,"about_ca_system_score_gemma":0.00002130063,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003563799,"about_ca_topic_score_gemma":9.309171e-7,"domain_scores_codex":[0.9988618,0.0003751857,0.000272679,0.00005667276,0.0003511818,0.0000824231],"domain_scores_gemma":[0.9980668,0.0004692958,0.0003394675,0.001028378,0.00007883684,0.00001726326],"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.00008281986,0.0009917468,0.008569544,0.00005538754,0.0000576274,0.0000432181,0.0224118,0.001562212,0.009045254,0.5677987,0.03303506,0.3563466],"study_design_scores_gemma":[0.001678417,0.001351753,0.2693858,0.0008942097,0.00003184122,0.001359199,0.0009726658,0.1067434,0.05432896,0.5590951,0.003805481,0.000353253],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8698221,0.0001964267,0.09969229,0.02065505,0.001766223,0.0002236525,0.000001575851,0.000009255079,0.00763342],"genre_scores_gemma":[0.8750719,0.00001566047,0.1245793,0.0002756118,0.00002990922,5.255905e-7,5.192045e-9,0.000001229455,0.0000257694],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3559933,"threshold_uncertainty_score":0.8542232,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08962250952427965,"score_gpt":0.3285199342965478,"score_spread":0.2388974247722682,"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."}}