Circuits for Datalog Provenance.
Daniel DeutchTova MiloSudeepa RoyVal TannenPublished in: ICDT (2014)
Keyphrases
- expressive power
- deductive databases
- query answering
- metadata
- datalog programs
- query language
- high speed
- integrity constraints
- data quality
- circuit design
- logic programming
- digital circuits
- tunnel diode
- analog vlsi
- logic synthesis
- database languages
- data complexity
- fine grained
- transitive closure
- vlsi circuits
- scientific workflows
- provenance information
- analog circuits
- asynchronous circuits
- logic circuits
- quantum computing
- electronic circuits
- power reduction
- relational algebra
- infrared
- existentially quantified
- data model