The Expressiveness of Datalog Circuits (DAC).
Foto N. AfratiIrène GuessarianMichel de RougemontPublished in: MFCS (1997)
Keyphrases
- expressive power
- query language
- data complexity
- first order logic
- high speed
- transitive closure
- computational properties
- deductive databases
- relational algebra
- relational calculus
- delay insensitive
- query answering
- digital circuits
- analog circuits
- asynchronous circuits
- max csp
- circuit design
- quantum computing
- electronic circuits
- database languages
- real time
- analog vlsi
- vlsi circuits
- logic programming
- tunnel diode