据库技术的奠基人之一EFCodd从1970年起发表过多篇论文，主要论述的是（）。