Encoding Z-style Schemas in Type Theory.

Published in: TYPES (1993)

Keyphrases

databases
data integration
theoretical framework
genetic algorithm
website
database schema
schema evolution
information systems
e learning
bayesian networks
general theory
fractal image compression