A. Amarilli, P. Bourhis, and P. Senellart, Tractable Lineages on Treelike Instances, Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS '16, pp.355-370, 2016.
DOI : 10.1016/j.tcs.2007.05.023

URL : https://hal.archives-ouvertes.fr/hal-01336514

K. Amer, Equationally complete classes of commutative monoids with monus, Algebra Universalis, vol.159, issue.1, pp.129-131, 1984.
DOI : 10.1007/BF01182254

Y. Amsterdamer, D. Deutch, and V. Tannen, Provenance for aggregate queries, Proceedings of the 30th symposium on Principles of database systems of data, PODS '11, pp.153-164, 2011.
DOI : 10.1145/1989284.1989302

B. S. Arab, S. Feng, B. Glavic, S. Lee, X. Niu et al., GProM -A swiss army knife for your provenance needs, IEEE Data Eng. Bull, vol.41, issue.1, pp.51-62, 2018.

F. Baader and T. Nipkow, Term rewriting and all that, 1998.

O. Benjelloun, A. D. Sarma, A. Halevy, and J. Widom, ULDBs: Databases with uncertainty and lineage, VLDB, pp.953-964, 2006.

P. Buneman, S. Khanna, and W. C. Tan, Why and Where: A Characterization of Data Provenance, ICDT, pp.316-330, 2001.
DOI : 10.1007/3-540-44503-X_20

J. Cheney, L. Chiticariu, and W. C. Tan, Provenance in Databases: Why, How, and Where, Foundations and Trends in Databases, vol.1, issue.4, pp.379-474, 2009.
DOI : 10.1561/1900000006

R. Cheng, S. Singh, and S. Prabhakar, U-DBMS: A database system for managing constantly-evolving data, VLDB, pp.1271-1274, 2005.

Y. Cui and J. Widom, Practical lineage tracing in data warehouses, Proceedings of 16th International Conference on Data Engineering (Cat. No.00CB37073), pp.367-378, 2000.
DOI : 10.1109/ICDE.2000.839437

N. Dalvi and D. Suciu, Efficient query evaluation on probabilistic databases, The VLDB Journal, vol.171, issue.1/2, pp.523-544, 2007.
DOI : 10.1007/s00778-006-0004-3

A. Darwiche, On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision, Journal of Applied Non-Classical Logics, vol.8, issue.1-2, pp.11-34, 2001.
DOI : 10.1016/0304-3975(94)00078-W

A. Darwiche, New advances in compiling CNF to decomposable negation normal form, ECAI, pp.318-322, 2004.

A. Darwiche and P. Marquis, A Knowledge Compilation Map, Journal of Artificial Intelligence Research, vol.17, issue.1, pp.229-264, 2002.
DOI : 10.1613/jair.989

D. Deutch, T. Milo, S. Roy, and V. Tannen, Circuits for Datalog provenance, ICDT, pp.201-212, 2014.

N. Fuhr and T. Rölleke, A probabilistic relational algebra for the integration of information retrieval and database systems, ACM Transactions on Information Systems, vol.15, issue.1, pp.32-66, 1997.
DOI : 10.1145/239041.239045

F. Geerts and A. Poggi, On database query languages for K-relations, Journal of Applied Logic, vol.8, issue.2, pp.173-185, 2010.
DOI : 10.1016/j.jal.2009.09.001

B. Glavic and G. Alonso, Perm: Processing Provenance and Data on the Same Data Model through Query Rewriting, 2009 IEEE 25th International Conference on Data Engineering, pp.174-185, 2009.
DOI : 10.1109/ICDE.2009.15

T. J. Green, G. Karvounarakis, and V. Tannen, Provenance semirings, Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '07, pp.31-40, 2007.
DOI : 10.1145/1265530.1265535

T. J. Green and V. Tannen, Models for Incomplete and Probabilistic Information, IEEE Data Eng. Bull, vol.29, issue.1, pp.17-24, 2006.
DOI : 10.1007/11896548_24

J. Huang, L. Antova, C. Koch, and D. Olteanu, MayBMS, Proceedings of the 35th SIGMOD international conference on Management of data, SIGMOD '09, pp.1071-1074, 2009.
DOI : 10.1145/1559845.1559984

T. Imielinski and W. L. Jr, Incomplete Information in Relational Databases, Journal of the ACM, vol.31, issue.4, pp.761-791, 1984.
DOI : 10.1145/1634.1886

G. Karvounarakis and T. J. Green, Semiring-annotated data, ACM SIGMOD Record, vol.41, issue.3, pp.5-14, 2012.
DOI : 10.1145/2380776.2380778

J. Lagniez and P. Marquis, An Improved Decision-DNNF Compiler, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, pp.667-673, 2017.
DOI : 10.24963/ijcai.2017/93

G. Lelarge, Hooks in PostgreSQL, 2012. Talk at FOSDEM 2012 and pgCon, 2012.

C. J. Muise, S. A. Mcilraith, J. C. Beck, and E. I. Hsu, Dsharp: Fast d-DNNF Compilation with sharpSAT, Canadian Conference on AI, pp.356-361, 2012.
DOI : 10.1007/978-3-642-30353-1_36

P. Senellart, Provenance and Probabilities in Relational Databases, ACM SIGMOD Record, vol.46, issue.4, pp.5-15, 2017.
DOI : 10.1109/ICDE.1997.581742

URL : https://hal.archives-ouvertes.fr/hal-01672566

D. Suciu, D. Olteanu, C. Ré, and C. Koch, Probabilistic Databases. Morgan & Claypool, 2011.

, The PostgreSQL Global Development Group. PostgreSQL 10.1 Documentation, chapter 5, p.2017

I. Wegener, The complexity of Boolean functions, 1987.