Lore: a database management system for semistructured data
ACM SIGMOD Record
Adding Structure to Unstructured Data
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Incremental Validation of XML Documents
ICDT '03 Proceedings of the 9th International Conference on Database Theory
DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Towards a Foundation for XML Document Databases
EC-WEB '00 Proceedings of the First International Conference on Electronic Commerce and Web Technologies
Designing Semistructured Databases Using ORA-SS Model
WISE '01 Proceedings of the Second International Conference on Web Information Systems Engineering (WISE'01) Volume 1 - Volume 1
An introduction to description logics
The description logic handbook
Pounamu: A Meta-Yool for Multi-View Visual Language Environment Construction
VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Semistructured Database Design (Web Information Systems Engineering and Internet Technologie)
Semistructured Database Design (Web Information Systems Engineering and Internet Technologie)
Validating ORA-SS Data Models using Alloy
ASWEC '06 Proceedings of the Australian Software Engineering Conference
A Z Approach in Validating ORA-SS Data Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Debugging OWL-DL ontologies: a heuristic approach
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Hi-index | 0.00 |
There has been a rapid growth in the use of semistructured data in both web applications and database systems. Consequently, the design of a good semistructured data model is essential. In the relational database community, algorithms have been defined to transform a relational schema from one normal form to a more suitable normal form. These algorithms have been shown to preserve certain semantics during the transformation. The work presented in this paper is the first step towards representing such algorithms for semistructured data, namely formally defining the semantics necessary for achieving this goal. Formal semantics and automated reasoning tools enable us to reveal the inconsistencies in a semistructured data model and its instances. The Object Relationship Attribute model for Semistructured data (ORA-SS) is a graphical notation for designing and representing semistructured data. This paper presents a methodology of encoding the semantics of the ORA-SS notation into the Web Ontology Language (OWL) and automatically verifying the semistructured data design using the OWL reasoning tools. Our methodology provides automated consistency checking of an ORA-SS data model at both the schema and instance levels.