Re: Equivalence Rules

Lists: pgsql-hackers
From: Ali Piroozi <falipiroozi(at)gmail(dot)com>
To: pgsql-hackers(at)postgresql(dot)org
Subject: Equivalence Rules
Date: 2014-02-28 13:06:01
Message-ID: CAMi-Eo06Z1MJdynJ=m5WTux=SgjvXUY2YHtfWUx1PcYjptMX6A@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Lists: pgsql-hackers

Hi
Which equivalence rule from those are listed in
email's attachment are implemented in postgresql?
where are them?
Thanks

Attachment Content-Type Size
equivalenceRules.pdf application/pdf 19.1 KB

From: David Johnston <polobo(at)yahoo(dot)com>
To: pgsql-hackers(at)postgresql(dot)org
Subject: Re: Equivalence Rules
Date: 2014-02-28 17:01:07
Message-ID: 1393606867152-5794069.post@n5.nabble.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Lists: pgsql-hackers

Ali Piroozi wrote
> Hi
> Which equivalence rule from those are listed in
> email's attachment are implemented in postgresql?
> where are them?

What do you mean by "where"?

The various JOINS and UNION/INTERSECT/DIFFERENCE are all defined
capabilities.

SQL is not purely relational in nature so some of the mathematical rules may
not be exactly implemented as theory would dictate but largely they are
present.

I would suggesting providing more context as to why you are asking this as
people are more likely to provide help at this level of technical depth if
they know why; and can frame their answers more appropriately.

David J.

--
View this message in context: http://postgresql.1045698.n5.nabble.com/Equivalence-Rules-tp5794035p5794069.html
Sent from the PostgreSQL - hackers mailing list archive at Nabble.com.


From: Ali Piroozi <falipiroozi(at)gmail(dot)com>
To: David Johnston <polobo(at)yahoo(dot)com>
Cc: pgsql-hackers(at)postgresql(dot)org
Subject: Re: Equivalence Rules
Date: 2014-02-28 18:33:14
Message-ID: CAMi-Eo3z787R=ZdEvOF86z8eWfsZw=FJDpe9Md9xGB0bKn9qWg@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Lists: pgsql-hackers

"where" means, which function or which part of source code.
I want to use that(function or part of source code), to produce the
equivalence
(based on equivalence rules in attachment) Relational Algebra
for a given SQL query(Relational Algebra).