BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Date iCal//NONSGML kigkonsult.se iCalcreator 2.20.2//
METHOD:PUBLISH
X-WR-CALNAME;VALUE=TEXT:Eventi DIAG
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:STANDARD
DTSTART:20131027T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20130331T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:calendar.6691.field_data.0@www.u-gov-ricerca.uniroma1.it
DTSTAMP:20260407T150954Z
CREATED:20130618T132522Z
DESCRIPTION:The structure of an XML document can be optionally specified by
  means of XML Schema\, thus enabling the exploitation of  structural infor
 mation  for efficient document handling. Upon schema evolution\, or when e
 xchanging documents among different collections exploiting related but not
  identical schemas\, the need may arise of adapting a document\, known to 
 be valid for a given schema S\, to a target schema S'.The adaptation may r
 equire knowledge of the element semantics and cannot always be automatical
 ly derived.We present an automata-based method for the static analysis of 
 user-defined XML document adaptations\, expressed as sequences of XQuery U
 pdate update primitives. The key feature of the method is the use of an au
 tomatic inference method for extracting the type\, expressed as an Hedge A
 utomaton\, of a sequence of document updates. The type is computed startin
 g from the original schema S and from rewriting rules that formally define
  the operational semantics of a sequence of document updates. Type inclusi
 on can then be used as conformance test w.r.t. the type extracted from the
  target schema S'.
DTSTART;TZID=Europe/Paris:20130619T140000
DTEND;TZID=Europe/Paris:20130619T140000
LAST-MODIFIED:20130618T134432Z
LOCATION:DIAG - Via Ariosto 25\, Aula Magna
SUMMARY:Automata-based Static Analysis of XML Document Adaptations - Alessa
 ndro Solimando (Univeristà di Genova)
URL;TYPE=URI:http://www.u-gov-ricerca.uniroma1.it/node/6691
END:VEVENT
END:VCALENDAR