Expressiveness

Range restricted RC queries with multiset semantics have at least the expressiveness of RA queries

Theorem (Codd)

For every domain independent RC query there is an equivalent RA expression. Thus, RA is a relationally complete query language