IIT Database Group

2010
[5] Correctness Proof of the Declarative SS2PL Protocol Implementation Christian Tilgner, Boris Glavic, Michael H. Böhlen, Carl-Christian KanneTechnical report, University of Zurich, 2010 [bibtex] [pdf]
[4] Data lineage/provenance in XQuery Donald Kossmann, Peter M. Fischer, Kyumars Sheykh Esmaili, Boris Glavic, Beat Steiger (Master Thesis), Master's thesis, ETH Zurich, 2010 [bibtex]
[3] TRAMP: Understanding the Behavior of Schema Mappings through Provenance Boris Glavic, Gustavo Alonso, Renée J. Miller, Laura M. HaasIn Proceedings of the Very Large Data Bases Endowment (PVLDB), volume 3, 2010 [bibtex] [pdf] [slides]
[2] Perm: Efficient Provenance Support for Relational Databases Boris Glavic (PhD Thesis), PhD thesis, University of Zurich, 2010 [bibtex] [pdf]
[1] Formal Foundation of Contribution Semantics and Provenance Computation through Query Rewrite in TRAMP Boris GlavicTechnical report, University of Zurich, 2010 [bibtex] [pdf]