Date: Mon, 4 Jul 2005 07:35:56 +0200
In article <ZaSxe.136291$Ql.7257205_at_phobos.telenet-ops.be>,
> > How do you define atomicity?
> Roughly, I would say that it means that all your data manipulation can
> be expressed as operations over a signature that consists only of (1)
> domains described by an abstract data type and (2) relations that
> contain in their fields only values from these domains.
I can't make heads or tails of this. Operations over a signature?
Domains described by an abstract data type? Is a domain not the same as
a data type? Can a data type describe several domains? And again with
the "abstract"---does your atomicity require that all data types be
abstract? What, then, is a concrete (or non-abstract) data type, and why
is it not allowed? Are relation types not (abstract) data types? How
about set types?
-- JonReceived on Mon Jul 04 2005 - 07:35:56 CEST