Database Theory - ICDT 2005

DOI10.1007/B104421MaRDI QIDQ5316588zbMATH OpenOpenAlexFDO

Authors Moshe Y. Vardi

Publication date 13 September 2005

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

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

Mathematics Subject Classification ID

Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 910719
• SMT-based verification of data-aware processes: a model-theoretic approach
• scientific article; zbMATH DE number 1487860
• scientific article; zbMATH DE number 2080188
• scientific article; zbMATH DE number 1633145

Cited in

(11)

• Model-checking based data retrieval. An application to semistructured and temporal data.
• From model completeness to verification of data aware processes
• Deciding the isomorphism problem in classes of unary automatic structures
• Model checking Petri nets with names using data-centric dynamic systems
• On the automated verification of web applications with embedded SQL
• Model Theoretic Complexity of Automatic Structures (Extended Abstract)
• Analysing Complexity in Classes of Unary Automatic Structures
• scientific article; zbMATH DE number 1863368 (Why is no real title available?)
• Model checking database applications
• Model-theoretic complexity of automatic structures
• Reasoning formally about database queries and updates

This page was built for publication: Database Theory - ICDT 2005

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