Revisiting Semiring Provenance for Datalog.
Camille BourgauxPierre BourhisLiat PeterfreundMichaël ThomazoPublished in: KR (2022)
Keyphrases
- relational algebra
- expressive power
- deductive databases
- query language
- query answering
- relational calculus
- datalog programs
- metadata
- logic programming
- integrity constraints
- transitive closure
- ontology based data access
- provenance information
- data quality
- fine grained
- data complexity
- data model
- relational model
- first order logic
- using semantic web technologies
- database systems
- databases
- existentially quantified
- constraint problems
- scientific workflows
- normal form
- neural network
- decision diagrams
- database languages
- complex objects
- recursive programs
- containment of conjunctive queries