TR 8E-009This paper defines aggregates in the temporal query language TQuel and provides their rormal semantics in the tuple relational calculus. A rormal semantics (or Que! aggregates is defined in the process. Multiple aggregates; aggregates appearing in the where, when, valid, and as-or clauses; nested aggregation; and instantaneous, cumulative, and unique variants are supported. These aggregates give the user a rich set or statistical functions that range over time, while requiring minimal additions to TQuel and its semantics . . :'l'bi1 work wu nppolied bJ NSF (l'&lli DCR•8402330 and by a Junior Faculty Denlopmnt Awud from the UNC. CH FoUD.datioa. The &nt aat.hor wu npport.ed ia pan by u IBM Faculty Developmnt. Award.