A formal characterization of PIVOT/UNPIVOT.

Catharine M. Wyss Edward L. Robertson

Published in: CIKM (2005)

Keyphrases

formal specification
formal model
axiomatic characterization
data sets
databases
decision making
case study
multi agent
relational databases
formal methods
formal analysis