Visibly pushdown transducers for approximate validation of streaming XML
| dc.contributor.author | Ye, Ying Ying | |
| dc.contributor.supervisor | Srinivasan, Venkatesh | |
| dc.contributor.supervisor | Thomo, Alex | |
| dc.date.accessioned | 2008-12-03T00:58:30Z | |
| dc.date.available | 2008-12-03T00:58:30Z | |
| dc.date.copyright | 2008 | en_US |
| dc.date.issued | 2008-12-03T00:58:30Z | |
| dc.degree.department | Department of Computer Science | |
| dc.degree.level | Master of Science M.Sc. | en_US |
| dc.description.abstract | Visibly Pushdown Languages (VPLs), recognized by Visibly Pushdown Automata (VPAs), are a nicely behaved family of context-free languages. It has been shown that VPAs are equivalent to Extended Document Type Definitions (EDTDs), and thus, they provide means for elegantly solving various problems on XML. One of the important problems about XML that can be addressed using VPAs is the validation problem in which we need to decide whether an XML document con- forms to the schema specification given by an EDTD. In this thesis, we are interested in solving the approximate version of this problem, which is to decide whether an XML document can be modified by a tolerable number of edit operations to yield a valid one with respect to a given EDTD. For this, we define Edit Visibly Pushdown Transducers (EVPTs) that give us the framework for solving this problem ([23]). We propose two algorithms; the first algorithm solves the approximate validation for any EDTD in PTIME. The second algorithm solves the same problem for an interesting subclass of EDTDs (those rec- ognizable by FSA) in constant space using only a single pass over the document. | en_US |
| dc.identifier.bibliographicCitation | Thomo, A., Venkatesh, S., Ye, Y., Y. Visibly Pushdown Transducers for Approximate Validation of Streaming XML. In Proc. 5th International Symposium on Foundations of Information and Knowledge Systems (Pisa, Italy, 11–15 February 2008), pp. 219–238. Alex Thomo, Srinivasan Venkatesh, Ying Ying Ye: Visibly Pushdown Transducers for Approximate Validation of Streaming XML. FoIKS 2008: 219-238 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1828/1270 | |
| dc.language | English | eng |
| dc.language.iso | en | en_US |
| dc.rights | Available to the World Wide Web | en_US |
| dc.subject | XML | en_US |
| dc.subject | Approximate Validation Problem | en_US |
| dc.subject | Visibly Pushdown Transducer | en_US |
| dc.subject | EDTD | en_US |
| dc.subject.lcsh | UVic Subject Index::Sciences and Engineering::Applied Sciences::Computer science | en_US |
| dc.title | Visibly pushdown transducers for approximate validation of streaming XML | en_US |
| dc.type | Thesis | en_US |