Authors: Frederic CUPPENS, Alban GABILLON
Abstract: This paper proposes a formal model for answering queries in a multilevel Object-Oriented DataBase (OODB). The MultiView model    is a multilevel security model for an OODB. It provides a user cleared at a given security level with a consistent and complete view of the multilevel OODB corresponding to his clearance level. The formal definition of the MultiView model is based on first-order logic. An OOBD secured with the MultiView model is associated with its own logical theory. In this paper we show how the first-order language we defined can be used to guery a multilevel OODB secured with the MultiView model.