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
Equationally complete classes of commutative monoids with monus, Algebra Universalis, vol.159, issue.1, pp.129-131, 1984. ,
DOI : 10.1007/BF01182254
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
GProM -A swiss army knife for your provenance needs, IEEE Data Eng. Bull, vol.41, issue.1, pp.51-62, 2018. ,
Term rewriting and all that, 1998. ,
ULDBs: Databases with uncertainty and lineage, VLDB, pp.953-964, 2006. ,
Why and Where: A Characterization of Data Provenance, ICDT, pp.316-330, 2001. ,
DOI : 10.1007/3-540-44503-X_20
Provenance in Databases: Why, How, and Where, Foundations and Trends in Databases, vol.1, issue.4, pp.379-474, 2009. ,
DOI : 10.1561/1900000006
U-DBMS: A database system for managing constantly-evolving data, VLDB, pp.1271-1274, 2005. ,
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
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
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
New advances in compiling CNF to decomposable negation normal form, ECAI, pp.318-322, 2004. ,
A Knowledge Compilation Map, Journal of Artificial Intelligence Research, vol.17, issue.1, pp.229-264, 2002. ,
DOI : 10.1613/jair.989
Circuits for Datalog provenance, ICDT, pp.201-212, 2014. ,
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
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
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
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
Models for Incomplete and Probabilistic Information, IEEE Data Eng. Bull, vol.29, issue.1, pp.17-24, 2006. ,
DOI : 10.1007/11896548_24
MayBMS, Proceedings of the 35th SIGMOD international conference on Management of data, SIGMOD '09, pp.1071-1074, 2009. ,
DOI : 10.1145/1559845.1559984
Incomplete Information in Relational Databases, Journal of the ACM, vol.31, issue.4, pp.761-791, 1984. ,
DOI : 10.1145/1634.1886
Semiring-annotated data, ACM SIGMOD Record, vol.41, issue.3, pp.5-14, 2012. ,
DOI : 10.1145/2380776.2380778
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
Hooks in PostgreSQL, 2012. Talk at FOSDEM 2012 and pgCon, 2012. ,
Dsharp: Fast d-DNNF Compilation with sharpSAT, Canadian Conference on AI, pp.356-361, 2012. ,
DOI : 10.1007/978-3-642-30353-1_36
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
, Probabilistic Databases. Morgan & Claypool, 2011.
, The PostgreSQL Global Development Group. PostgreSQL 10.1 Documentation, chapter 5, p.2017
The complexity of Boolean functions, 1987. ,