Abstract

We develop a canonical syntax and axiomatic semantics for CQL.

Share This