DISSERTATION

Static type analysis of XQuery expressions using rewriting calculus

Keywords:
Rewriting XQuery Type (biology) Calculus (dental) Confluence Computer science Programming language Mathematics XML Geology World Wide Web

Metrics

0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Parallel Computing and Optimization Techniques
Physical Sciences →  Computer Science →  Hardware and Architecture
Advanced Database Systems and Queries
Physical Sciences →  Computer Science →  Computer Networks and Communications

Related Documents

JOURNAL ARTICLE

Specifications using XQuery Expressions on Traces

Marcus Venzke

Journal:   Electronic Notes in Theoretical Computer Science Year: 2004 Vol: 105 Pages: 109-118
BOOK-CHAPTER

Semantic Optimization of XQuery by Rewriting

Philip HansonMurali Mani

Lecture notes in computer science Year: 2010 Pages: 87-95
JOURNAL ARTICLE

Rewriting XQuery by child-path folding

Hiroyuki KatoSoichiro HidakaMasatoshi Yoshikawa

Journal:   Progress in Informatics Year: 2007 Pages: 15-15
© 2026 ScienceGate Book Chapters — All rights reserved.