File Download
Supplementary
-
Citations:
- Appears in Collections:
postgraduate thesis: Static type analysis of XQuery expressions using rewriting calculus
Title | Static type analysis of XQuery expressions using rewriting calculus |
---|---|
Authors | |
Advisors | Advisor(s):Cheung, DWL |
Issue Date | 2007 |
Publisher | The University of Hong Kong (Pokfulam, Hong Kong) |
Citation | Wang, Z. [王珍]. (2007). Static type analysis of XQuery expressions using rewriting calculus. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3888296 |
Degree | Master of Philosophy |
Subject | XML (Document markup language) Query languages (Computer science) Calculus. |
Dept/Program | Computer Science |
Persistent Identifier | http://hdl.handle.net/10722/50829 |
HKU Library Item ID | b3888296 |
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Cheung, DWL | - |
dc.contributor.author | Wang, Zhen | - |
dc.contributor.author | 王珍 | - |
dc.date.issued | 2007 | - |
dc.identifier.citation | Wang, Z. [王珍]. (2007). Static type analysis of XQuery expressions using rewriting calculus. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3888296 | - |
dc.identifier.uri | http://hdl.handle.net/10722/50829 | - |
dc.language | eng | - |
dc.publisher | The University of Hong Kong (Pokfulam, Hong Kong) | - |
dc.relation.ispartof | HKU Theses Online (HKUTO) | - |
dc.rights | The author retains all proprietary rights, (such as patent rights) and the right to use in future works. | - |
dc.rights | This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License. | - |
dc.source.uri | http://hub.hku.hk/bib/B38882966 | - |
dc.subject.lcsh | XML (Document markup language) | - |
dc.subject.lcsh | Query languages (Computer science) | - |
dc.subject.lcsh | Calculus. | - |
dc.title | Static type analysis of XQuery expressions using rewriting calculus | - |
dc.type | PG_Thesis | - |
dc.identifier.hkul | b3888296 | - |
dc.description.thesisname | Master of Philosophy | - |
dc.description.thesislevel | Master | - |
dc.description.thesisdiscipline | Computer Science | - |
dc.description.nature | published_or_final_version | - |
dc.description.nature | abstract | - |
dc.identifier.doi | 10.5353/th_b3888296 | - |
dc.date.hkucongregation | 2007 | - |
dc.identifier.mmsid | 991019963499703414 | - |