{"id":280,"date":"2016-09-26T14:11:44","date_gmt":"2016-09-26T14:11:44","guid":{"rendered":"http:\/\/www.macs.hw.ac.uk\/SWeL\/?p=280"},"modified":"2016-09-23T11:14:41","modified_gmt":"2016-09-23T11:14:41","slug":"seminar-language-integrated-provenance","status":"publish","type":"post","link":"https:\/\/www.macs.hw.ac.uk\/SWeL\/2016\/09\/26\/seminar-language-integrated-provenance\/","title":{"rendered":"Seminar: Language-integrated Provenance"},"content":{"rendered":"<p><strong><a href=\"http:\/\/www.macs.hw.ac.uk\/SWeL\/wp-content\/uploads\/2016\/09\/where-provenance.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignright size-medium wp-image-286\" src=\"http:\/\/www.macs.hw.ac.uk\/SWeL\/wp-content\/uploads\/2016\/09\/where-provenance-300x166.png\" alt=\"Wher Provenance\" width=\"300\" height=\"166\" srcset=\"https:\/\/www.macs.hw.ac.uk\/SWeL\/wp-content\/uploads\/2016\/09\/where-provenance-300x166.png 300w, https:\/\/www.macs.hw.ac.uk\/SWeL\/wp-content\/uploads\/2016\/09\/where-provenance.png 768w\" sizes=\"auto, (max-width: 300px) 85vw, 300px\" \/><\/a>Date:<\/strong> 11:15, 3 October 2016<\/p>\n<p><strong>Venue:<\/strong>\u00a0<a href=\"http:\/\/www.hw.ac.uk\/student-life\/campus-life\/edinburgh\/colin-maclaurin-building.htm\">F.17. Colin Maclaurin Building<\/a>, Heriot-Watt University<\/p>\n<p><strong>Title:\u00a0<\/strong>Language-integrated Provenance<\/p>\n<p><strong>Speaker:<\/strong>\u00a0<a href=\"http:\/\/stefan-fehrenbach.net\/\">Stefan Fehrenbach<\/a>, \u00a0Informatics,\u00a0University of Edinburgh<\/p>\n<p><strong>Abstract:\u00a0<\/strong><span class=\"s1\">Provenance, or information about the origin or derivation of\u00a0<\/span><span class=\"s1\">data, is important for assessing the trustworthiness of data and\u00a0<\/span><span class=\"s1\">identifying and correcting mistakes. Most prior implementations\u00a0<\/span><span class=\"s1\">of data provenance have involved heavyweight modifications to\u00a0<\/span><span class=\"s1\">database systems and little attention has been paid to how the\u00a0<\/span><span class=\"s1\">provenance data can be used outside such a system. We present\u00a0<\/span><span class=\"s1\">extensions to the Links programming language that build on its\u00a0<\/span><span class=\"s1\">support for language-integrated query to support provenance\u00a0<\/span><span class=\"s1\">queries by rewriting and normalizing monadic comprehensions and\u00a0<\/span><span class=\"s1\">extending the type system to distinguish provenance metadata from\u00a0<\/span><span class=\"s1\">normal data. We show that the two most common forms of provenance\u00a0<\/span><span class=\"s1\">can be implemented efficiently and used safely as a programming\u00a0<\/span><span class=\"s1\">language feature with no changes to the database system.<\/span><\/p>\n<p><strong>Bio:<\/strong> Stefan is\u00a0<span class=\"s1\">a second year PhD student at the University of Edinburgh where he\u00a0<\/span><span class=\"s1\">works with James Cheney on language support for provenance. <\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Date: 11:15, 3 October 2016 Venue:\u00a0F.17. Colin Maclaurin Building, Heriot-Watt University Title:\u00a0Language-integrated Provenance Speaker:\u00a0Stefan Fehrenbach, \u00a0Informatics,\u00a0University of Edinburgh Abstract:\u00a0Provenance, or information about the origin or derivation of\u00a0data, is important for assessing the trustworthiness of data and\u00a0identifying and correcting mistakes. Most prior implementations\u00a0of data provenance have involved heavyweight modifications to\u00a0database systems and little attention has been &hellip; <a href=\"https:\/\/www.macs.hw.ac.uk\/SWeL\/2016\/09\/26\/seminar-language-integrated-provenance\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Seminar: Language-integrated Provenance&#8221;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[17,53,52],"tags":[],"class_list":["post-280","post","type-post","status-publish","format-standard","hentry","category-presentation","category-programming-languages","category-provenance"],"_links":{"self":[{"href":"https:\/\/www.macs.hw.ac.uk\/SWeL\/wp-json\/wp\/v2\/posts\/280","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.macs.hw.ac.uk\/SWeL\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.macs.hw.ac.uk\/SWeL\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.macs.hw.ac.uk\/SWeL\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.macs.hw.ac.uk\/SWeL\/wp-json\/wp\/v2\/comments?post=280"}],"version-history":[{"count":3,"href":"https:\/\/www.macs.hw.ac.uk\/SWeL\/wp-json\/wp\/v2\/posts\/280\/revisions"}],"predecessor-version":[{"id":287,"href":"https:\/\/www.macs.hw.ac.uk\/SWeL\/wp-json\/wp\/v2\/posts\/280\/revisions\/287"}],"wp:attachment":[{"href":"https:\/\/www.macs.hw.ac.uk\/SWeL\/wp-json\/wp\/v2\/media?parent=280"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.macs.hw.ac.uk\/SWeL\/wp-json\/wp\/v2\/categories?post=280"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.macs.hw.ac.uk\/SWeL\/wp-json\/wp\/v2\/tags?post=280"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}