Core language for relational specifications