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