Abstract We present a domain calculus for databases that store information in the form of $L$-relations, where $L$ is a complete Heyting algebra. First-order formulas serve as a query language for such databases. However, the set of formulas needs to be restricted to those that are safe to use. The main motivation is to study databases in which incomplete information is modeled by $L$-relations.