var v = database.getViews();
var a = []
for(var i=0; i<v.size(); i++) {
	a[i] = v[i].getName()
}
return a.sort()