A formal model for an expressive fragment of XSLT

被引：46

作者：

Bex, GJ

Maneth, S

Neven, F

机构：

[1] Limburgs Univ Ctr, Dept WNI, Infolab, B-3590 Diepenbeek, Belgium

[2] Leiden Univ, LIACS, NL-2300 RA Leiden, Netherlands

来源：

INFORMATION SYSTEMS | 2002年 / 27卷 / 01期

关键词：

XML; XSLT; query languages; databases; expressiveness; logic; tree transducers;

D O I：

10.1016/S0306-4379(01)00033-3

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The extension of the eXtensible Style sheet Language (XSL) by variables and passing of data values between template rules has generated a powerful XML query language: eXtensible Style sheet Language Transformations (XSLT). An informal introduction to XSTL is given, on the bases of which a formal model of a fragment of XSLT is defined. This formal model is in the spirit of tree transducers, and its semantics is defined by rewrite relations. It is shown that the expressive power of the fragment is already beyond that of most other XML query languages. Finally, important properties such as termination and closure under composition are considered. (C) 2002 Elsevier Science Ltd. All rights reserved.

引用

页码：21 / 39

页数：19

共 29 条

[1] Querying documents in object databases
Abiteboul S.
Cluet S.
Christophides V.
Milo T.
Moerkotte G.
Siméon J.
[J]. International Journal on Digital Libraries, 1997, 1 (1) : 5 - 19
[2] Abiteboul S., 1999, DATA WEB RELATIONS S
[3] BEX GJ, 2000, EXAMPLES TRANSLATION
[4] BUNEMAN P, 1996, P 1996 ACM SIGMOD IN, V25, P505
[5] CHAMBERLIN D, 2001, LECT NOTES COMPUTER, V1997, P1
[6] CHAMBERLIN D, 2001, XQUERY 1 0 AN XML QU
[7] Clark J., 1999, XSL TRANSFORMATIONS
[8] Clark J., 1999, XML PATH LANGUAGE XP
[9] Courcelle B., 1994, MATH STRUCT COMPUT S, V4, P1
[10] DEUTSCH A, 1999, DATA ENG B, V22, P10

← 1 2 3 →