Abstract interpretation of database query languages

DOI10.1016/j.cl.2011.10.004zbMath1248.68182OpenAlexW1963857544WikidataQ56041817 ScholiaQ56041817MaRDI QIDQ456469

Raju Halder, Agostino Cortesi

Publication date: 25 October 2012

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cl.2011.10.004

zbMATH Keywords

SQLprogram analysisabstract interpretationdatabases

Mathematics Subject Classification ID

Searching and sorting (68P10) Database theory (68P15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Decomposition tables for experiments. II: Two-one randomizations
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Cooperative Query Answering by Abstract Interpretation
• Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions
• Systematic design of program transformation frameworks by abstract interpretation
• Making abstract interpretations complete