{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T07:15:41Z","timestamp":1779174941466,"version":"3.51.4"},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"12","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2018,8]]},"abstract":"<jats:p>This demonstration showcases ProvSQL, an open-source module for the PostgreSQL database management system that adds support for computation of provenance and probabilities of query results. A large range of provenance formalisms are supported, including all those captured by provenance semirings, provenance semirings with monus, as well as where-provenance. Probabilistic query evaluation is made possible through the use of knowledge compilation tools, in addition to standard approaches such as enumeration of possible worlds and Monte-Carlo sampling. ProvSQL supports a large subset of non-aggregate SQL queries.<\/jats:p>","DOI":"10.14778\/3229863.3236253","type":"journal-article","created":{"date-parts":[[2018,9,10]],"date-time":"2018-09-10T12:12:28Z","timestamp":1536581548000},"page":"2034-2037","source":"Crossref","is-referenced-by-count":49,"title":["ProvSQL"],"prefix":"10.14778","volume":"11","author":[{"given":"Pierre","family":"Senellart","sequence":"first","affiliation":[{"name":"PSL University &amp; Inria &amp; LTCI, T\u00e9l\u00e9com ParisTech"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louis","family":"Jachiet","sequence":"additional","affiliation":[{"name":"PSL University &amp; Inria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silviu","family":"Maniu","sequence":"additional","affiliation":[{"name":"LRI, Universit\u00e9 Paris-Sud, Universit\u00e9 Paris-Saclay"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yann","family":"Ramusat","sequence":"additional","affiliation":[{"name":"ENS, PSL University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,8]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2902251.2902301"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01182254"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989284.1989302"},{"issue":"1","key":"e_1_2_1_4_1","first-page":"51","article-title":"GProM - A swiss army knife for your provenance needs","volume":"41","author":"Arab B. S.","year":"2018","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/280474"},{"key":"e_1_2_1_6_1","first-page":"953","volume-title":"VLDB","author":"Benjelloun O.","year":"2006"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/645504.656274"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000006"},{"key":"e_1_2_1_9_1","first-page":"1271","volume-title":"VLDB","author":"Cheng R.","year":"2005"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/846219.847324"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-006-0004-3"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.11.11-34"},{"key":"e_1_2_1_13_1","first-page":"318","volume-title":"ECAI","author":"Darwiche A.","year":"2004"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622810.1622817"},{"key":"e_1_2_1_15_1","first-page":"201","volume-title":"ICDT","author":"Deutch D.","year":"2014"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/239041.239045"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2009.09.001"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2009.15"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265535"},{"issue":"1","key":"e_1_2_1_20_1","first-page":"17","article-title":"Models for incomplete and probabilistic information","volume":"29","author":"Green T. J.","year":"2006","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1559845.1559984"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1634.1886"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380776.2380778"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/3171642.3171738"},{"key":"e_1_2_1_25_1","volume-title":"Hooks in PostgreSQL","author":"Lelarge G.","year":"2012"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30353-1_36"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3186549.3186551"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/2031527"},{"key":"e_1_2_1_29_1","unstructured":"The PostgreSQL Global Development Group. PostgreSQL 10.1 Documentation chapter 5.8 (Schemas). 2017.  The PostgreSQL Global Development Group. PostgreSQL 10.1 Documentation chapter 5.8 (Schemas). 2017."},{"key":"e_1_2_1_30_1","volume-title":"The complexity of Boolean functions","author":"Wegener I.","year":"1987"}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/3229863.3236253","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T10:12:59Z","timestamp":1672222379000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/3229863.3236253"}},"subtitle":["provenance and probability management in postgreSQL"],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":30,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["10.14778\/3229863.3236253"],"URL":"https:\/\/doi.org\/10.14778\/3229863.3236253","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2018,8]]}}}