Keyphrases
- intuitionistic logic
- database programming
- classical logic
- linear logic
- relational databases
- programming language
- query language
- sql queries
- databases
- database
- normal form
- database applications
- database queries
- natural deduction
- proof theoretic
- database design
- logic programming
- data types
- fixed point
- relational database systems
- general purpose
- knowledge representation