Consistency checking in Complex Objects Database schemata with integrity constraints