Abstract interpretation of database query languages

DOI10.1016/J.CL.2011.10.004MaRDI QIDQ456469zbMATH OpenOpenAlexWikidataFDO

Authors 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

SQLabstract interpretationdatabasesprogram analysis

Mathematics Subject Classification ID

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

Recommendations

• Abstraction in query processing
• Database query languages and functional logic programming
• Implementation of logical query languages for databases
• Typed query languages for databases containing queries
• scientific article; zbMATH DE number 1319352
• Syntax and semantics of hybrid database languages
• Relational queries over interpreted structures
• Dynamic query interpretation in relational databases
• Publication:4508935
• scientific article; zbMATH DE number 176244

Cites work

• scientific article; zbMATH DE number 3874668 (Why is no real title available?)
• scientific article; zbMATH DE number 2231185 (Why is no real title available?)
• Cooperative query answering by abstract interpretation
• Decomposition tables for experiments. II: Two-one randomizations
• Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions
• Making abstract interpretations complete
• Systematic design of program transformation frameworks by abstract interpretation
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs

Cited in

(10)

• scientific article; zbMATH DE number 1485867 (Why is no real title available?)
• Abstraction in query processing
• scientific article; zbMATH DE number 2051903 (Why is no real title available?)
• High-Level Web Data Abstraction Using Language Integrated Query
• A framework proposal for fine grained access control
• Dynamic query interpretation in relational databases
• Cooperative query answering by abstract interpretation
• Syntax and semantics of hybrid database languages
• Transforming Abstract Interpretations by Abstract Interpretation
• Relational queries over interpreted structures

This page was built for publication: Abstract interpretation of database query languages

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