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 ...

Database normalization is the cornerstone of database theory. Once a database is normalized, relationships between the data in multiple tables must be established. A hefty part of designing a ...