Keyphrases
- database language
- relational databases
- sql queries
- databases
- query language
- modal logic
- database
- database applications
- logic programming
- sufficient conditions
- data types
- database management
- logical framework
- classical logic
- predicate logic
- database design
- database technology
- cd rom
- automated reasoning
- closed world assumptions
- proof theory
- structured query language
- database development
- relational database management systems
- database queries
- relational model
- functional dependencies