Keyphrases
- nonmonotonic logics
- database language
- query language
- relational databases
- modal logic
- sql queries
- database management
- database design
- databases
- database
- data types
- inference rules
- classical logic
- logic programming
- cd rom
- back end
- multi valued
- relational database systems
- relational dbms
- epistemic logic
- database server
- question answer
- logical framework
- recursive queries
- valued semantics
- ibm db
- sql database
- question answering systems
- database systems
- database programming
- automated reasoning
- default logic
- data warehouse
- database applications
- database technology