A logical formalization of semistructured data models

DOI10.1007/3-540-48050-1_51MaRDI QIDQ3046899zbMATH OpenFDO

Authors A. Badia

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2366/23660472.htm

Mathematics Subject Classification ID

General topics in the theory of data (68P01) Data structures (68P05) Database theory (68P15)

Recommendations

• Logic-based approach to semistructured data retrieval
• Constraint-based approach to semistructured data.
• A first step towards modeling semistructured data in hybrid multimodal logic
• Applying model-checking to solve queries on semistructured data
• scientific article; zbMATH DE number 2219131

Cited in

(28)

• SDM-logic: An approach for analysing semantic data models
• Applying model-checking to solve queries on semistructured data
• Schemaless semistructured data revisited -- reinventing Peter Buneman's deterministic semistructured data model
• Model-checking based data retrieval. An application to semistructured and temporal data.
• A partial semantics for object data models with static binding
• A query language based on the ambient logic
• Logic-based approach to semistructured data retrieval
• Constraint-based approach to semistructured data.
• scientific article; zbMATH DE number 4014080 (Why is no real title available?)
• scientific article; zbMATH DE number 4133527 (Why is no real title available?)
• A first step towards modeling semistructured data in hybrid multimodal logic
• On the completeness of visual operations for a semantic data model
• scientific article; zbMATH DE number 1354907 (Why is no real title available?)
• NF-SS: A normal form for semistructured schema
• A formal analysis of the lightweight directory access protocol
• Semistructured computation
• On the difference between navigating semi-structured data and querying it
• Ozone: Integrating structured and semistructured data
• Towards aggregated answers for semistructured data
• Designing semistructured databases: A conceptual approach
• scientific article; zbMATH DE number 1790350 (Why is no real title available?)
• scientific article; zbMATH DE number 1792116 (Why is no real title available?)
• scientific article; zbMATH DE number 1406217 (Why is no real title available?)
• Specification and verification for semi-structured data
• Reasoning About ORA-SS Data Models Using the Semantic Web
• scientific article; zbMATH DE number 2219131 (Why is no real title available?)
• scientific article; zbMATH DE number 2241909 (Why is no real title available?)
• Querying incomplete information in semistructured data

This page was built for publication: A logical formalization of semistructured data models

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