Loading...

A Unified Approach to Modeling and Design of Semi-structured Databases

Jahangard Rafsanjani, Amir | 2014

732 Viewed
  1. Type of Document: Ph.D. Dissertation
  2. Language: Farsi
  3. Document No: 46406 (19)
  4. University: Sharif University of Technology
  5. Department: Computer Engineering
  6. Advisor(s): Mirian Hosseinabadi, Hassan
  7. Abstract:
  8. Recently XML has become a standard for data representation and the preferred method of encoding structured data for exchange over the Internet. Moreover it is frequently used as a logical format to store structured and semi-structured data in databases. In this research we focus on semantic modeling for XML data and we propose a model-driven approach for modeling and designing XML databases. In the approach data is modeled without considering representation and implementation details in a platform independent model.
    We use Object-Role Modeling as the platform independent model. We specify a formal meta-model of this model in Alloy and we validate instance models by checking satisfiability of them. We propose two methods to improve scalability of satisfiability checking. First we propose a numeric meta-model that uses cardinality of concepts to model their population. Then we propose satisfiability independent cores to reduce the size of the model to be checked. In order to show an application of the formal meta-model, we formalize 8 unsatisfiability pattern in Alloy and models and check them on the Alloy representation of models.
    We introduce transformation rules as a tool that can be used by the designer to specify different hierarchical views on the conceptual schema or parts of it. A hierarchical modeling notation called H-ORM is proposed to show these hierarchical views and model more complex semi-structured data constructs and constraints.
    We also propose an algorithm to map hierarchical H-ORM views to XML Schema language. In the mapping process alternative mapping options are discussed and a default mapping is proposed
  9. Keywords:
  10. Semantic Modeling ; Formal Specification ; Validation ; Semi-Structured Documents ; Database Designing ; Extensible Markup Language (XML) ; Model Driven Approach

 Digital Object List

 Bookmark

No TOC