Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
On bounded database schemes and bounded Horn-clause programs
Sagiv Y. (ed) SIAM Journal on Computing17 (1):1-12,1988.Type:Article
Date Reviewed: Apr 1 1989

Normalization of databases generally entails the decomposition of the original relations. Even though the new relations are physically stored, the original relations remain a correct representation of the database. One method of obtaining the original relations is by taking join over the new relations and extending some tuples with null values to account for missing information. The set of relations obtained by this method is known as the representative instance model. When we formulate queries over the original relations, we need algebraic expressions to compute restricted projections (a restricted projection is a projection in which all tuples with null values are removed).

In this paper, the author has given a necessary condition for the existence of a union of tableaux that expresses the restricted projection. More specifically, it is shown that if the set of dependencies (full implicational dependencies) of the database scheme is equivalent to a single join dependency and some equality-generating dependencies, then the restricted projection can be expressed by the union of tableaux. In the case of tuple-generating dependencies, the restricted projection can be expressed by the union of tableaux if and only if the set of dependencies is equivalent to a single join dependency.

Reviewer:  Kazem Taghva Review #: CR112908
Bookmark and Share
 
Normal Forms (H.2.1 ... )
 
 
Query Processing (H.2.4 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Normal Forms": Date
On finding a worst-case optimal fourth normal form database decomposition
Loizou G., Thanisch P. BIT 27(2): 157-162, 1987. Type: Article
Jun 1 1989
New methods and fast algorithms for database normalization
Diederich J., Milton J. ACM Transactions on Database Systems 13(3): 339-365, 1988. Type: Article
Feb 1 1989
Normalization and axiomatization for numerical dependencies
Grant J., Minker J. Information and Control 65(1): 1-17, 1985. Type: Article
Aug 1 1986
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy