Cooperative Query Answering by Abstract Interpretation

DOI10.1007/978-3-642-18381-2_24zbMath1298.68076OpenAlexW1511371878MaRDI QIDQ3075526

Raju Halder, Agostino Cortesi

Publication date: 15 February 2011

Published in: SOFSEM 2011: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18381-2_24

zbMATH Keywords

abstract interpretationdatabasescooperative query answering

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (2)

Abstract interpretation of database query languages ⋮ Abduction-Based Search for Cooperative Answers

Cites Work

• Unnamed Item
• Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
• Making abstract interpretations complete

This page was built for publication: Cooperative Query Answering by Abstract Interpretation