A Z Approach in Validating ORA-SS Data Models | Zendy

Scott Uk-Jin Lee | Zendy; Jing Sun | Zendy; Gillian Dobbie | Zendy; Yuan-Fang Li | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Z Approach in Validating ORA-SS Data Models

Author(s) -

Scott Uk-Jin Lee,

Jing Sun,

Gillian Dobbie,

Yuan-Fang Li

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.01.025

Subject(s) - correctness , computer science , notation , xml , programming language , schema (genetic algorithms) , data modeling , data model (gis) , data integrity , semantics (computer science) , theoretical computer science , information retrieval , database , world wide web , artificial intelligence , mathematics , arithmetic

The rapid growth of the World Wide Web has resulted in more data being accessed over the Internet. In turn there is an increase in the use of semistructured data, which plays a crucial role in many web applications particularly with the introduction of XML and its related technologies. This increase in use makes the design of good semistructured data structures essential. The Object Relationship Attribute model for Semistructured data (ORA-SS) is a graphical notation for designing and representing semistructured data. In this paper, we demonstrate an approach to formally validate the ORA-SS data models in order to enhance the correctness of semistructured data design. A mathematical semantics for the ORA-SS notation is defined using the Z formal language, and further validation processes are carried out to check the correctness of the semistructured data models at both the schema and instance levels

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research