Determining View dependencies using tableaux

A relational database models some part of the real world by a set of relations and a set of constraints. The constraints model properties of the stored information and must be maintained true at all times. For views defined over physically stored (base) relations, this is done by determining whether...

Full description

Saved in:
Bibliographic Details
Published in:ACM transactions on database systems 1982-09, Vol.7 (3), p.361-380
Main Authors: Klug, Anthony, Price, Rod
Format: Article
Language:English
Subjects:
Data management systems
Data model extensions
Database design and models
Information systems
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A relational database models some part of the real world by a set of relations and a set of constraints. The constraints model properties of the stored information and must be maintained true at all times. For views defined over physically stored (base) relations, this is done by determining whether the view constraints are logical consequences of base relation constraints. A technique for determining such valid view constraints is presented in this paper. A generalization of the tableau chase is used. The idea of the method is to generate a tableau for the expression whose summary violates the test constraints in a "canonical" way. The chase then tries to remove this violation. It is also shown how this method has applications to schema design. Relations not in normal form or having other deficiencies can be replaced by normal form projections without losing the ability to represent all constraint information.
ISSN:0362-5915
1557-4644
DOI:10.1145/319732.319738