Art

J-GLOBAL ID：201602285181850052   Reference number：16A0399883

XQuery Type Inference under Restricted DTDs

制限されたDTDクラスのもとでのXQuery式の型推論

Author (4)： SUGIMURA KENJI (大阪大 大学院情報科学研究科) ,  ISHIHARA YASUNORI (大阪大 大学院情報科学研究科) ,  KATO HIROYUKI (国立情報学研) ,  FUJIWARA TOORU (大阪大 大学院情報科学研究科)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 115  Issue： 508(SS2015 76-100)  Page： 37-42  Publication year： Mar. 03, 2016 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *functional language ,  *query language ,  *type inference ,  optimization ,  data structure ,  classification ,  algorithm ,  *XQuery ,  estimation algorithm ,  modification
Semi thesaurus term： W3C XML Schema ,  class ,  query optimization

JST classification (2)： Computer system development  (JD02010R) ,  Theory of computation  (JB02000A)

Terms in the title (4)： 制限 ,  クラス ,  XQuery ,  型推論