Expressing Database Queries with Intuitionistic Logic.

Anthony J. Bonner L. Thorne McCarty Kumar V. Vadaparty

Published in: NACLP (1989)

Keyphrases

database queries
intuitionistic logic
classical logic
linear logic
database
databases
natural deduction
normal form
proof theoretic
model checker
high level
expert systems
relational databases