SECURITY ENFORCEMENT OF QUERY OPTIMIZERS

摘要

As very large and complex database components, query optimizers are error-prone. Testing has revealed that database systems frequently return wrong results to queries. This paper presents the work addressing the security enforcement of query optimizers, considering the queries and their evaluation environment as typed programs.