The result says that to Procedure MSNFMappingCreation(S, O, M) // S is a set of schemas, O is an overlap // M is the output from MSNFSchemaMerge(S, O) LAV-viewsM = ??? GAV-viewsM = ??? For each relation m ??? M If e ??? S and e corresponds to m Let q be a fresh IDB name // i.e., q is an IDB name that does not appear as an // IDB name elsewhere in O or mapMS. Let lavm = q(attr(m)) :- m(attr(m)) Let