Abstract interpretation of database query languages
From MaRDI portal
Publication:456469
DOI10.1016/J.CL.2011.10.004zbMATH Open1248.68182OpenAlexW1963857544WikidataQ56041817 ScholiaQ56041817MaRDI QIDQ456469FDOQ456469
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
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
Searching and sorting (68P10) Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
Cites Work
- ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
- Decomposition tables for experiments. II: Two-one randomizations
- Systematic design of program transformation frameworks by abstract interpretation
- Making abstract interpretations complete
- Cooperative Query Answering by Abstract Interpretation
- Title not available (Why is that?)
- Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions
- Title not available (Why is that?)
Cited In (9)
- Relational queries over interpreted structures
- Abstraction in query processing
- Syntax and semantics of hybrid database languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- High-Level Web Data Abstraction Using Language Integrated Query
- Dynamic query interpretation in relational databases
- A framework proposal for fine grained access control
- Transforming Abstract Interpretations by Abstract Interpretation
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)
