Ideal Databases

Abstract: From algebraic geometry perspective database relations are succinctly defined as Finite Varieties. After establishing basic framework, we give analytic proof of Heath theorem from Database Dependency theory. Next, we leverage Algebra/Geometry dictionary and focus on algebraic counterparts of finite varieties, polynomial ideals. It is well known that intersection and sum of ideals are lattice operations. We generalize this fact to ideals from different rings, therefore establishing that algebra of ideals is Relational Lattice. The final stop is casting the framework into Linear Algebra, and traversing to Quantum Theory.