{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009825457,0.001626623,0.001824364,0.002177781,0.003071408,0.006614729,0.002854351,0.003075841,0.006121113],"category_scores_gemma":[0.05507664,0.001943924,0.002345143,0.0056263,0.005850296,0.0210895,0.005149903,0.007096113,0.001045487],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004876309,"about_ca_system_score_gemma":0.00393241,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0112987,"about_ca_topic_score_gemma":0.00974946,"domain_scores_codex":[0.9844358,0.007217756,0.001392742,0.002130299,0.003752451,0.0010708],"domain_scores_gemma":[0.8988146,0.08855272,0.003968493,0.00428781,0.003573681,0.0008026639],"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.0001671058,0.0001108127,0.0007105806,0.000521152,0.00005875532,0.0009439238,0.0006154827,0.1610368,0.002159378,0.7908875,0.003859656,0.03892882],"study_design_scores_gemma":[0.00009012471,0.00007219196,0.0002242516,0.0002031772,0.00005376878,0.0005661089,0.0002932595,0.2441733,0.004473339,0.7311041,0.01869003,0.00005634661],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02628368,0.001544959,0.9488677,0.005993593,0.0002032565,0.0003540715,0.0007994217,0.0004525343,0.01550082],"genre_scores_gemma":[0.3457747,0.004590786,0.6335754,0.001799133,0.0007950734,0.0009081019,0.002211789,0.0005062023,0.009838897],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0112987,"threshold_uncertainty_score":0.05196255,"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."}}