Logic-enhanced memory for high performance databases.
Abhaya AsthanaNandit SoparkarH. V. JagadishPaul KrzyzanowskiPublished in: KES (2) (1997)
Keyphrases
- databases
- embedded dram
- random access memory
- database
- relational databases
- closed world assumptions
- compute intensive
- random access
- logic programming
- memory usage
- automated reasoning
- modal logic
- database applications
- information systems
- main memory
- computational power
- logical framework
- high reliability
- predicate logic
- linear logic
- proof theory
- metadata