"Languages for Relational Databases over Interpreted Structures."

Michael Benedikt, Leonid Libkin (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics