Functional and multivalued dependencies in nested databases generated by record and list constructor