Relational Lattice Axioms
Databases
2008-07-25 v1
Abstract
Relational lattice is a formal mathematical model for Relational algebra. It reduces the set of six classic relational algebra operators to two: natural join and inner union. We continue to investigate Relational lattice properties with emphasis onto axiomatic definition. New results include additional axioms, equational definition for set difference (more generally anti-join), and case study demonstrating application of the relational lattice theory for query transformations.
Keywords
Cite
@article{arxiv.0807.3795,
title = {Relational Lattice Axioms},
author = {Marshall Spight and Vadim Tropashko},
journal= {arXiv preprint arXiv:0807.3795},
year = {2008}
}
Comments
10 pages, 4 figures