Declarative Rule

• Name: Relational Algebra Join
• Description in English: This rule represents the relational algebra (binary) join operator. It takes two input relations and a join expression and outputs a relation that is the subset of tuples in the cartesian product of the input relations that satify the join expression.
• Example in English: Join("r(x, y)", "s(u, v)", "y = u", "j(x, y, u, v)") Join("r(x, y)", "s(u, v)", "x > u ^ y <= u", "j(x, y, u, v)")
• Source(s):
  • Name: A Relational Model of Data for Large Shared Data Banks
  • URL: http://www.acm.org/classics/nov95/
  • Author(s):
    • Name: Edgar F. Codd
    • URL: http://www.acm.org/awards/turing_citations/codd.html
  • Publisher:
    • Name: Association for Computing Machinery
    • URL: http://www.acm.org/
  • Year: 1970

(Registration details...)

Copyright 2009 Inference Web group.
All Rights Reserved.