Static and dynamic semantics of NoSQL languages.