{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:42:26Z","timestamp":1780994546617,"version":"3.54.1"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T00:00:00Z","timestamp":1534982400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T00:00:00Z","timestamp":1534982400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100007523","name":"Division of Advanced Cyberinfrastructure","doi-asserted-by":"publisher","award":["1640864"],"award-info":[{"award-number":["1640864"]}],"id":[{"id":"10.13039\/100007523","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100005717","name":"SBE Office of Multidisciplinary Activities","doi-asserted-by":"publisher","award":["1637155"],"award-info":[{"award-number":["1637155"]}],"id":[{"id":"10.13039\/100005717","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007523","name":"Division of Advanced Cyberinfrastructure","doi-asserted-by":"publisher","award":["1541450"],"award-info":[{"award-number":["1541450"]}],"id":[{"id":"10.13039\/100007523","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["The VLDB Journal"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s00778-018-0518-5","type":"journal-article","created":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T04:15:23Z","timestamp":1534997723000},"page":"47-71","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["PUG: a framework and practical implementation for why and why-not provenance"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5637-252X","authenticated-orcid":false,"given":"Seokki","family":"Lee","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bertram","family":"Lud\u00e4scher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2887-2452","authenticated-orcid":false,"given":"Boris","family":"Glavic","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,8,23]]},"reference":[{"key":"518_CR1","unstructured":"Arab, B., Gawlick, D., Radhakrishnan, V., Guo, H., Glavic, B.: A generic provenance middleware for database queries, updates, and transactions. In: TaPP (2014)"},{"key":"518_CR2","doi-asserted-by":"crossref","unstructured":"Bidoit, N., Herschel, M., Tzompanaki, K.: Immutably answering why-not questions for equivalent conjunctive queries. In: TaPP (2014)","DOI":"10.3166\/isi.20.5.27-52"},{"key":"518_CR3","unstructured":"Bidoit, N., Herschel, M., Tzompanaki, K., et\u00a0al.: Query-based why-not provenance with NedExplain. In: EDBT, pp. 145\u2013156 (2014)"},{"key":"518_CR4","doi-asserted-by":"crossref","unstructured":"Chapman, A., Jagadish, H.V.: Why not? In: SIGMOD, pp. 523\u2013534 (2009)","DOI":"10.1145\/1559845.1559901"},{"issue":"4","key":"518_CR5","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1561\/1900000006","volume":"1","author":"J Cheney","year":"2009","unstructured":"Cheney, J., Chiticariu, L., Tan, W.: Provenance in databases: why, how, and where. Found. Trends Databases 1(4), 379\u2013474 (2009)","journal-title":"Found. Trends Databases"},{"key":"518_CR6","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C.V., Analyti, A., Antoniou, G.: Justifications for logic programming. In: Logic Programming and Nonmonotonic Reasoning, pp. 530\u2013542 (2013)","DOI":"10.1007\/978-3-642-40564-8_53"},{"issue":"12","key":"518_CR7","first-page":"1394","volume":"8","author":"D Deutch","year":"2015","unstructured":"Deutch, D., Gilad, A., Moskovitch, Y.: Selective provenance for datalog programs using top-k queries. PVLDB 8(12), 1394\u20131405 (2015)","journal-title":"PVLDB"},{"key":"518_CR8","unstructured":"Deutch, D., Milo, T., Roy, S., Tannen, V.: Circuits for datalog provenance. In: ICDT, pp. 201\u2013212 (2014)"},{"key":"518_CR9","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.scico.2017.08.009","volume":"155","author":"S Fehrenbach","year":"2017","unstructured":"Fehrenbach, S., Cheney, J.: Language-integrated provenance. Sci. Comput. Programm. 155, 103\u2013145 (2017)","journal-title":"Sci. Comput. Programm."},{"key":"518_CR10","doi-asserted-by":"crossref","unstructured":"Flum, J., Kubierschky, M., Lud\u00e4scher, B.: Total and partial well-founded datalog coincide. In: ICDT, pp. 113\u2013124 (1997)","DOI":"10.1007\/3-540-62222-5_40"},{"key":"518_CR11","unstructured":"Glavic, B., K\u00f6hler, S., Riddle, S., Lud\u00e4scher, B.: Towards constraint-based explanations for answers and non-answers. In: TaPP (2015)"},{"key":"518_CR12","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-642-41660-6_16","volume-title":"In Search of Elegance in the Theory and Practice of Computation","author":"B Glavic","year":"2013","unstructured":"Glavic, B., Miller, R.J., Alonso, G.: Using sql for efficient generation and querying of provenance information. In: Tannen, V., Wong, L., Libkin, L., Fan, W., Tan, W.C., Fourman, M. (eds.) In Search of Elegance in the Theory and Practice of Computation, pp. 291\u2013320. Springer, Berlin (2013)"},{"key":"518_CR13","unstructured":"Gr\u00e4del, E., Tannen, V.: Semiring provenance for first-order model checking (2017). arXiv:1712.01980"},{"issue":"2","key":"518_CR14","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s00224-011-9327-6","volume":"49","author":"T Green","year":"2011","unstructured":"Green, T.: Containment of conjunctive queries on annotated relations. Theory Comput. Syst. 49(2), 429\u2013459 (2011)","journal-title":"Theory Comput. Syst."},{"key":"518_CR15","doi-asserted-by":"crossref","unstructured":"Green, T., Karvounarakis, G., Tannen, V.: Provenance semirings. In: PODS, pp. 31\u201340 (2007)","DOI":"10.1145\/1265530.1265535"},{"key":"518_CR16","doi-asserted-by":"crossref","unstructured":"Green, T.J., Aref, M., Karvounarakis, G.: Logicblox, platform and language: a tutorial. In: Datalog in Academia and Industry, pp. 1\u20138. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-32925-8_1"},{"key":"518_CR17","unstructured":"Green, T.J., Karvounarakis, G., Ives, Z.G., Tannen, V.: Update exchange with mappings and provenance. In: VLDB, pp. 675\u2013686 (2007)"},{"key":"518_CR18","doi-asserted-by":"crossref","unstructured":"Green, T.J., Tannen, V.: The semiring framework for database provenance. In: PODS, pp. 93\u201399 (2017)","DOI":"10.1145\/3034786.3056125"},{"issue":"3","key":"518_CR19","first-page":"1","volume":"9","author":"M Herschel","year":"2017","unstructured":"Herschel, M., Diestelk\u00e4mper, R., Lahmar, H.B.: A survey on provenance: What for? what form? what from? VLDB J 9(3), 1\u201326 (2017)","journal-title":"VLDB J"},{"issue":"1","key":"518_CR20","first-page":"185","volume":"3","author":"M Herschel","year":"2010","unstructured":"Herschel, M., Hernandez, M.: Explaining missing answers to SPJUA queries. PVLDB 3(1), 185\u2013196 (2010)","journal-title":"PVLDB"},{"key":"518_CR21","doi-asserted-by":"crossref","unstructured":"Huang, J., Chen, T., Doan, A., Naughton, J.: On the provenance of non-answers to queries over extracted data. In: VLDB, pp. 736\u2013747 (2008)","DOI":"10.14778\/1453856.1453936"},{"issue":"3","key":"518_CR22","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/2380776.2380778","volume":"41","author":"G Karvounarakis","year":"2012","unstructured":"Karvounarakis, G., Green, T.J.: Semiring-annotated data: queries and provenance. SIGMOD Rec. 41(3), 5\u201314 (2012)","journal-title":"SIGMOD Rec."},{"key":"518_CR23","doi-asserted-by":"crossref","unstructured":"K\u00f6hler, S., Lud\u00e4scher, B., Smaragdakis, Y.: Declarative datalog debugging for mere mortals. In: Datalog 2.0: Datalog in Academia and Industry, pp. 111\u2013122 (2012)","DOI":"10.1007\/978-3-642-32925-8_12"},{"key":"518_CR24","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-642-41660-6_20","volume-title":"Search of Elegance in the Theory and Practice of Computation","author":"S K\u00f6hler","year":"2013","unstructured":"K\u00f6hler, S., Lud\u00e4scher, B., Zinn, D.: First-order provenance games. In: Tannen, V., Wong, L., Libkin, L., Fan, W., Tan, W.C., Fourman, M. (eds.) Search of Elegance in the Theory and Practice of Computation, pp. 382\u2013399. Springer, Berlin (2013)"},{"key":"518_CR25","unstructured":"Lee, S., K\u00f6hler, S., Lud\u00e4scher, B., Glavic, B.: Efficiently computing provenance graphs for queries with negation. Technical Report CoRR (2016). arXiv:1701.05699"},{"key":"518_CR26","doi-asserted-by":"crossref","unstructured":"Lee, S., K\u00f6hler, S., Lud\u00e4scher, B., Glavic, B.: A SQL-middleware unifying why and why-not provenance for first-order queries. In: ICDE, pp. 485\u2013496 (2017)","DOI":"10.1109\/ICDE.2017.105"},{"key":"518_CR27","unstructured":"Lee, S., Lud\u00e4scher, B., Glavic, B.: Pug: A framework and practical implementation for why and why-not provenance (extended version). Technical Report CoRR (2018). arXiv:1808.05752"},{"key":"518_CR28","unstructured":"Lee, S., Niu, X., Lud\u00e4scher, B., Glavic, B.: Integrating approximate summarization with provenance capture. In: TaPP (2017)"},{"issue":"1","key":"518_CR29","first-page":"34","volume":"4","author":"A Meliou","year":"2010","unstructured":"Meliou, A., Gatterbauer, W., Moore, K., Suciu, D.: The complexity of causality and responsibility for query answers and non-answers. PVLDB 4(1), 34\u201345 (2010)","journal-title":"PVLDB"},{"issue":"12","key":"518_CR30","first-page":"1490","volume":"4","author":"A Meliou","year":"2011","unstructured":"Meliou, A., Gatterbauer, W., Suciu, D.: Reverse data management. PVLDB 4(12), 1490\u20131493 (2011)","journal-title":"PVLDB"},{"key":"518_CR31","doi-asserted-by":"crossref","unstructured":"Meliou, A., Suciu, D.: Tiresias: The database oracle for how-to queries. In: SIGMOD, pp. 337\u2013348 (2012)","DOI":"10.1145\/2213836.2213875"},{"key":"518_CR32","doi-asserted-by":"crossref","unstructured":"Niu, X., Kapoor, R., Glavic, B., Gawlick, D., Liu, Z.H., Krishnaswamy, V., Radhakrishnan, V.: Provenance-aware query optimization. In: ICDE, pp. 473\u2013484 (2017)","DOI":"10.1109\/ICDE.2017.104"},{"key":"518_CR33","doi-asserted-by":"crossref","unstructured":"Olteanu, D., Z\u00e1vodn\u1ef3, J.: Factorised representations of query results: size bounds and readability. In: ICDT, pp. 285\u2013298. ACM (2012)","DOI":"10.1145\/2274576.2274607"},{"issue":"1","key":"518_CR34","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/2656335","volume":"40","author":"D Olteanu","year":"2015","unstructured":"Olteanu, D., Z\u00e1vodn\u1ef3, J.: Size bounds for factorised representations of query results. ACM Trans. Database Syst. (TODS) 40(1), 2 (2015)","journal-title":"ACM Trans. Database Syst. (TODS)"},{"key":"518_CR35","doi-asserted-by":"crossref","unstructured":"Riddle, S., K\u00f6hler, S., Lud\u00e4scher, B.: Towards constraint provenance games. In: TaPP (2014)","DOI":"10.1007\/978-3-642-41660-6_20"},{"issue":"4","key":"518_CR36","doi-asserted-by":"publisher","first-page":"348","DOI":"10.14778\/2856318.2856329","volume":"9","author":"S Roy","year":"2015","unstructured":"Roy, S., Orr, L., Suciu, D.: Explaining query answers with explanation-ready databases. Proc. VLDB Endow. 9(4), 348\u2013359 (2015)","journal-title":"Proc. VLDB Endow."},{"key":"518_CR37","doi-asserted-by":"crossref","unstructured":"Roy, S., Suciu, D.: A formal approach to finding explanations for database queries. In: SIGMOD (2014)","DOI":"10.1145\/2588555.2588578"},{"issue":"4","key":"518_CR38","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/3186549.3186551","volume":"46","author":"P Senellart","year":"2018","unstructured":"Senellart, P.: Provenance and probabilities in relational databases. ACM SIGMOD Rec. 46(4), 5\u201315 (2018)","journal-title":"ACM SIGMOD Rec."},{"issue":"1","key":"518_CR39","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/3051528.3051533","volume":"4","author":"V Tannen","year":"2017","unstructured":"Tannen, V.: Provenance analysis for FOL model checking. ACM SIGLOG News 4(1), 24\u201336 (2017)","journal-title":"ACM SIGLOG News"},{"key":"518_CR40","doi-asserted-by":"crossref","unstructured":"Tran, Q.T., Chan, C.-Y.: How to conquer why-not questions. In: SIGMOD, pp. 15\u201326 (2010)","DOI":"10.1145\/1807167.1807172"},{"issue":"8","key":"518_CR41","first-page":"553","volume":"6","author":"E Wu","year":"2013","unstructured":"Wu, E., Madden, S.: Scorpion: explaining away outliers in aggregate queries. PVLDB 6(8), 553\u2013564 (2013)","journal-title":"PVLDB"},{"key":"518_CR42","doi-asserted-by":"crossref","unstructured":"Wu, Y., Zhao, M., Haeberlen, A., Zhou, W., Loo, B.T.: Diagnosing missing events in distributed systems with negative provenance. In: SIGCOMM, pp. 383\u2013394 (2014)","DOI":"10.1145\/2740070.2626335"},{"issue":"1","key":"518_CR43","first-page":"39","volume":"41","author":"J Xu","year":"2018","unstructured":"Xu, J., Zhang, W., Alawini, A., Tannen, V.: Provenance analysis for missing answers and integrity repairs. IEEE Data Eng. Bull. 41(1), 39\u201350 (2018)","journal-title":"IEEE Data Eng. Bull."},{"key":"518_CR44","doi-asserted-by":"crossref","unstructured":"Zhou, W., Sherr, M., Tao, T., Li, X., Loo, B.T., Mao, Y.: Efficient querying and maintenance of network provenance at internet-scale. In: SIGMOD, pp. 615\u2013626 (2010)","DOI":"10.1145\/1807167.1807234"}],"container-title":["The VLDB Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00778-018-0518-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-018-0518-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-018-0518-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,30]],"date-time":"2022-08-30T01:30:20Z","timestamp":1661823020000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00778-018-0518-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,23]]},"references-count":44,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["518"],"URL":"https:\/\/doi.org\/10.1007\/s00778-018-0518-5","relation":{},"ISSN":["1066-8888","0949-877X"],"issn-type":[{"value":"1066-8888","type":"print"},{"value":"0949-877X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8,23]]},"assertion":[{"value":"7 November 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 August 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 August 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 August 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}