Voltaire: A database programming language with a single execution model for evaluating queries, constraints and functions

Various features of the Voltaire database programming language are described. Unlike most other languages, Voltaire has a single execution model for evaluating queries, enforcing constraints and computing functions. Such a design also facilitates a bootstrapped implementation. Voltaire supports a synthesis of declarative querying primitives with imperative programming primitives so that constraints are also enforced. The notion of temporary instance creation, which allows an equivalent semantics to be given to classes and functions is reviewed. A data definition facility in which persistence is a property of the instances rather than classes, and the transparency provided between persistent and transient objects by defining a single set of operators for both kinds of objects are discussed