Theoretical Computer Science

Principles of programming with complex objects and collection types
pp. 3-48(46)
Authors: Buneman P.; Naqvi S.; Tannen V.; Wong L.

The expressive power of cardinality-bounded set values in object-based data models
pp. 49-66(18)
Authors: Van den Bussche J.; Van Gucht D.

On the expressive power of counting
pp. 67-99(33)
Authors: Grumbach S.; Tollu C.

Computing with infinitary logic
pp. 101-128(28)
Authors: Abiteboul S.; Vardi M.Y.; Vianu V.

Approximate inference of functional dependencies from relations
pp. 129-149(21)
Authors: Kivinen J.; Mannila H.

Hybrid atomicity for nested transactions
pp. 151-178(28)
Authors: Fekete A.; Lynch N.; Weihl W.E.

Context-specific synchronization for atomic data types in object-based databases
pp. 179-199(21)
Authors: Man H.W.; Agrawal D.