Come garantire che i record correlati in tabelle diverse siano creati o modificati in modo coerente e che non si verifichino dati parzialmente scritti? Cos'è ACID e quali sono i livelli di isolamento delle transazioni?