The semantics and expressive power of the MLR data model
- 19 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
We define the multilevel relational (MLR) data model for multilevel relations with element-level labeling. This model builds upon prior work of numerous authors in this area, and integrates ideas from a number of sources. A new data-based semantics is given to the MLR data model which combines ideas from SeaView, belief-based semantics and LDV model, and has the advantages of both eliminating ambiguity and retaining upward information flow. The resulting model is simple, unambiguous and powerful. It has five integrity properties and five operation statements for manipulating multilevel relations. In order to support this integration, we introduce several new concepts as well as redefine several old ones. The expressive power of the MLR model is also discussed in this paper, and is compared with several other models. We also address some issues in converting the MLR model to tuple-level labeling, including both scheme mapping and operation interpretationKeywords
This publication has 6 references indexed in Scilit:
- The SeaView security modelPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A novel decomposition of multilevel relations into single-level relationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A new polyinstantiation integrity constraint for multilevel relationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Update semantics for multilevel relationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A model-theoretic semantics of the multilevel relational modelPublished by Springer Nature ,1994
- The SeaView security modelIEEE Transactions on Software Engineering, 1990