Definition of CQL as a Context-free Grammar with Equations

Abstract

We develop a canonical syntax and axiomatic semantics for CQL.

Share This