The Joy of Sets

The semantics of many bulk data models depends on user-defined attributes such as definitions of element equality, ordering, and other domain predicates. While these attributes are an intrinsic part of the data model, they are not normally treated as part of the static type description. This leads to the occurrence of data modelling errors which are not statically detectable, such as a union operator accidentally being applied to two sets which have different equality semantics.

[1]  O. Deux,et al.  The Story of O2 , 1990, IEEE Trans. Knowl. Data Eng..

[2]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[3]  Alan J. Demers,et al.  Data types are values , 1985, ACM Trans. Program. Lang. Syst..

[4]  Michael Stonebraker,et al.  Introduction to the Special Issue on Database Prototype Systems , 1990, IEEE Transactions on Knowledge and Data Engineering.

[5]  Richard C. H. Connor,et al.  Type Equivalence Checking in Persistent Object Systems , 1990, POS.

[6]  Robin Milner,et al.  Definition of standard ML , 1990 .

[7]  Malcolm P. Atkinson,et al.  Design Issues in a Map Language , 1992, DBPL.

[8]  Renzo Orsini,et al.  GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.

[9]  John C. Mitchell,et al.  Abstract types have existential type , 1988, TOPL.

[10]  O. Deux,et al.  The story of O 2 , 1992 .

[11]  Butler W. Lampson,et al.  A Kernel Language for Abstract Data Types and Modules , 1984, Semantics of Data Types.

[12]  Richard C. H. Connor,et al.  Persistent Hyper-Programs , 1992, POS.