Abstrakt. W3C släppte nyligen XQuery Update Facility 1.0, en kandidatrekommendation för ett XML-uppdateringsspråk. Det förefaller troligt att detta förslag kommer att bli standard. XQuery har utrustats med en formell semantik och ljud typ system, men det har varit lite arbete med statisk analys eller typkontroll av XML-uppdateringar, och skrivreglerna i det nuvarande W3C förslag är unsound för "transform" frågor som utför inbäddade uppdateringar. I detta papper undersöker vi problemet med schemaförändring, eller synthesizing en output schema som beskriver resultatet av en uppdatering tillämpas på en given indata schema. Vi granskar reguljära uttryck typ system för XQuery, presentera en kärna språk och semantik för W3C-stil XML-uppdateringar, och utveckla en effekt analys, schema ändring, och ljud skriva regler för uppdateringar och "transform" frågor.
En semantik för XQuery Uppdateringar har definierats av Benedikt och Cheney i REF.
Semantics, types and effects for XML updates
{'venue': 'In DBPL', 'journal': None, 'mag_field_of_study': ['Computer Science']}