Does database implementation match the design?

Given a database design, as defined by the TSQL used to create it. Is there an easy way to check an existing database to ensure that the implementation matches that design?

All tables and columns are accounted for?

All columns are marked null or not null appropriately (the root of why I开发者_如何学Go'm asking this question)?

Going further, checking primary and foreign keys?

You can use Visual Studio 2010's database project or a commercial tool such as RedGate's schema compare to compare and synchronise schema.