Revisiting Semiring Provenance for Datalog.
Camille BourgauxPierre BourhisLiat PeterfreundMichaël ThomazoPublished in: CoRR (2022)
Keyphrases
- relational algebra
- expressive power
- deductive databases
- query answering
- query language
- relational calculus
- metadata
- datalog programs
- integrity constraints
- data complexity
- logic programming
- data quality
- normal form
- ontology based data access
- transitive closure
- max sat
- scientific workflows
- fine grained
- provenance information
- data exchange
- data model
- relational query languages
- relational model
- first order logic
- neural network
- query evaluation
- fixpoint
- description logics
- using semantic web technologies
- containment of conjunctive queries
- multimedia