Sven Hartmann Sebastian Link Klaus-Dieter Schewe Functional and multivalued dependencies in nested databases generated by record and list constructor. 114-164 2006 46 Ann. Math. Artif. Intell. 1-2 http://dx.doi.org/10.1007/s10472-005-9015-9 db/journals/amai/amai46.html#HartmannLS06