An Internet Query Language based on Intuitionistic Linear Logic.

Keehang Kwon JaeWoo Kim Jang-Wu Jo

Published in: SERA (2007)

Keyphrases

linear logic
query language
fixed point
cut elimination
logic programming
proof theoretic
intuitionistic logic
logical framework
data model
sequent calculus
desirable properties
query evaluation
proof search
database
logic programs
fuzzy sets
inference rules
bayesian networks
database systems
high level
databases