Сократите большое множество к тому, которое только содержит одну Последовательность в JavaScript

Я забираю некоторых пользователей из своей базы данных с JSON. Я предпочитаю иметь множество, которое содержит всю информацию о пользователе.

Но для остальной части применения у меня только должно быть множество с предварительными именами пользователей как Последовательности.

db_users is the array with the complete user information. users only contains the prename.

var db_users = [];
var users = [];
var counter = 0;
$.ajax({
    url: myUrl,
    dataType: 'json',
    async: false,
    success: function(data) {
        $.each(data, function(i, user) {
            db_users.push({
                workerid: user.workerid,
                prename: user.prename,
                lastname: user.lastname,
                avatar: user.avatar,
                lineup: user.lineup,
                languages: user.languages,
                partnerid: user.partnerid,
                code: user.code,
                partnerName: user.partnerName,
                street: user.street,
                zip: user.zipCode,
                city: user.city,
                email: user.email,
                phone: user.phone,
                slogan: user.slogan
            });

            users[counter] = user.prename;
            counter++;
        });
    }
});

Что я должен сделать, чтобы использовать db_users тот же самый путь, как я использую пользователей ? Есть ли что-то как [db_users предварительное имя]; , который создаст множество с только предварительными именами как Последовательности?

Это - то, как это должно использоваться позже:

//users: ['Laura', 'Sarah', 'Alice'],
users: users,