Title: A formal definition of a relational data base system
First published: 1976