Why Concurrency Control Is Needed
A plain-language look at why databases need concurrency control, the four classic anomalies it prevents, and how isolation levels trade strictness for...
Database management system concepts.
59 notes tagged
A plain-language look at why databases need concurrency control, the four classic anomalies it prevents, and how isolation levels trade strictness for...
Denormalisation deliberately reintroduces redundancy to make reads faster. It is a considered trade, valid only with evidence, and it always transfers...
One realistic table taken all the way from unnormalised form through 1NF, 2NF, 3NF and BCNF, with every dependency, key and decomposition shown at eac...
A decomposition is lossless when joining the pieces reproduces the original exactly, and dependency preserving when every dependency can still be chec...
Fourth normal form removes independent multivalued facts stored in one relation. Fifth normal form removes join dependencies, where a relation can be...
BCNF requires every determinant to be a super key. It is stricter than 3NF, removes the last key based redundancy, and sometimes cannot be reached wit...
A relation is in 3NF when it is in 2NF and no non prime attribute depends on another non prime attribute. It is the practical target for most producti...
A relation is in 2NF when it is in 1NF and no non prime attribute depends on only part of a candidate key. It only ever matters when the key is compos...
A relation is in 1NF when every value is atomic and there are no repeating groups. It is the entry requirement for the relational model itself, not me...
Redundancy causes three anomalies: you cannot insert a fact without an unrelated one, an update must change many rows, and a delete destroys informati...
Two dependency sets are equivalent when each implies the other. A minimal cover is the smallest equivalent set, computed in three steps, and it is wha...
A reliable method for finding every candidate key: classify attributes by where they appear in the dependencies, build a compulsory core, then extend...