A relational calculus with set operators, its safety, and equivalent graphical languages | IEEE Journals & Magazine | IEEE Xplore