Data Provenance for Attributes: Attribute Lineage Dennis Dosso, Susan - - PowerPoint PPT Presentation

data provenance for attributes attribute lineage
SMART_READER_LITE
LIVE PREVIEW

Data Provenance for Attributes: Attribute Lineage Dennis Dosso, Susan - - PowerPoint PPT Presentation

TaPP 2020 Data Provenance for Attributes: Attribute Lineage Dennis Dosso, Susan Davidson, Gianmaria Silvello dosso@dei.unipd.it (University of Padua, Italy) susan@seas.upenn.edu (University of Pennsylvania, USA) silvello@dei.unipd.it (University of


slide-1
SLIDE 1

TaPP 2020

Data Provenance for Attributes: Attribute Lineage

Dennis Dosso, Susan Davidson, Gianmaria Silvello

dosso@dei.unipd.it (University of Padua, Italy) susan@seas.upenn.edu (University of Pennsylvania, USA) silvello@dei.unipd.it (University of Padua, Italy)

slide-2
SLIDE 2

Dennis Dosso, Susan Davidson, Gianmaria Silvello TaPP 2020

Overview

2

  • Data Provenance & Lineage
  • An Example
  • Conclusions and Future Work
slide-3
SLIDE 3

Dennis Dosso, Susan Davidson, Gianmaria Silvello TaPP 2020

Data Provenance & Lineage

3

slide-4
SLIDE 4

Dennis Dosso, Susan Davidson, Gianmaria Silvello TaPP 2020

Data Provenance & Lineage

4

Data Provenance is a form of metadata describing the life of data

  • A relational database instance I
  • A query Q
  • An output Q(I)
  • A tuple t in Q(I)

The lineage of t is the set of all and only the tuples in the input that were used for the generation of the output We introduce a new type a lineage defined for attributes The idea: it is the set of all the attributes in the input that are used by the query to produce an attribute in a tuple of the output What we want to do: define lineage for a attribute value in the

  • utput

It has a different level of granularity, and can help in tasks such as finding attribute hotspots in I

slide-5
SLIDE 5

Dennis Dosso, Susan Davidson, Gianmaria Silvello TaPP 2020

An Example

5

slide-6
SLIDE 6

Dennis Dosso, Susan Davidson, Gianmaria Silvello TaPP 2020

Example

6

tId Name BasedIn phone a1 BayTours (a1,1) San Francisco (a1,2) 415-1200 (a1,3) a2 HarborCruz (a2,1) Santa Cruz (a2,2) 831-3000 (a2,3) tId Name Destination type price e1 BayTours (e1,1) San Francisco (e1,2) car (e1,3) 50 (e1,4) e2 BayTours (e2,1) Santa Cruz (e2,2) bus (e2,3) 100 (e2,4) e3 BayTours (e3,1) Santa Cruz (e3,2) boat (e3,3) 250 (e3,4) e4 BayTours (e4,1) Monterey (e4,2) boat (e4,3) 400 (e4,4) e5 HarborCruz (e5,1) Monterey (e5,2) boat (e5,3) 200 (e5,4) e6 HarborCruz (e6,1) Carmel (e6,2) train (e6,3) 90 (e6,4)

<latexit sha1_base64="NMu3ASIFDtGrITIpScTj9rm7uEc=">AGeHicjVRb9MwFM7GWka5bfC4F4t1sElsynVsPE0bQtsDaIjdpLaqHMdtrSVOZjuIkvUv8ON4fwhPOxVG2hMGp2p585/L5fI7tRj7hQtd/zs3fW2i17y8+6Dx89PjJ06XlZ2c8jBnCpyj0Q3bhQo59QvGpIMLHFxHDMHB9fO5eHqTx8y+YcRLSEzGN8CAY0pGBEhoeHywve+i8eEJgLKklv0AHS+ghTgRmh4/yxTIl9yGbJNUDgWv5cp59ZnjJV5C5qYkjD7wEH2GA5d+XJ93RKUXTUKQb9f5t0qA104NLpZyfREjsjBukQS47Ux625I+DOk4D2DFBGOQhUz85htOJuGqesKtiRcYUpbm2nrQ8jckB2w+FueaVaCwiqgaLzjmVsWrqbNY6V4boY+qVOuXI1VUMvX/L+D9CvsNcEJrtnHxKtzPVlBF0t6a4pim+Q1Nc0RBphArRxdAXYK3BAY5wLf5GmWF1fkdeMytSAxdF0hTSxWncX6G4tVsoRQKigMdUwViONXaexFc2HMD0feKrgGomtSGw1i91I4tReSZnqNM4dRqnEXROI02024rmALIA+wosSASDhCqsYNnVFVAjufsQ+NDFfoq9ZTGl8l7BX2EQ+fKN2TJmHVUgL6Dh0q+pWcG6o5ROKtaYcfDpR9L0RxIC8s5EPOe4YeiUECmSBI9uv0Y4jiC7hGPekS+VJ4oMkuzhnYE0iHhiFTH6pABlarUhgwPk0cGVmAMWE346lYFOsF4vRziAhNIoFpignGsU+EGF+bD3CMBL+VDoQMSLXCtAEMojkdvNOJsJuatvlyHXnTGpnbVmfzNW9/UKORW1Fe6Gta4b2RtvTDrVj7VRDC79aK61ua631uw3ar9ober8XFHzXLthbfMPy27HUA=</latexit> <latexit sha1_base64="pEOx6SD2QtN9xs1BJXpZn0aNTY=">ADXicdZLNbhMxEMe9y1cJXylckLhYJCVFaqP1Nogeq/ZSLihITVspG628ziQx9dor24sUNhGPwFNwhRM3xJVn4MC74E03FSQw0mpH/FP/F4kxwY4Pgp+dfu37j5q2N27U7d+/df1DfHhqVK4Z9JgSp8n1IDgEnqWwHnmQaJgLOkoujsn72DrThSp7YaQaDlI4lH3FGrZPiTe/xFh1Z0DjT6i2wUqxFCYy5LCxNckH1vJiJ2YzhGXbfvBZNSquafTXEz/BrmoL7dSdKAo6iZbFZqHlMmq5ySKcnrlWDt5sqLsgOmTefO7lDXuySMAiWcljKji/B1v/I1hraWmXjsESPqU6UPtL5+0s4XNru75HdvWBpG16hVdsRyOHVrWtxvRG0g0Xg9YRUSQNV0Y3rv6KhYnkK0jJBjemTILODgmrLmQA3udxARtkFHUPfpdLNzgyKxRPO8VZuqFU4cy/BV6I8CdR0NSYaZq4kym1E7NaK8V/1fq5He0PCi6z3IJkpZHlAhZGhmnudgPwkGuwlpadA+YSM6qpdUvBMWXMiblblnIeZPX268lp2CadudNp3FwWE1mAz1BT9E2IuglOkDHqIt6iHkfvE/eZ+L/9H/6n/zv18e9b2KeYT+Cv/Hb0wY5O0=</latexit> <latexit sha1_base64="/LpCJpmSOSZpapK49YkMXhSiSlc=">ACEHicbVC7SgNBFJ2NrxhfUstBoMQcJuImgjBG2sJAbzgCQs5ObZMjs7DJzVwhLGj/Br7DVyk5s/QML/8VNTKHRUx3OuZdz7/FCKQza9oeVWlhcWl5Jr2bW1jc2t7LbO3UTRJpDjQcy0E2PGZBCQ0FSmiGpjvSWh4w8uJ37gDbUSgbnEUQsdnfSV6gjNMJDe7X3VL9Jy2Q+HG18yHY1oZBArG+apbPHKzObtgT0H/EmdGcmSGipv9bHcDHvmgkEtmTMuxQ+zETKPgEsaZdmQgZHzI+tBKqEoCTSefjGmh5FhGNAQNBWSTkX4uREz35iR7yWTPsOBmfcm4n9eK8LeWScWKowQFJ8EoZAwDTJci6QeoF2hAZFNLgcqFOVM0TQgjLOEzFK+sokfTjz3/8l9WLBKRWKNye58sWsmTZIwckTxySsrkilRIjXByTx7JE3m2HqwX69V6+x5NWbOdXfIL1vsXiSbNA=</latexit> <latexit sha1_base64="jvFCPOYHGD7LNqmV1Keq3WLRhBs=">AC0HicbVFNbxMxEPUuXyV8BThysUiKikSj9TaIHqv0Ui4oKatlI2iWeSmHrtxfYiwiZCXPmHSPBf8G6TClpGsjx6b57efKS5FNZF0c8gvHz1u07W3cb9+4/ePio+fjJidWF4TjgWmpzloJFKRQOnHASz3KDkKUST9Pzw4o/YzGCq2O3SLHUQYzJaCg/PQuPlrG6YODc2N/oi8whpJijOhSgdpIcGsyqVcLjldUv9WjWReOTXc2wl9Qd9Bhv7rz7VCmiQbsl3q1Zi1PdODxbHv1NKdth6X7BVbtV96uMte7I4ijZwXMFeXwvjSngEJtXm0BRfL2rijXR/j+3uRtpfCldWyeoJpedN8bNVtSJ6qDXE7ZOWmQd/XHzdzLRvMhQOS7B2iGLcjcqwTjBJfrpC4s58HOY4dCnys9vR2V9hRXdLiw4TXO/TSFpDeLfihIyaxdZ6iszcHN7lavA/3HDwk3R6VQeFQ8crICYm1keVG+PMinQiDzkHVOVKhKAcDzh9WUODcg4W/d7UPdnX68lJ3GHdTvd9t3XQW29mizwjz8kOYeQNOSBHpE8GhAe9YB58Ckz4IfwSfgu/X5SGwVrzlPwT4Y8/8SHUSg=</latexit>

SELECT DISTINCT a.name, a.phone FROM Agencies a, ExternalTours e WHERE a.name = e.name AND e.type = ’boat’

<latexit sha1_base64="s9u24BDVkbr6qz4UjOZDK9EJoi4=">ACinicbVBdaxNBFJ1dv+pabaqPvgwNUsEQNimopQitzUoLWmubNIUkhLuT23To7Owyc1csS/6G/80H/4kPzm4Wv+p5mcO53LPnDhT0lIYfvP8W7fv3L23cj94sPrw0Vpj/fGZTXMjcCBSlZrzGCwqXFAkhSeZwYhiRUO46v9cj78jMbKVPfpOsNJAnMtL6QActK08XUc41zqwnliJyWLgDucRu+j/T7vHZ72D48cgbaGBFvuzS5TjZXn3cnHD3xvjlpItBxaPpCaDSovstm+dI0PIhOonqdv+G4JHtHPUfLOE7bjFOgzWCMevY7xbTRDNthBX6TdGrSZDWOp43v41kq8gQ1CQXWjphRpMCDEmhcBGMc4sZiCuY48jRMoadFV/C/4st0Apz9BwqXgl4p8bBSTWXiexcyZAl/bfWSn+bzbK6eL1pJA6y8n1VB4iqbA6ZIWR7rvIZ9IgEZTJkUvNBRg16TkIQTc1dIUPWxXeLlr9/fJGfdmervfWp29x9Wzezwp6yDfacdgrtsO2DEbMF+eBveC6/lr/pdf9vfWVp9r95wv6C3/sJdDi+ig=</latexit>

Q1 :

<latexit sha1_base64="GNR/jYPDCtA25phgY9V+aQUXxB0=">AB+HicbVC7TsNAEDyHVwivACXNiQSJKrITiVcVQUOZSOQhJVF0vmzCkfPZulsjBSv/QAsVHaLlbyj4F2xjIV5TjWZ2tbPjBlIYtO03K7ewuLS8kl8trK1vbG4Vt3faxg81hxb3pa+7LjMghYIWCpTQDTQwz5XQcacXid+5BW2Er65wFsDAYxMlxoIzjKV2uTl0zsrDYsmu2CnoX+JkpEQyNIbF9/7I56EHCrlkxvQcO8BxDQKLmFe6IcGAsanbAK9mCrmgRlEado5PQgNQ58GoKmQNBXh+0bEPGNmnhtPegyvzW8vEf/zeiGOTwaRUEGIoHhyCIWE9JDhWsQ1AB0JDYgsSQ5UKMqZoigBWcx2IY91JI+zhNcPT1/V/SrlacWqXWrJbq51kzebJH9skhcgxqZNL0iAtwskNuScP5NG6s56sZ+vlczRnZTu75Aes1w/JhJLT</latexit> <latexit sha1_base64="pEOx6SD2QtN9xs1BJXpZn0aNTY=">ADXicdZLNbhMxEMe9y1cJXylckLhYJCVFaqP1Nogeq/ZSLihITVspG628ziQx9dor24sUNhGPwFNwhRM3xJVn4MC74E03FSQw0mpH/FP/F4kxwY4Pgp+dfu37j5q2N27U7d+/df1DfHhqVK4Z9JgSp8n1IDgEnqWwHnmQaJgLOkoujsn72DrThSp7YaQaDlI4lH3FGrZPiTe/xFh1Z0DjT6i2wUqxFCYy5LCxNckH1vJiJ2YzhGXbfvBZNSquafTXEz/BrmoL7dSdKAo6iZbFZqHlMmq5ySKcnrlWDt5sqLsgOmTefO7lDXuySMAiWcljKji/B1v/I1hraWmXjsESPqU6UPtL5+0s4XNru75HdvWBpG16hVdsRyOHVrWtxvRG0g0Xg9YRUSQNV0Y3rv6KhYnkK0jJBjemTILODgmrLmQA3udxARtkFHUPfpdLNzgyKxRPO8VZuqFU4cy/BV6I8CdR0NSYaZq4kym1E7NaK8V/1fq5He0PCi6z3IJkpZHlAhZGhmnudgPwkGuwlpadA+YSM6qpdUvBMWXMiblblnIeZPX268lp2CadudNp3FwWE1mAz1BT9E2IuglOkDHqIt6iHkfvE/eZ+L/9H/6n/zv18e9b2KeYT+Cv/Hb0wY5O0=</latexit> <latexit sha1_base64="/LpCJpmSOSZpapK49YkMXhSiSlc=">ACEHicbVC7SgNBFJ2NrxhfUstBoMQcJuImgjBG2sJAbzgCQs5ObZMjs7DJzVwhLGj/Br7DVyk5s/QML/8VNTKHRUx3OuZdz7/FCKQza9oeVWlhcWl5Jr2bW1jc2t7LbO3UTRJpDjQcy0E2PGZBCQ0FSmiGpjvSWh4w8uJ37gDbUSgbnEUQsdnfSV6gjNMJDe7X3VL9Jy2Q+HG18yHY1oZBArG+apbPHKzObtgT0H/EmdGcmSGipv9bHcDHvmgkEtmTMuxQ+zETKPgEsaZdmQgZHzI+tBKqEoCTSefjGmh5FhGNAQNBWSTkX4uREz35iR7yWTPsOBmfcm4n9eK8LeWScWKowQFJ8EoZAwDTJci6QeoF2hAZFNLgcqFOVM0TQgjLOEzFK+sokfTjz3/8l9WLBKRWKNye58sWsmTZIwckTxySsrkilRIjXByTx7JE3m2HqwX69V6+x5NWbOdXfIL1vsXiSbNA=</latexit>

tId Name Phone

  • 1

BayTours (o1,1) 415-1200 (o1,2)

  • 2

HarborCruz (o2,1) 831-3000 (o2,2)

<latexit sha1_base64="jvFCPOYHGD7LNqmV1Keq3WLRhBs=">AC0HicbVFNbxMxEPUuXyV8BThysUiKikSj9TaIHqv0Ui4oKatlI2iWeSmHrtxfYiwiZCXPmHSPBf8G6TClpGsjx6b57efKS5FNZF0c8gvHz1u07W3cb9+4/ePio+fjJidWF4TjgWmpzloJFKRQOnHASz3KDkKUST9Pzw4o/YzGCq2O3SLHUQYzJaCg/PQuPlrG6YODc2N/oi8whpJijOhSgdpIcGsyqVcLjldUv9WjWReOTXc2wl9Qd9Bhv7rz7VCmiQbsl3q1Zi1PdODxbHv1NKdth6X7BVbtV96uMte7I4ijZwXMFeXwvjSngEJtXm0BRfL2rijXR/j+3uRtpfCldWyeoJpedN8bNVtSJ6qDXE7ZOWmQd/XHzdzLRvMhQOS7B2iGLcjcqwTjBJfrpC4s58HOY4dCnys9vR2V9hRXdLiw4TXO/TSFpDeLfihIyaxdZ6iszcHN7lavA/3HDwk3R6VQeFQ8crICYm1keVG+PMinQiDzkHVOVKhKAcDzh9WUODcg4W/d7UPdnX68lJ3GHdTvd9t3XQW29mizwjz8kOYeQNOSBHpE8GhAe9YB58Ckz4IfwSfgu/X5SGwVrzlPwT4Y8/8SHUSg=</latexit> <latexit sha1_base64="s9u24BDVkbr6qz4UjOZDK9EJoi4=">ACinicbVBdaxNBFJ1dv+pabaqPvgwNUsEQNimopQitzUoLWmubNIUkhLuT23To7Owyc1csS/6G/80H/4kPzm4Wv+p5mcO53LPnDhT0lIYfvP8W7fv3L23cj94sPrw0Vpj/fGZTXMjcCBSlZrzGCwqXFAkhSeZwYhiRUO46v9cj78jMbKVPfpOsNJAnMtL6QActK08XUc41zqwnliJyWLgDucRu+j/T7vHZ72D48cgbaGBFvuzS5TjZXn3cnHD3xvjlpItBxaPpCaDSovstm+dI0PIhOonqdv+G4JHtHPUfLOE7bjFOgzWCMevY7xbTRDNthBX6TdGrSZDWOp43v41kq8gQ1CQXWjphRpMCDEmhcBGMc4sZiCuY48jRMoadFV/C/4st0Apz9BwqXgl4p8bBSTWXiexcyZAl/bfWSn+bzbK6eL1pJA6y8n1VB4iqbA6ZIWR7rvIZ9IgEZTJkUvNBRg16TkIQTc1dIUPWxXeLlr9/fJGfdmervfWp29x9Wzezwp6yDfacdgrtsO2DEbMF+eBveC6/lr/pdf9vfWVp9r95wv6C3/sJdDi+ig=</latexit> <latexit sha1_base64="GNR/jYPDCtA25phgY9V+aQUXxB0=">AB+HicbVC7TsNAEDyHVwivACXNiQSJKrITiVcVQUOZSOQhJVF0vmzCkfPZulsjBSv/QAsVHaLlbyj4F2xjIV5TjWZ2tbPjBlIYtO03K7ewuLS8kl8trK1vbG4Vt3faxg81hxb3pa+7LjMghYIWCpTQDTQwz5XQcacXid+5BW2Er65wFsDAYxMlxoIzjKV2uTl0zsrDYsmu2CnoX+JkpEQyNIbF9/7I56EHCrlkxvQcO8BxDQKLmFe6IcGAsanbAK9mCrmgRlEado5PQgNQ58GoKmQNBXh+0bEPGNmnhtPegyvzW8vEf/zeiGOTwaRUEGIoHhyCIWE9JDhWsQ1AB0JDYgsSQ5UKMqZoigBWcx2IY91JI+zhNcPT1/V/SrlacWqXWrJbq51kzebJH9skhcgxqZNL0iAtwskNuScP5NG6s56sZ+vlczRnZTu75Aes1w/JhJLT</latexit>

Example taken from: Cheney J, Chiticariu L, Tan WC. Provenance in databases: Why, how, and where. Now Publishers Inc; 2009.

Agencies

ExternalTours

slide-7
SLIDE 7

Dennis Dosso, Susan Davidson, Gianmaria Silvello TaPP 2020

Example

7

Join

tId Name BasedIn phone a1 BayTours (a1,1) San Francisco (a1,2) 415-1200 (a1,3) a2 HarborCruz (a2,1) Santa Cruz (a2,2) 831-3000 (a2,3) tId Name Destination type price e1 BayTours (e1,1) San Francisco (e1,2) car (e1,3) 50 (e1,4) e2 BayTours (e2,1) Santa Cruz (e2,2) bus (e2,3) 100 (e2,4) e3 BayTours (e3,1) Santa Cruz (e3,2) boat (e3,3) 250 (e3,4) e4 BayTours (e4,1) Monterey (e4,2) boat (e4,3) 400 (e4,4) e5 HarborCruz (e5,1) Monterey (e5,2) boat (e5,3) 200 (e5,4) e6 HarborCruz (e6,1) Carmel (e6,2) train (e6,3) 90 (e6,4)

<latexit sha1_base64="NMu3ASIFDtGrITIpScTj9rm7uEc=">AGeHicjVRb9MwFM7GWka5bfC4F4t1sElsynVsPE0bQtsDaIjdpLaqHMdtrSVOZjuIkvUv8ON4fwhPOxVG2hMGp2p585/L5fI7tRj7hQtd/zs3fW2i17y8+6Dx89PjJ06XlZ2c8jBnCpyj0Q3bhQo59QvGpIMLHFxHDMHB9fO5eHqTx8y+YcRLSEzGN8CAY0pGBEhoeHywve+i8eEJgLKklv0AHS+ghTgRmh4/yxTIl9yGbJNUDgWv5cp59ZnjJV5C5qYkjD7wEH2GA5d+XJ93RKUXTUKQb9f5t0qA104NLpZyfREjsjBukQS47Ux625I+DOk4D2DFBGOQhUz85htOJuGqesKtiRcYUpbm2nrQ8jckB2w+FueaVaCwiqgaLzjmVsWrqbNY6V4boY+qVOuXI1VUMvX/L+D9CvsNcEJrtnHxKtzPVlBF0t6a4pim+Q1Nc0RBphArRxdAXYK3BAY5wLf5GmWF1fkdeMytSAxdF0hTSxWncX6G4tVsoRQKigMdUwViONXaexFc2HMD0feKrgGomtSGw1i91I4tReSZnqNM4dRqnEXROI02024rmALIA+wosSASDhCqsYNnVFVAjufsQ+NDFfoq9ZTGl8l7BX2EQ+fKN2TJmHVUgL6Dh0q+pWcG6o5ROKtaYcfDpR9L0RxIC8s5EPOe4YeiUECmSBI9uv0Y4jiC7hGPekS+VJ4oMkuzhnYE0iHhiFTH6pABlarUhgwPk0cGVmAMWE346lYFOsF4vRziAhNIoFpignGsU+EGF+bD3CMBL+VDoQMSLXCtAEMojkdvNOJsJuatvlyHXnTGpnbVmfzNW9/UKORW1Fe6Gta4b2RtvTDrVj7VRDC79aK61ua631uw3ar9ober8XFHzXLthbfMPy27HUA=</latexit>
slide-8
SLIDE 8

Dennis Dosso, Susan Davidson, Gianmaria Silvello TaPP 2020

Example

8

Selection

tId Name BasedIn phone Destination type price ¨

  • 1

BayTours (a1,1, e3,1) San Francisco (a1,2) 415-1200 (a1,3) Santa Cruz (e3,2) boat (e3,3) 250 (e3,4) ¨

  • 2

BayTours (a1,1, e4,1) San Francisco (a1,2) 415-1200 (a1,3) Monterey (e4,2) boat (e4,3) 400 (e4,4) ¨

  • 3

HarborCruz (a2,1, e5,1) Santa Cruz (a2,2) 831-3000 (a2,3) Monterey (e5,2) boat (e5,3) 200 (e5,4)

<latexit sha1_base64="rkE94FRXd8e/mZhMHf9lCJKb1I=">AEXnicpZNb9MwFMfTC2NkjHXwgsSLRQsaUlflCuNt2hDaHkBDrNukpocx2tJXZkO0hd2i/JG+KFj4KTJuHSihesWDn5n2Ofn0+OgyQiQhrGt0az1b63dX/7gb7zcPfRXmf/8ZVgKUd4iFjE+E0ABY4IxUNJZIRvEo5hHET4Org9zf3XzAXhNFLOU/wOIZTSiYEQakf78pPYE4SaQgd1j3AjwlNJMwSCPIl9kiWiwQWIB6ls9S92Z5Rl2eh+Al+AhjrF4niM8p8pKZozmyjsJKFKvWV58+dnCAMPK/ao+eFIZMZW/pmr9hlfqlOJ8BD/qZ2TeXfYD9zFZG75Xyf4YUvOeQIiIQq4Kslc8x3UPTMoxKtuslEoJTnt4pR7FXGR8wKCupjLVco1KcXFGcvwCtfwA6/wH4gVGJOZ6vMjvreE4V6RhGpazj2TneGeQB4+VhVRKrAnT7wNxQjyKkTHhkm4e2UeFZm/HcdTy3rl6F59Z45V/2MA3rxvI7XWNgFAOsG2ZpdLVyXPidr17IUBpjKlEhRiZRiLHGeSoAirdkwFTiC6hVM8UiZVDSnGWXE9luCFUkIwYVxNKkGh/r4ig7EQ8zhQkTGUM/G3Lxc3+UapnByNM0KTVGKVokmaQkW/V6SDhGMporA6pLplgBmkEOkaqm0IsivM3H6/rI68aVNTDtgf3J6R6flOXY1p5pz7UDzdTeaMfamXahDTXU/N5qtPTWTutHe6u9295bhTYb5Zon2h+j/fQnNU1A6w=</latexit> <latexit sha1_base64="GcXHD6tXIAi0Po0GAcQVXNV1J8Y=">ACE3icbVC7TsNAEDyHVwgvAyUFJyIUaCI7IEGDFEFDCYgQpCSy1scmnHJ+6G6NhKyUfAJfQsVHaLlAyj4F+yQAhKmGs3ManfHj5U05DifVmFqemZ2rjhfWlhcWl6xV9euTJRogQ0RqUhf+2BQyRAbJEnhdawRAl9h0+f5H7zDrWRUXhJ9zF2AuiFsisFUCZ59uaFV+NHvG1kLwAvzSNHFT8Cqgx2Ljx317PLTtUZgk8Sd0TKbIQz/5q30QiCTAkocCYluvE1ElBkxQKB6V2YjAG0YcetjIaQoCmkw4fGfDtxABFPEbNpeJDEX9PpBAYcx/4WTIAujXjXi7+57US6h52UhnGCWEo8kUkFQ4XGaFl1hDyG6mRCPLkcuQC9BAhFpyECITk6yUtaHO/79JLmqVd29au18v1w/HjVTZBtsi+0wlx2wOjtlZ6zBHtgT+yZvViP1qv1Zr3/RAvWaGad/YH18Q1FOZy0</latexit> Projection

tId Name Phone

  • 1

BayTours (o1,1) 415-1200 (o1,2)

1

BayTours (o0

1,1)

415-1200 (o0

1,2)

  • 2

HarborCruz (o2,1) 831-3000 (o2,2)

<latexit sha1_base64="pEOx6SD2QtN9xs1BJXpZn0aNTY=">ADXicdZLNbhMxEMe9y1cJXylckLhYJCVFaqP1Nogeq/ZSLihITVspG628ziQx9dor24sUNhGPwFNwhRM3xJVn4MC74E03FSQw0mpH/FP/F4kxwY4Pgp+dfu37j5q2N27U7d+/df1DfHhqVK4Z9JgSp8n1IDgEnqWwHnmQaJgLOkoujsn72DrThSp7YaQaDlI4lH3FGrZPiTe/xFh1Z0DjT6i2wUqxFCYy5LCxNckH1vJiJ2YzhGXbfvBZNSquafTXEz/BrmoL7dSdKAo6iZbFZqHlMmq5ySKcnrlWDt5sqLsgOmTefO7lDXuySMAiWcljKji/B1v/I1hraWmXjsESPqU6UPtL5+0s4XNru75HdvWBpG16hVdsRyOHVrWtxvRG0g0Xg9YRUSQNV0Y3rv6KhYnkK0jJBjemTILODgmrLmQA3udxARtkFHUPfpdLNzgyKxRPO8VZuqFU4cy/BV6I8CdR0NSYaZq4kym1E7NaK8V/1fq5He0PCi6z3IJkpZHlAhZGhmnudgPwkGuwlpadA+YSM6qpdUvBMWXMiblblnIeZPX268lp2CadudNp3FwWE1mAz1BT9E2IuglOkDHqIt6iHkfvE/eZ+L/9H/6n/zv18e9b2KeYT+Cv/Hb0wY5O0=</latexit> <latexit sha1_base64="/LpCJpmSOSZpapK49YkMXhSiSlc=">ACEHicbVC7SgNBFJ2NrxhfUstBoMQcJuImgjBG2sJAbzgCQs5ObZMjs7DJzVwhLGj/Br7DVyk5s/QML/8VNTKHRUx3OuZdz7/FCKQza9oeVWlhcWl5Jr2bW1jc2t7LbO3UTRJpDjQcy0E2PGZBCQ0FSmiGpjvSWh4w8uJ37gDbUSgbnEUQsdnfSV6gjNMJDe7X3VL9Jy2Q+HG18yHY1oZBArG+apbPHKzObtgT0H/EmdGcmSGipv9bHcDHvmgkEtmTMuxQ+zETKPgEsaZdmQgZHzI+tBKqEoCTSefjGmh5FhGNAQNBWSTkX4uREz35iR7yWTPsOBmfcm4n9eK8LeWScWKowQFJ8EoZAwDTJci6QeoF2hAZFNLgcqFOVM0TQgjLOEzFK+sokfTjz3/8l9WLBKRWKNye58sWsmTZIwckTxySsrkilRIjXByTx7JE3m2HqwX69V6+x5NWbOdXfIL1vsXiSbNA=</latexit> <latexit sha1_base64="jvFCPOYHGD7LNqmV1Keq3WLRhBs=">AC0HicbVFNbxMxEPUuXyV8BThysUiKikSj9TaIHqv0Ui4oKatlI2iWeSmHrtxfYiwiZCXPmHSPBf8G6TClpGsjx6b57efKS5FNZF0c8gvHz1u07W3cb9+4/ePio+fjJidWF4TjgWmpzloJFKRQOnHASz3KDkKUST9Pzw4o/YzGCq2O3SLHUQYzJaCg/PQuPlrG6YODc2N/oi8whpJijOhSgdpIcGsyqVcLjldUv9WjWReOTXc2wl9Qd9Bhv7rz7VCmiQbsl3q1Zi1PdODxbHv1NKdth6X7BVbtV96uMte7I4ijZwXMFeXwvjSngEJtXm0BRfL2rijXR/j+3uRtpfCldWyeoJpedN8bNVtSJ6qDXE7ZOWmQd/XHzdzLRvMhQOS7B2iGLcjcqwTjBJfrpC4s58HOY4dCnys9vR2V9hRXdLiw4TXO/TSFpDeLfihIyaxdZ6iszcHN7lavA/3HDwk3R6VQeFQ8crICYm1keVG+PMinQiDzkHVOVKhKAcDzh9WUODcg4W/d7UPdnX68lJ3GHdTvd9t3XQW29mizwjz8kOYeQNOSBHpE8GhAe9YB58Ckz4IfwSfgu/X5SGwVrzlPwT4Y8/8SHUSg=</latexit> <latexit sha1_base64="s9u24BDVkbr6qz4UjOZDK9EJoi4=">ACinicbVBdaxNBFJ1dv+pabaqPvgwNUsEQNimopQitzUoLWmubNIUkhLuT23To7Owyc1csS/6G/80H/4kPzm4Wv+p5mcO53LPnDhT0lIYfvP8W7fv3L23cj94sPrw0Vpj/fGZTXMjcCBSlZrzGCwqXFAkhSeZwYhiRUO46v9cj78jMbKVPfpOsNJAnMtL6QActK08XUc41zqwnliJyWLgDucRu+j/T7vHZ72D48cgbaGBFvuzS5TjZXn3cnHD3xvjlpItBxaPpCaDSovstm+dI0PIhOonqdv+G4JHtHPUfLOE7bjFOgzWCMevY7xbTRDNthBX6TdGrSZDWOp43v41kq8gQ1CQXWjphRpMCDEmhcBGMc4sZiCuY48jRMoadFV/C/4st0Apz9BwqXgl4p8bBSTWXiexcyZAl/bfWSn+bzbK6eL1pJA6y8n1VB4iqbA6ZIWR7rvIZ9IgEZTJkUvNBRg16TkIQTc1dIUPWxXeLlr9/fJGfdmervfWp29x9Wzezwp6yDfacdgrtsO2DEbMF+eBveC6/lr/pdf9vfWVp9r95wv6C3/sJdDi+ig=</latexit> <latexit sha1_base64="GNR/jYPDCtA25phgY9V+aQUXxB0=">AB+HicbVC7TsNAEDyHVwivACXNiQSJKrITiVcVQUOZSOQhJVF0vmzCkfPZulsjBSv/QAsVHaLlbyj4F2xjIV5TjWZ2tbPjBlIYtO03K7ewuLS8kl8trK1vbG4Vt3faxg81hxb3pa+7LjMghYIWCpTQDTQwz5XQcacXid+5BW2Er65wFsDAYxMlxoIzjKV2uTl0zsrDYsmu2CnoX+JkpEQyNIbF9/7I56EHCrlkxvQcO8BxDQKLmFe6IcGAsanbAK9mCrmgRlEado5PQgNQ58GoKmQNBXh+0bEPGNmnhtPegyvzW8vEf/zeiGOTwaRUEGIoHhyCIWE9JDhWsQ1AB0JDYgsSQ5UKMqZoigBWcx2IY91JI+zhNcPT1/V/SrlacWqXWrJbq51kzebJH9skhcgxqZNL0iAtwskNuScP5NG6s56sZ+vlczRnZTu75Aes1w/JhJLT</latexit>

b

<latexit sha1_base64="pEOx6SD2QtN9xs1BJXpZn0aNTY=">ADXicdZLNbhMxEMe9y1cJXylckLhYJCVFaqP1Nogeq/ZSLihITVspG628ziQx9dor24sUNhGPwFNwhRM3xJVn4MC74E03FSQw0mpH/FP/F4kxwY4Pgp+dfu37j5q2N27U7d+/df1DfHhqVK4Z9JgSp8n1IDgEnqWwHnmQaJgLOkoujsn72DrThSp7YaQaDlI4lH3FGrZPiTe/xFh1Z0DjT6i2wUqxFCYy5LCxNckH1vJiJ2YzhGXbfvBZNSquafTXEz/BrmoL7dSdKAo6iZbFZqHlMmq5ySKcnrlWDt5sqLsgOmTefO7lDXuySMAiWcljKji/B1v/I1hraWmXjsESPqU6UPtL5+0s4XNru75HdvWBpG16hVdsRyOHVrWtxvRG0g0Xg9YRUSQNV0Y3rv6KhYnkK0jJBjemTILODgmrLmQA3udxARtkFHUPfpdLNzgyKxRPO8VZuqFU4cy/BV6I8CdR0NSYaZq4kym1E7NaK8V/1fq5He0PCi6z3IJkpZHlAhZGhmnudgPwkGuwlpadA+YSM6qpdUvBMWXMiblblnIeZPX268lp2CadudNp3FwWE1mAz1BT9E2IuglOkDHqIt6iHkfvE/eZ+L/9H/6n/zv18e9b2KeYT+Cv/Hb0wY5O0=</latexit> <latexit sha1_base64="/LpCJpmSOSZpapK49YkMXhSiSlc=">ACEHicbVC7SgNBFJ2NrxhfUstBoMQcJuImgjBG2sJAbzgCQs5ObZMjs7DJzVwhLGj/Br7DVyk5s/QML/8VNTKHRUx3OuZdz7/FCKQza9oeVWlhcWl5Jr2bW1jc2t7LbO3UTRJpDjQcy0E2PGZBCQ0FSmiGpjvSWh4w8uJ37gDbUSgbnEUQsdnfSV6gjNMJDe7X3VL9Jy2Q+HG18yHY1oZBArG+apbPHKzObtgT0H/EmdGcmSGipv9bHcDHvmgkEtmTMuxQ+zETKPgEsaZdmQgZHzI+tBKqEoCTSefjGmh5FhGNAQNBWSTkX4uREz35iR7yWTPsOBmfcm4n9eK8LeWScWKowQFJ8EoZAwDTJci6QeoF2hAZFNLgcqFOVM0TQgjLOEzFK+sokfTjz3/8l9WLBKRWKNye58sWsmTZIwckTxySsrkilRIjXByTx7JE3m2HqwX69V6+x5NWbOdXfIL1vsXiSbNA=</latexit>

tId Name Phone

  • 1

BayTours (o1,1) 415-1200 (o1,2)

  • 2

HarborCruz (o2,1) 831-3000 (o2,2)

<latexit sha1_base64="jvFCPOYHGD7LNqmV1Keq3WLRhBs=">AC0HicbVFNbxMxEPUuXyV8BThysUiKikSj9TaIHqv0Ui4oKatlI2iWeSmHrtxfYiwiZCXPmHSPBf8G6TClpGsjx6b57efKS5FNZF0c8gvHz1u07W3cb9+4/ePio+fjJidWF4TjgWmpzloJFKRQOnHASz3KDkKUST9Pzw4o/YzGCq2O3SLHUQYzJaCg/PQuPlrG6YODc2N/oi8whpJijOhSgdpIcGsyqVcLjldUv9WjWReOTXc2wl9Qd9Bhv7rz7VCmiQbsl3q1Zi1PdODxbHv1NKdth6X7BVbtV96uMte7I4ijZwXMFeXwvjSngEJtXm0BRfL2rijXR/j+3uRtpfCldWyeoJpedN8bNVtSJ6qDXE7ZOWmQd/XHzdzLRvMhQOS7B2iGLcjcqwTjBJfrpC4s58HOY4dCnys9vR2V9hRXdLiw4TXO/TSFpDeLfihIyaxdZ6iszcHN7lavA/3HDwk3R6VQeFQ8crICYm1keVG+PMinQiDzkHVOVKhKAcDzh9WUODcg4W/d7UPdnX68lJ3GHdTvd9t3XQW29mizwjz8kOYeQNOSBHpE8GhAe9YB58Ckz4IfwSfgu/X5SGwVrzlPwT4Y8/8SHUSg=</latexit> <latexit sha1_base64="s9u24BDVkbr6qz4UjOZDK9EJoi4=">ACinicbVBdaxNBFJ1dv+pabaqPvgwNUsEQNimopQitzUoLWmubNIUkhLuT23To7Owyc1csS/6G/80H/4kPzm4Wv+p5mcO53LPnDhT0lIYfvP8W7fv3L23cj94sPrw0Vpj/fGZTXMjcCBSlZrzGCwqXFAkhSeZwYhiRUO46v9cj78jMbKVPfpOsNJAnMtL6QActK08XUc41zqwnliJyWLgDucRu+j/T7vHZ72D48cgbaGBFvuzS5TjZXn3cnHD3xvjlpItBxaPpCaDSovstm+dI0PIhOonqdv+G4JHtHPUfLOE7bjFOgzWCMevY7xbTRDNthBX6TdGrSZDWOp43v41kq8gQ1CQXWjphRpMCDEmhcBGMc4sZiCuY48jRMoadFV/C/4st0Apz9BwqXgl4p8bBSTWXiexcyZAl/bfWSn+bzbK6eL1pJA6y8n1VB4iqbA6ZIWR7rvIZ9IgEZTJkUvNBRg16TkIQTc1dIUPWxXeLlr9/fJGfdmervfWp29x9Wzezwp6yDfacdgrtsO2DEbMF+eBveC6/lr/pdf9vfWVp9r95wv6C3/sJdDi+ig=</latexit> <latexit sha1_base64="GNR/jYPDCtA25phgY9V+aQUXxB0=">AB+HicbVC7TsNAEDyHVwivACXNiQSJKrITiVcVQUOZSOQhJVF0vmzCkfPZulsjBSv/QAsVHaLlbyj4F2xjIV5TjWZ2tbPjBlIYtO03K7ewuLS8kl8trK1vbG4Vt3faxg81hxb3pa+7LjMghYIWCpTQDTQwz5XQcacXid+5BW2Er65wFsDAYxMlxoIzjKV2uTl0zsrDYsmu2CnoX+JkpEQyNIbF9/7I56EHCrlkxvQcO8BxDQKLmFe6IcGAsanbAK9mCrmgRlEado5PQgNQ58GoKmQNBXh+0bEPGNmnhtPegyvzW8vEf/zeiGOTwaRUEGIoHhyCIWE9JDhWsQ1AB0JDYgsSQ5UKMqZoigBWcx2IY91JI+zhNcPT1/V/SrlacWqXWrJbq51kzebJH9skhcgxqZNL0iAtwskNuScP5NG6s56sZ+vlczRnZTu75Aes1w/JhJLT</latexit>

Output Lineage of this attribute

tId Name BasedIn phone Destination type price ˙

  • 1

BayTours (a1,1; e1,1) San Francisco (a1,2) 415-1200 (a1,3) SanFrancisco (e1,2) car (e1,3) 50 (e1,4) ˙

  • 2

BayTours (a1,1; e2,1) San Francisco (a1,2) 415-1200 (a1,3) Santa Cruz (e2,2) bus (e2,3) 100 (e2,4) ˙

  • 3

BayTours (a1,1, ; e3,1) San Francisco (a1,2) 415-1200 (a1,3) Santa Cruz (e3,2) boat (e3,3) 250 (e3,4) ˙

  • 4

BayTours (a1,1; e4,1) San Francisco (a1,2) 415-1200 (a1,3) Monterey (e4,2) boat (e4,3) 400 (e4,4) ˙

  • 5

HarborCruz (a2,1; e5,1) Santa Cruz (a2,2) 831-3000 (a2,3) Monterey (e5,2) boat (e5,3) 200 (e5,4) ˙

  • 6

HarborCruz (a2,1; e6,1) Santa Cruz (a2,2) 831-3000 (a2,3) Carmel (e6,2) train (e6,3) 90 (e6,4)

<latexit sha1_base64="rOit6jZyNl5OzMmlx2lsf2580lI=">AGN3icrZTLbhMxFIanJYESbi0s2Vg0oCK1VxDKzZVi1C7KCqiN6kTR7HazO2CPbg5RO8lZseA12sGEBQmx5AzwXjwITdUGxMsrJf37P+XysnCAOiZCm+Xlu/kajefPWwu3Wnbv37j9YXHp4LFjCET5CLGT8NIACh4TiI0lkiE9jmEUhPgkuNjJ8ifvMReE0UM5inE3gueUDAiCUkm9pca+LxAnsRTkErf8AJ8TmkoYJCHk3QcjscIjEH1lJ9Jyx9mFVtyrw+egTcwuprW3H096iK4iGjmfIKC0loXkr9yupnSU4QBr6v39H2+0ymbNKz2vlLRofqcAKstGEvtVatyUuAi6D9XOXfQpec0gREYhpk13kXMtbs2zT1LJTbZnegad2IMi1Upo9UwtuJijMis+gs+Hp+EYIcnl0VpW/uDRGiltFqmqZUanjMbzXnc/4jn1PxMSi1VHpt3T+nDuhe0T/3Gnz7jErM8ago7NbpXO10dfvcOp2X0e1CHjBeHhUW15rzeavAmtENOHVbG4615piazp5N59XpvKp3ms6r03WupOv8M90O5BEOi7Id7ZUcEq10rhpakGzlX9fH9N+NTF6i8vmupkvUA+sMlg2ynXQW/ykToiSCFOJQijEmWXGsptCLgkKsZozicAxRBfwHJ+pkKpJI7pPvcm4KlS+mDAuHqoBLk6vSOFkRCjKFDOCMqh+DuXibNyZ4kcbHRTQuNEYoqKQoMkBJIVQ6xPOEYyHKkAqumpWAEaQg6RumnRypuwma1OdeR6cGyvW8689Zd3tou27FgPDaeGCuGZbwtoxd48A4MlDjQ+NL41vje/Nj82vzR/NnYZ2fK/c8Mv5YzV+/AWxsxsM=</latexit>

{a1,1, a1,3, e3,1, e3,3, e4,1, e4,3}

<latexit sha1_base64="ONusL2V4V+N/Fey6qjIvGFln9k8=">ACMnicbZDNSsNAEMc39avWr6pHL4tF8FBKohE9SdGLRwWrQlvCZB3r0s0HuxNBQt/GR/ApvOpFwYN49SFM2iDaOqcfv5lhd/5+rKQh2361SlPTM7Nz5fnKwuLS8kp1de3CRIkW2BKRivSVDwaVDLFkhRexRoh8BVe+v3jvH95h9rIKDyn+xi7AfRCeSMFUKa86mEnBS916twZ1PmIdjNCL90duREVzv1xbu46A69asxv2sPgkOAXUWFGnXvW9cx2JMCQhAJj2o4dUzcFTVIoHFQ6icEYRB962M4whABNx3eOeBbiQGKeIyaS8WHEn9vpBAYcx/42WQAdGvGe7n8r9dO6Oagm8owTghDkT9EUuHwISO0zAJEfi01EkH+c+Qy5AI0EKGWHITIZJIlWsnycMavn4SLnYbjNvbO3FrzqEimzDbYJtmDtnTXbCTlmLCfbAntgze7EerTfrw/ocjZasYmed/Snr6xvZd6VU</latexit>
slide-9
SLIDE 9

Dennis Dosso, Susan Davidson, Gianmaria Silvello TaPP 2020

Example

9

<latexit sha1_base64="pEOx6SD2QtN9xs1BJXpZn0aNTY=">ADXicdZLNbhMxEMe9y1cJXylckLhYJCVFaqP1Nogeq/ZSLihITVspG628ziQx9dor24sUNhGPwFNwhRM3xJVn4MC74E03FSQw0mpH/FP/F4kxwY4Pgp+dfu37j5q2N27U7d+/df1DfHhqVK4Z9JgSp8n1IDgEnqWwHnmQaJgLOkoujsn72DrThSp7YaQaDlI4lH3FGrZPiTe/xFh1Z0DjT6i2wUqxFCYy5LCxNckH1vJiJ2YzhGXbfvBZNSquafTXEz/BrmoL7dSdKAo6iZbFZqHlMmq5ySKcnrlWDt5sqLsgOmTefO7lDXuySMAiWcljKji/B1v/I1hraWmXjsESPqU6UPtL5+0s4XNru75HdvWBpG16hVdsRyOHVrWtxvRG0g0Xg9YRUSQNV0Y3rv6KhYnkK0jJBjemTILODgmrLmQA3udxARtkFHUPfpdLNzgyKxRPO8VZuqFU4cy/BV6I8CdR0NSYaZq4kym1E7NaK8V/1fq5He0PCi6z3IJkpZHlAhZGhmnudgPwkGuwlpadA+YSM6qpdUvBMWXMiblblnIeZPX268lp2CadudNp3FwWE1mAz1BT9E2IuglOkDHqIt6iHkfvE/eZ+L/9H/6n/zv18e9b2KeYT+Cv/Hb0wY5O0=</latexit> <latexit sha1_base64="/LpCJpmSOSZpapK49YkMXhSiSlc=">ACEHicbVC7SgNBFJ2NrxhfUstBoMQcJuImgjBG2sJAbzgCQs5ObZMjs7DJzVwhLGj/Br7DVyk5s/QML/8VNTKHRUx3OuZdz7/FCKQza9oeVWlhcWl5Jr2bW1jc2t7LbO3UTRJpDjQcy0E2PGZBCQ0FSmiGpjvSWh4w8uJ37gDbUSgbnEUQsdnfSV6gjNMJDe7X3VL9Jy2Q+HG18yHY1oZBArG+apbPHKzObtgT0H/EmdGcmSGipv9bHcDHvmgkEtmTMuxQ+zETKPgEsaZdmQgZHzI+tBKqEoCTSefjGmh5FhGNAQNBWSTkX4uREz35iR7yWTPsOBmfcm4n9eK8LeWScWKowQFJ8EoZAwDTJci6QeoF2hAZFNLgcqFOVM0TQgjLOEzFK+sokfTjz3/8l9WLBKRWKNye58sWsmTZIwckTxySsrkilRIjXByTx7JE3m2HqwX69V6+x5NWbOdXfIL1vsXiSbNA=</latexit>

tId Name Phone

  • 1

BayTours (o1,1) 415-1200 (o1,2)

  • 2

HarborCruz (o2,1) 831-3000 (o2,2)

<latexit sha1_base64="jvFCPOYHGD7LNqmV1Keq3WLRhBs=">AC0HicbVFNbxMxEPUuXyV8BThysUiKikSj9TaIHqv0Ui4oKatlI2iWeSmHrtxfYiwiZCXPmHSPBf8G6TClpGsjx6b57efKS5FNZF0c8gvHz1u07W3cb9+4/ePio+fjJidWF4TjgWmpzloJFKRQOnHASz3KDkKUST9Pzw4o/YzGCq2O3SLHUQYzJaCg/PQuPlrG6YODc2N/oi8whpJijOhSgdpIcGsyqVcLjldUv9WjWReOTXc2wl9Qd9Bhv7rz7VCmiQbsl3q1Zi1PdODxbHv1NKdth6X7BVbtV96uMte7I4ijZwXMFeXwvjSngEJtXm0BRfL2rijXR/j+3uRtpfCldWyeoJpedN8bNVtSJ6qDXE7ZOWmQd/XHzdzLRvMhQOS7B2iGLcjcqwTjBJfrpC4s58HOY4dCnys9vR2V9hRXdLiw4TXO/TSFpDeLfihIyaxdZ6iszcHN7lavA/3HDwk3R6VQeFQ8crICYm1keVG+PMinQiDzkHVOVKhKAcDzh9WUODcg4W/d7UPdnX68lJ3GHdTvd9t3XQW29mizwjz8kOYeQNOSBHpE8GhAe9YB58Ckz4IfwSfgu/X5SGwVrzlPwT4Y8/8SHUSg=</latexit> <latexit sha1_base64="s9u24BDVkbr6qz4UjOZDK9EJoi4=">ACinicbVBdaxNBFJ1dv+pabaqPvgwNUsEQNimopQitzUoLWmubNIUkhLuT23To7Owyc1csS/6G/80H/4kPzm4Wv+p5mcO53LPnDhT0lIYfvP8W7fv3L23cj94sPrw0Vpj/fGZTXMjcCBSlZrzGCwqXFAkhSeZwYhiRUO46v9cj78jMbKVPfpOsNJAnMtL6QActK08XUc41zqwnliJyWLgDucRu+j/T7vHZ72D48cgbaGBFvuzS5TjZXn3cnHD3xvjlpItBxaPpCaDSovstm+dI0PIhOonqdv+G4JHtHPUfLOE7bjFOgzWCMevY7xbTRDNthBX6TdGrSZDWOp43v41kq8gQ1CQXWjphRpMCDEmhcBGMc4sZiCuY48jRMoadFV/C/4st0Apz9BwqXgl4p8bBSTWXiexcyZAl/bfWSn+bzbK6eL1pJA6y8n1VB4iqbA6ZIWR7rvIZ9IgEZTJkUvNBRg16TkIQTc1dIUPWxXeLlr9/fJGfdmervfWp29x9Wzezwp6yDfacdgrtsO2DEbMF+eBveC6/lr/pdf9vfWVp9r95wv6C3/sJdDi+ig=</latexit> <latexit sha1_base64="GNR/jYPDCtA25phgY9V+aQUXxB0=">AB+HicbVC7TsNAEDyHVwivACXNiQSJKrITiVcVQUOZSOQhJVF0vmzCkfPZulsjBSv/QAsVHaLlbyj4F2xjIV5TjWZ2tbPjBlIYtO03K7ewuLS8kl8trK1vbG4Vt3faxg81hxb3pa+7LjMghYIWCpTQDTQwz5XQcacXid+5BW2Er65wFsDAYxMlxoIzjKV2uTl0zsrDYsmu2CnoX+JkpEQyNIbF9/7I56EHCrlkxvQcO8BxDQKLmFe6IcGAsanbAK9mCrmgRlEado5PQgNQ58GoKmQNBXh+0bEPGNmnhtPegyvzW8vEf/zeiGOTwaRUEGIoHhyCIWE9JDhWsQ1AB0JDYgsSQ5UKMqZoigBWcx2IY91JI+zhNcPT1/V/SrlacWqXWrJbq51kzebJH9skhcgxqZNL0iAtwskNuScP5NG6s56sZ+vlczRnZTu75Aes1w/JhJLT</latexit>

tId Name Phone

  • 1

BayTours (o1,1) 415-1200 (o1,2)

  • 2

HarborCruz (o2,1) 831-3000 (o2,2)

<latexit sha1_base64="jvFCPOYHGD7LNqmV1Keq3WLRhBs=">AC0HicbVFNbxMxEPUuXyV8BThysUiKikSj9TaIHqv0Ui4oKatlI2iWeSmHrtxfYiwiZCXPmHSPBf8G6TClpGsjx6b57efKS5FNZF0c8gvHz1u07W3cb9+4/ePio+fjJidWF4TjgWmpzloJFKRQOnHASz3KDkKUST9Pzw4o/YzGCq2O3SLHUQYzJaCg/PQuPlrG6YODc2N/oi8whpJijOhSgdpIcGsyqVcLjldUv9WjWReOTXc2wl9Qd9Bhv7rz7VCmiQbsl3q1Zi1PdODxbHv1NKdth6X7BVbtV96uMte7I4ijZwXMFeXwvjSngEJtXm0BRfL2rijXR/j+3uRtpfCldWyeoJpedN8bNVtSJ6qDXE7ZOWmQd/XHzdzLRvMhQOS7B2iGLcjcqwTjBJfrpC4s58HOY4dCnys9vR2V9hRXdLiw4TXO/TSFpDeLfihIyaxdZ6iszcHN7lavA/3HDwk3R6VQeFQ8crICYm1keVG+PMinQiDzkHVOVKhKAcDzh9WUODcg4W/d7UPdnX68lJ3GHdTvd9t3XQW29mizwjz8kOYeQNOSBHpE8GhAe9YB58Ckz4IfwSfgu/X5SGwVrzlPwT4Y8/8SHUSg=</latexit>

tId Name Phone

  • 1

BayTours (o1,1) 415-1200 (o1,2)

  • 2

HarborCruz (o2,1) 831-3000 (o2,2)

<latexit sha1_base64="jvFCPOYHGD7LNqmV1Keq3WLRhBs=">AC0HicbVFNbxMxEPUuXyV8BThysUiKikSj9TaIHqv0Ui4oKatlI2iWeSmHrtxfYiwiZCXPmHSPBf8G6TClpGsjx6b57efKS5FNZF0c8gvHz1u07W3cb9+4/ePio+fjJidWF4TjgWmpzloJFKRQOnHASz3KDkKUST9Pzw4o/YzGCq2O3SLHUQYzJaCg/PQuPlrG6YODc2N/oi8whpJijOhSgdpIcGsyqVcLjldUv9WjWReOTXc2wl9Qd9Bhv7rz7VCmiQbsl3q1Zi1PdODxbHv1NKdth6X7BVbtV96uMte7I4ijZwXMFeXwvjSngEJtXm0BRfL2rijXR/j+3uRtpfCldWyeoJpedN8bNVtSJ6qDXE7ZOWmQd/XHzdzLRvMhQOS7B2iGLcjcqwTjBJfrpC4s58HOY4dCnys9vR2V9hRXdLiw4TXO/TSFpDeLfihIyaxdZ6iszcHN7lavA/3HDwk3R6VQeFQ8crICYm1keVG+PMinQiDzkHVOVKhKAcDzh9WUODcg4W/d7UPdnX68lJ3GHdTvd9t3XQW29mizwjz8kOYeQNOSBHpE8GhAe9YB58Ckz4IfwSfgu/X5SGwVrzlPwT4Y8/8SHUSg=</latexit>

{a1,1, e3,1, e4,1, e3,3, e4,3}

<latexit sha1_base64="p7MqXHXG8g2TaDUFNZQLBevM3g=">ACKnicbZDJSgNBEIZ7XGPcoh69NAbBQwgzJi7HoBePEcwCSRhq2kps7FnorhHCMG/iI/gUXvXkLYg3H8RJDEGjdfr5/iq6vciJQ3Z9shaWFxaXlnNreXNza3tgs7u0TxlpgQ4Qq1G0PDCoZYIMkKWxHGsH3FLa8+8ux3pAbWQY3NAwp4Pg0D2pQDKkFs47SYc3MQpcSctcXSTykxVf7LKjFVS3k3dQtEu25Pif4UzFU2rbpb+OjehiL2MSChwJiOY0fUS0CTFArTfDc2GIG4hwF2MhmAj6aXTP5L+WFsgEIeoeZS8QnEnxMJ+MYMfS/r9IHuzLw3hv95nZj6571EBlFMGIjxIpIKJ4uM0DILDvmt1EgE48uRy4AL0ECEWnIQIoNxlmQ+y8OZ/6vaB6XnWr5LparF1Mk8mxfXbAjpjDzliNXbE6azDBHtkze2Gv1pP1Zo2s9+/WBWs6s8d+lfX5BVJ/opA=</latexit>

{a1,1, a1,3, e3,1, e3,3, e4,1, e4,3}

<latexit sha1_base64="ONusL2V4V+N/Fey6qjIvGFln9k8=">ACMnicbZDNSsNAEMc39avWr6pHL4tF8FBKohE9SdGLRwWrQlvCZB3r0s0HuxNBQt/GR/ApvOpFwYN49SFM2iDaOqcfv5lhd/5+rKQh2361SlPTM7Nz5fnKwuLS8kp1de3CRIkW2BKRivSVDwaVDLFkhRexRoh8BVe+v3jvH95h9rIKDyn+xi7AfRCeSMFUKa86mEnBS916twZ1PmIdjNCL90duREVzv1xbu46A69asxv2sPgkOAXUWFGnXvW9cx2JMCQhAJj2o4dUzcFTVIoHFQ6icEYRB962M4whABNx3eOeBbiQGKeIyaS8WHEn9vpBAYcx/42WQAdGvGe7n8r9dO6Oagm8owTghDkT9EUuHwISO0zAJEfi01EkH+c+Qy5AI0EKGWHITIZJIlWsnycMavn4SLnYbjNvbO3FrzqEimzDbYJtmDtnTXbCTlmLCfbAntgze7EerTfrw/ocjZasYmed/Snr6xvZd6VU</latexit>

Attribute lineage “classic” lineage

slide-10
SLIDE 10

Dennis Dosso, Susan Davidson, Gianmaria Silvello TaPP 2020

Conclusions and Future Work

10

  • Attribute lineage: a new form of data provenance
  • Different levels of granularity
  • Applications: individuation of hotspots in a database, given a

set of queries Future work:

  • New forms of provenance at the attribute level
  • Attribute Why-Provenance
  • Attribute How-Provenance
slide-11
SLIDE 11

Dennis Dosso, Susan Davidson, Gianmaria Silvello TaPP 2020

Thank You

11

slide-12
SLIDE 12

Dennis Dosso, Susan Davidson, Gianmaria Silvello TaPP 2020

Definitions

12

slide-13
SLIDE 13

Dennis Dosso, Susan Davidson, Gianmaria Silvello TaPP 2020

Definition

13

Given a database I, a SPJRU query Q0 over I, a tuple t:U 2 Q(I) and an attribute location c = (Q0, t, A) with A 2 U, then the lineage of c according to Q0 and I, denoted as Lin(Q0, t, A) is an element of P(FieldLoc), defined as follows:

  • 1. Lin(σθ(Q), t, A) =

= (SS

c0=(Q,t,B)|B2θ(Where(c0) [S Lin(c0))

if θ(t) ?

  • therwise
  • 2. Lin(πU(Q), t, A) =

= SL

c0=(Q,t0,A)|t0[U]=t (Where(c0) [S Lin(c0))

  • 3. Lin(ρA7!B(Q), t, C) = Lin(Q(I), t[B 7! A], C[B 7! A])[SWhere(Q, t[B 7!

A], A).

  • 4. Lin(Q1 o

n Q2, t, A) = Where(c1)[SLin(c1)[SWhere(c2)[SLin(c2), where c1 = (Q1(I), t[U1], A0), c2 = (Q2(I), t[U2], A0).

  • 5. Lin(Q1 [ Q2, t, A) =

(Where(c1)[SLin(c1))[L(Where(c2)[SLin(c2)), where c1 = (Q1(I), t, A), c2 = (Q2(I), t, A).

<latexit sha1_base64="sTaBVXU6WVrZEGt9eECRE1VrFjk=">AGRHicfVTfj9NGEDaQtHD0xwGPvIx6LnGk0ymOikBIJ3FBags6iUuv5pCyqbXeTJIVtd41xwn43+rf0L/h0rlkT71reorYtb2nXIXrisl3t35Zr5vxuOJslhqMxj8eXqtU73iy+v39i4+dX3y7ev2C62KXGAgVKzylxHXGMsUAyNjC+zHkSxXgUvXpi7UdvMNdSpb+akwynCV+kci4FN3QV3uo8/0m+wRQ4zLjhNhK4T91tOh8ePslgNcF5ifgjnsuKIpzajRFhPSuI/cAJhMYew97bvA0xn9gBuTy6gwCLFqiMAVsAveuLcNZhv2CHoszRLcvdo5oJhmSroDxgm2bK0+fAFVqDm5EuRhVD5TKYLMKqRY7lqNTNMlUEi1uDuy3SVRGorB2NMDV1KJZwsxQ8Lg8q70eJ8WxfiX4dZE6MdZC5imN1rB9tsAgXMi0xLRLMucFqA2gxaTBpmJiWi4SHjGQb7o37LS/suozVWBd2yCKqsrYJFciCL7TAsRa+uSO0z6sM7GNW1aIJV3tESc/RErw+MHMJDsIR07M9YEmk3pZyDlUL90y/0dbQskiZe9DCFCHyY6lP5WM6a9W4a/lkMiyD6vOZ2FQa8fur4nsW946ek2BKd6ZiMc7NpfJZLhdL01+nzpcqLKkdEp5pesWjMxVPSEXtbVuMbiajM9DelMznzmd0Df94HU9tsXORfBz6wJ4pqj6Mw+Fq7m4bSIT+UxWzqeI4QXE0PbVsTVSBxODLVjot0kEoW/F9OhAyMY2PLMNG9slSonkvFCwSr3LlbYX+BdrvV/xFqSdZltKet+WvlEws2twc6gXrC+8dvNltOug3DzPZspUdgvVMRc64k/yMy05LmRIqaArNCYcfGKpsGEtilPUE/LevJV8H2hOb3YjCaTjKG+xFWPkidanyQRIe2Hry/a7OXnbJPCzB9OS5lmNMVSYmMpIlnibTIaWRSoWYyR2O4VY5AzSM4lcBgLu20osuCRp+th38x+/XNi+GO/8PO/fFw6/Gorcx1567zneM5vPAez87Bw4gSM6v3f+6nzo/N39o/tP9/ufw306pXW545zbnU/fgJ5wdok</latexit>
slide-14
SLIDE 14

Dennis Dosso, Susan Davidson, Gianmaria Silvello TaPP 2020

From attributes to tuples

14

Attribute Lineage —> Lineage

KLin = {P(TupleLoc)⊥, ⊥, ∅, ∪L, ∪S}

<latexit sha1_base64="UT63EPIFUySmA4t9DGVQvEsGZMA=">ACP3icbVBNSxBEO0xRtdNopvkmEvjEjAQlhlR9BIQcxF2DxviqrCzDVtaRp7epruamEZ5kf5E/wVkoOQnHILXr05s87Brzp0P96rouq91CjpKAx/B3Ov5l8vLaW2m/evlte6bz/cOBybwWORK5ye5SCQyU1jkiSwiNjEbJU4WF69r3WD8/ROpnrfZoanGRwquWJFEAVlXT6vJ8UA6lL/o3HRZwB/RKgimG5tu+NwkEuviRxmtNX3ryYGZo6rKHwJhk0/8+4bCedbtgLZ8Wfg6gBXdbUMOlcx8e58BlqEgqcG0ehoUkBlqRQWLZj79CAOINTHFdQ4ZuUsxMl/yzd0A5N2i5VHxG4sOJAjLnpladau3FOtJl/Sxp5OtieF1MYTalEvIqlwtsgJK6s0kR9Li0RQX45cai7AhFayUGIivRVvHUe0VP3z8HBei/a6G3+2Oju7DbJtNgntsrWMS2A7bY0M2YoJdsCv2h/0NLoN/wf/g5r51LmhmPrJHFdzeAQZ7roY=</latexit>

K0

Lin = {P(FieldLoc)?, ⊥, ∅, ∪L, ∪S}

<latexit sha1_base64="oX4VwLQTY8Q8ymZ6pnNC51HM34=">ACP3icbVBNSxBEO1R48dqdNWjl8ZFNBCWGVH0IoiCBNzDSrIq7CxDTW+pjT09TXeNsAzo/wJ+RXBg2BOuQWv3pzZzCHR1KH78V4Ve/FRklHv/gTUxOfZiemZ1rzC98XFxqLq+cuzSzAnsiVam9jMGhkhp7JEnhpbEISazwIr49rvSLO7ROpvobjQwOErjW8koKoJKmqenm1HekbrgBzMwToRoDKu8XWiUQ17KTiUxTGKX3m9YuJoZHDCorMRJ36/xoWjajZ8tv+uPh7ENSgxerqRs3HcJiKLEFNQoFz/cA3NMjBkhQKi0aYOTQgbuEa+yXUkKAb5GPTBd/IHFDKDVouFR+T+PdEDolzoyQuOytX7q1Wkf/T+hld7Q9yqU1GqEW1iKTC8SInrCzTRD6UFomguhy51FyABSK0koMQJZmV8VZ5BG/dvwfn2+1gp717tM6PKqTmWVrbJ1tsYDtsUP2hXVZjwl2z36wJ/bT+798n57z39aJ7x6ZpX9U97LK9Elrmc=</latexit>

h(⊥) = ⊥ h(∅) = ∅ h(x ∪L y) = h(x) ∪L h(y) h(x ∪S y) = h(x) ∪S h(y) h({(R, t, A)}) = {R, t} h(Where(c)) = ∅ ∀c

<latexit sha1_base64="e3cug5WT+xPcS8R6Lp6QZMkUFQ=">AC2HicbVFLj9MwEHbCawmvAkcuFhWrVFpVCVoEF6QFLghxWFi6XVFXleNOW2sdx7IdRIiCuCGu/DsO3Pgh2GmqZbt8F8983LkynBjU2SX0F46fKVq9d2rkc3bt6fad396xKUrNYMQKUeiTjBoQXMLIcivgRGmgeSZgnJ2+8vHxJ9CGF/KDrRMc7qUfMEZtY6a9f6QDJZc1lRrWjU1Y02EPVYxyQo7wM+xf/GuJyBXtjKwZjcOJmST8RkTVqrZW1x5hfMHG2IVO2r3THK0LTlaS85qkTp+v4ftHn4xIE3bsPY+adoy4xVoiNng/CRfMVkUmgqBWURAzrulomjW6yfDpAW+aKSd0UcdDme932ResDIHaZmgxkzSRNmpq2c5E9BEpDSgKDulS5g4U9IczLRur9HgR6WhtsAKNOZuFE/Cvxk1zY2p8swpc2pXZjvmyf/FJqVdPJvWXKrSgmS+keUC2kaGae7ODHjONVhL/eSAucSMamotaI4pY4s3d39f6Tb2180jh8P0/3hk3f7/YOX3c/soAfoIYpRip6iA/QaHaIRYsGbQAV8CX8GH4Lv4c/1tIw6HLuo3MIf/4FIufWMg=</latexit>

The homomorphism “discards” the information about the attribute location in a tuple