Theorem prover approach to semistructured data design

DOI10.1007/S10703-010-0099-4MaRDI QIDQ609020zbMATH OpenOpenAlexFDO

Authors Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves

Publication date 30 November 2010

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-010-0099-4

zbMATH Keywords

automated verificationformal specificationORA-SSPVSschema normalizationsemistructured data modelingtheorem proving

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Reasoning About ORA-SS Data Models Using the Semantic Web
• A Z approach in validating ORA-SS data models
• Specification and verification for semi-structured data
• Semistructured Database Design
• A system for deduction-based formal verification of workflow-oriented software models

Cites work

• A Brief Overview of PVS
• A first step towards modeling semistructured data in hybrid multimodal logic
• A formal object approach to the design of ZML
• scientific article; zbMATH DE number 2021556 (Why is no real title available?)
• scientific article; zbMATH DE number 2036259 (Why is no real title available?)
• scientific article; zbMATH DE number 2080625 (Why is no real title available?)
• scientific article; zbMATH DE number 1746646 (Why is no real title available?)
• scientific article; zbMATH DE number 2174289 (Why is no real title available?)
• Representing and reasoning on XML documents: a description logic approach

Cited in

(2)

• scientific article; zbMATH DE number 2241906 (Why is no real title available?)
• Proving semantical equivalence of data specifications

Describes a project that uses

Uses Software

• Lore
• PVS

This page was built for publication: Theorem prover approach to semistructured data design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q609020)