Maintaining Database Integrity with Refinement Types.

Ioannis G. Baltopoulos Johannes Borgström Andrew D. Gordon

Published in: ECOOP (2011)

Keyphrases

database integrity
integrity constraints
database
database systems
xml documents
data model
fine grained