The Formal Model of Structure-Independent Databases. - Sergey Kucherov; Alexander S. Sviridov; Svetlana A. Belousova (DATA, 2014)