The top documents tagged [data model n formalism]