Keyphrases
- database systems
- databases
- database management systems
- modal logic
- logic programming
- database server
- data types
- data integration
- data model
- database
- data management
- classical logic
- relational database systems
- database applications
- database design
- object oriented database systems
- database technology
- probabilistic logic
- deontic logic
- logical framework
- automated reasoning
- computational properties
- digital circuits
- concurrency control
- index structure
- higher order
- relational databases
- information systems
- artificial intelligence
- learning algorithm
- real time