Artemis: a system for analyzing missing answers

A central feature of relational database management systems is the ability to define multiple different views over an underlying database schema. Views provide a method of defining access control to the underlying database, since a view exposes a part of the database and hides the rest. Views also p...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of the VLDB Endowment 2009-08, Vol.2 (2), p.1550-1553
Main Authors: Herschel, Melanie, Hernández, Mauricio A., Tan, Wang-Chiew
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A central feature of relational database management systems is the ability to define multiple different views over an underlying database schema. Views provide a method of defining access control to the underlying database, since a view exposes a part of the database and hides the rest. Views also provide logical data independence to application programs that access the database. For most cases, the process of specifying the desired views in SQL is typically tedious and error-prone. While numerous tools exist to support developers in debugging program code, we are not aware of any tool that supports developers in verifying the correctness of their views defined in SQL.
ISSN:2150-8097
2150-8097
DOI:10.14778/1687553.1687588