FORMULA SHEET

Database Management Systems

BCNF

X -> Y implies X is a superkey

Use for every non-trivial dependency.

Acyclic precedence graph

Cycle means not conflict serializable.

floor(block / pointer-entry)

Useful for index height questions.