Relational Lattice Foundation for Algebraic Logic

Details Relational Lattice Foundation for Algebraic Logic Relational Lattice Foundation for Algebraic Logic

2009-02-20

arxiv.org/abs/0902.3532v2

Computer Science

Databases

15 pages

Scientific paper

Relational Lattice is a succinct mathematical model for Relational Algebra. It reduces the set of six classic relational algebra operators to two: natural join and inner union. In this paper we push relational lattice theory in two directions. First, we uncover a pair of complementary lattice operators, and organize the model into a bilattice of four operations and four distinguished constants. We take a notice a peculiar way bilattice symmetry is broken. Then, we give axiomatic introduction of unary negation operation and prove several laws, including double negation and De Morgan. Next we reduce the model back to two basic binary operations and twelve axioms, and exhibit a convincing argument that the resulting system is complete in model-theoretic sense. The final parts of the paper casts relational lattice perspective onto database dependency theory and into cylindric algebras.

Affiliated with

Also associated with

No associations

Rating

Relational Lattice Foundation for Algebraic Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Relational Lattice Foundation for Algebraic Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Relational Lattice Foundation for Algebraic Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-670918