Duplicates in SQL

摘要

The relational database model is defined in terms of sets, whereas SQL needs the DISTINCT option for explicit duplicate removal. We define the underlying concept of duplicate tuples, generalize the operators of the relational algebra and study the connection with logic. It is shown that ‘baggy’ operators violate classical equivalences. The generalized system is applied in a formal interpretation of SQL.