Vi ser problemet med XML-schemats utveckling. I den ständigt föränderliga kontexten av webben, XML scheman ständigt förändras för att klara av den naturliga utvecklingen av de enheter som de beskriver. Schemaförändringar får viktiga konsekvenser. För det första är befintliga dokument som är giltiga med avseende på det ursprungliga schemat inte längre garanterade att uppfylla de begränsningar som beskrivs av det utvecklade schemat. För det andra påverkar evolutionen också program, manipulera dokument vars struktur beskrivs av det ursprungliga schemat. Vi föreslår en enhetlig ram för att bestämma effekterna av XML Schema evolution både på giltigheten av dokument och på frågor. Systemet är mycket kraftfullt i att analysera olika scenarier där framåt / bakåt kompatibilitet av scheman bryts, och där resultatet av en fråga kanske inte längre är vad som förväntades. Specifikt erbjuder systemet ett predikat språk som gör det möjligt att formulera egenskaper relaterade till schema evolution. Systemet bygger sedan på exakta resonemang tekniker för att utföra en finkornig analys. Detta ger antingen ett formellt bevis på fastigheten eller ett motexempel som kan användas för felsökning. Systemet har genomförts fullt ut och testats med verkliga användningsfall, särskilt med de huvudsakliga standardformaten för dokument som används på webben, såsom de definieras av W3C. Systemet identifierar exakt kompatibilitetsrelationer mellan dokumentformat. Om dessa förbindelser inte håller, systemet kan identifiera frågor som måste omformuleras för att producera de förväntade resultaten över på varandra följande schema versioner.
I synnerhet är det arbete som finns i REF handlar om representationen av schema förändringar i termer av logik för att exakt dra slutsatsen beteendet hos XPath frågor över på varandra följande schema versioner.
Impact of XML Schema Evolution
{'venue': 'TOIT', 'journal': None, 'mag_field_of_study': ['Computer Science']}