Logical Decentralization and Semantic Integrity in a Distributed Information System