The paper is devoted to applications of algebraic logic to databases. In databases a query is represented by a formula of first order logic. The same query can be associated with different formulas.

There’s been a lot of discussion recently about autonomous databases, which offer the promise of keeping database systems stable and performant while alleviating much of the tuning and configuration ...