EF database initial implementation