Programming for XML

In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a standard type inference algorithm for logic programs and use the types corresponding to the DTDs as additional type declarations for logic programs for XML processing. Due to the correctness of the type inference this makes it possible to use logic programs as an implicitly typed processing language for XML with static type (in this case DTDs) validation. As far as we know this is the first work adding type validation at compile time to the use of logic programming for XML processing.

• Type: Conference
• Year: 2006
• Where: SIGMOD
• Authors: Daniela Florescu, Donald Kossmann
• Keywords: Database, Logic Programs, SIGMOD 2006, Type Inference Algorithm, XML Processing