Relational Theories with Null Values and Non-Herbrand Stable Models