Declarative Rule

• Name: Relation Algebra Multi-Relation Union
• Description in English: This rule represents the relational algebra union operator. It accepts an arbitrary number of input relations and produces the union of the sets of tuples (removing duplicates).
• Example in English: Union([r(x, y, z), s(x, y, z), t(x, y, z)], "u(x, y, z)")
• 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.