Abstract interpretation of database query languages

Authors:
Raju Halder;Agostino Cortesi
Affiliations:
Universití Ca' Foscari Venezia, Italy;Universití Ca' Foscari Venezia, Italy
Venue:
Computer Languages, Systems and Structures
Year:
2012

Citing 17
Cited 1

Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries

IEEE Transactions on Software Engineering
Translation with optimization from relational calculus to relational algebra having aggregate functions

ACM Transactions on Database Systems (TODS)
Formal semantics of SQL queries

ACM Transactions on Database Systems (TODS)
Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions

Journal of the ACM (JACM)
Making abstract interpretations complete

Journal of the ACM (JACM)
Query Optimization in Database Systems

ACM Computing Surveys (CSUR)
A relational model of data for large shared data banks

Communications of the ACM - Special 25th Anniversary Issue
Systematic design of program transformation frameworks by abstract interpretation

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Systematic design of program analysis frameworks

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Structured Approach for Cooperative Query Answering

IEEE Transactions on Knowledge and Data Engineering
Histogram-Based Approximation of Set-Valued Query-Answers

VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Translating and Optimizing SQL Queries Having Aggregates

VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
On the correctness criteria of fine-grained access control in relational databases

VLDB '07 Proceedings of the 33rd international conference on Very large data bases
A data base sublanguage founded on the relational calculus

SIGFIDET '71 Proceedings of the 1971 ACM SIGFIDET (now SIGMOD) Workshop on Data Description, Access and Control
A persistent public watermarking of relational databases

ICISS'10 Proceedings of the 6th international conference on Information systems security
Cooperative query answering by abstract interpretation

SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science

Abstract program slicing of database query languages

Proceedings of the 28th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we extend the Abstract Interpretation framework to the field of query languages for relational databases as a way to support sound approximation techniques. This way, the semantics of query languages can be tuned according to suitable abstractions of the concrete domain of data. The abstraction of relational database system has many interesting applications, in particular, for security purposes, such as fine grained access control, watermarking, etc.