Logic programming and databases
Logic programming and databases
ACM Transactions on Database Systems (TODS)
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
MIDST: model independent schema and data translation
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Declarative information extraction using datalog with embedded extraction predicates
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
A graph model of data and workflow provenance
TAPP'10 Proceedings of the 2nd conference on Theory and practice of provenance
PROPUB: towards a declarative approach for publishing customized, policy-aware provenance
SSDBM'11 Proceedings of the 23rd international conference on Scientific and statistical database management
Answer set programming at a glance
Communications of the ACM
Towards a model of provenance and user views in scientific workflows
DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences
Datalog as a query language for data exchange systems
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
The W3C PROV family of specifications for modelling provenance metadata
Proceedings of the 16th International Conference on Extending Database Technology
Provenance analyzer: exploring provenance semantics with logic rules
TaPP'13 Proceedings of the 5th USENIX conference on Theory and Practice of Provenance
Declaratively processing provenance metadata
TaPP'13 Proceedings of the 5th USENIX conference on Theory and Practice of Provenance
D-PROV: extending the PROV provenance model with workflow structure
TaPP'13 Proceedings of the 5th USENIX conference on Theory and Practice of Provenance
Provenance analyzer: exploring provenance semantics with logic rules
Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance
Declaratively processing provenance metadata
Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance
D-PROV: extending the PROV provenance model with workflow structure
Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance
Hi-index | 0.00 |
PROV is a specification, promoted by the World Wide Web consortium, for recording the provenance of web resources. It includes a schema, consistency constraints and inference rules on the schema, and a language for recording provenance facts. In this paper we describe a implementation of PROV that is based on the DLV Datalog engine. We argue that the deductive databases paradigm, which underpins the Datalog model, is a natural choice for expressing at the same time (i) the intensional features of the provenance model, namely its consistency constraints and inference rules, (ii) its extensional features, i.e., sets of provenance facts (called a provenance graph), and (iii) declarative recursive queries on the graph. The deductive and constraint solving capability of DLV can be used to validate a graph against the constraints, and to derive new provenance facts. We provide an encoding of the PROV rules as Datalog rules and constraints, and illustrate the use of deductive capabilities both for queries and for constraint validation, namely to detect inconsistencies in the graphs. The DLV code along with a parser to map the PROV assertion language to Datalog syntax, are publicly available.