Model-checking based data retrieval. An application to semistructured and temporal data.

DOI10.1007/b94902zbMath1069.68044OpenAlexW2611503582MaRDI QIDQ1880661

Elisa Quintarelli

Publication date: 30 September 2004

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

Full work available at URL: https://doi.org/10.1007/b94902

zbMATH Keywords

semistructured datatemporal datamodel-checking based data retrieval

Mathematics Subject Classification ID

Database theory (68P15) Learning and adaptive systems in artificial intelligence (68T05) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) Information storage and retrieval of data (68P20)

Related Items (1)

Model checking hybrid logics (with an application to semistructured data)

Uses Software

• ELISA

This page was built for publication: Model-checking based data retrieval. An application to semistructured and temporal data.