-
1
Commutativity Analysis for XML Updates
Veröffentlicht in ACM transactions on database systems
VolltextArtikel -
2
Integrity constraints for XML
Veröffentlicht in Journal of computer and system sciences
VolltextArtikel -
3
Translating canonical SQL to imperative code in Coq
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
4
-
5
Adaptive XML shredding: Architecture, implementation, and challenges
Veröffentlicht in Lecture notes in computer science
VolltextArtikel -
6
Prototyping a query compiler using Coq (experience report)
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
7
-
8
-
9
-
10
A unified constraint model for XML
Veröffentlicht in Computer networks (Amsterdam, Netherlands : 1999)
VolltextArtikel -
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20