A Brief Survey of Logic and Database Systems.
Shamim A. NaqviPublished in: On Knowledge Base Management Systems (Islamorada) (1985)
Keyphrases
- database systems
- database
- relational database systems
- data model
- classical logic
- query processing
- formal theory
- logic programming
- database management systems
- automated reasoning
- artificial intelligence
- spatio temporal databases
- computational properties
- literature review
- modal logic
- database applications
- data management
- transaction processing
- logical framework
- query execution
- digital circuits
- natural deduction
- federated databases
- proof theory