IIT Database Group

2010
[5] Correctness Proof of the Declarative SS2PL Protocol Implementation (Christian Tilgner, Boris Glavic, Michael H. Böhlen, Carl-Christian Kanne), Technical 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. Haas), In 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 Glavic), Technical report, University of Zurich, 2010. [bibtex] [pdf]