Intuitionistic Logic Programming for SQL (Extended Abstract).
Fernando Sáenz-PérezPublished in: CoRR (2016)
Keyphrases
- extended abstract
- intuitionistic logic
- database programming
- linear logic
- query language
- programming language
- classical logic
- relational databases
- sql queries
- database design
- proof theoretic
- natural deduction
- database
- database applications
- normal form
- databases
- bayesian networks
- artificial intelligence
- relational database systems
- integrity constraints
- software engineering