The Consistency Theorem for Free Type Definitions in Z.

J. Michael Spivey

Published in: Formal Aspects Comput. (1996)

Keyphrases

type definitions
global consistency
data sets
temporal consistency
database
social networks
domain knowledge
relational data
global constraints
von neumann