Re: Codd's Information Principle
Date: Fri, 6 Nov 2009 19:11:00 -0800 (PST)
Message-ID: <78422d9f-b88e-4cf5-9c55-5038cb45f538_at_s21g2000prm.googlegroups.com>
On Nov 6, 5:19 pm, com..._at_hotmail.com wrote:
> Anyway, the quantifiers are not in the relational algebra,
The main objective of Algebraic Logic is eliminating the concept of
quantifier. The two success stories are Boolean Algebra (aka
Propositional Calculus in algebraic form) and (Binary) Relation
Algebra (corresponding to some fragment of Predicate Calculus?)
Arguably, there is no ubiquitous algebraic system for Predicate
Calculus despite Tarski, Halmos, and many others exerted quite an
effort. (There is an inspirational essay by Halmos that I posted link
on sci.logic a while ago -- cant find the reference!) Codd's
> they are in the corresponding predicate expression.