Vi studerar typkontroll problem för XML (eXtensible Markup Language) transformatorer: givet en XML omvandlingsprogram och en DTD för indata XML-dokument, kontrollera om varje resultat av programmet överensstämmer med en specificerad utdata DTD. Vi modellerar XML-transformatorer med hjälp av en ny enhet som kallas en k-pebble transducer, som kan uttrycka de flesta frågor utan data-värde ansluter sig till XML-QL, XSLT, och andra XML-fråga språk. Typer modelleras av vanliga trädspråk, en robust förlängning av DTD:er. Det huvudsakliga resultatet av papperet är att typkontroll för k-pebble transducers är decidable. Följaktligen kan typkontroll utföras för ett brett spektrum av XML-transformationsspråk, inklusive XML-QL och ett fragment av XSLT. r 2003 Publicerad av Elsevier Science (USA).
Milo, Suciu och Vianu har studerat ett typkontroll problem för den allmänna ramen för k-pebble trädgivare, som kan fånga ett brett utbud av frågespråk för XML REF.
Typechecking for XML transformers
{'venue': 'J. Comput. Syst. Sci.', 'journal': 'J. Comput. Syst. Sci.', 'mag_field_of_study': ['Computer Science']}