A declarative approach to conceptual information modeling