Searcharxiv⌕ Search

arXiv subjects

Marshall Spight

Publications and source records attributed to Marshall Spight.

2 recordsLinked to original sources
arXiv2008

Relational Lattice Axioms

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.

cs.DB↗
arXiv2006

First Steps in Relational Lattice

Relational lattice reduces the set of six classic relational algebra operators to two binary lattice operations: natural join and inner union. We give an introduction to this theory with emphasis on formal algebraic laws. New results include Spight distributivity criteria and its applications to query transformations.

cs.DB↗