Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria. - Dmitriy Bui; Anna Puzikova (DepCoS-RELCOMEX, 2015)