Abstract
Purchase PDF (1919 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (4)
Purchase PDF (419 K)
doi:10.1016/S0306-4379(99)00031-9 
Copyright © 1999 Published by Elsevier Science Ltd.
Ordered functional dependencies in relational databases*1
Received 17 November 1998;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
We extend the relational data model to incorporate linear orderings into data domains, which we call the ordered relational model. The conventional Functional Dependencies (FDs) are examined in the context of ordered relational databases by using the notion of System Ordering Independence (SOI), which refers to the desirable scenario that the ordering of tuples in a relation is independent of the implementation of the underlying DBMS. We also extend Armstrong's axiom system for FDs to object relations, which are a subclass of ordered relations that allow us to view tuples as objects. We formally define Ordered Functional Dependencies (OFDs) for the extended model by means of two possible extensions of domains, pointwise-orderings and lexicographical orderings. We first present a sound and complete axiom system for OFDs in the case of pointwise-orderings and then establish a sound and complete set of chase rules for OFDs in the case of lexicographical orderings. Our main result shows that the implication problems for both cases of OFDs are decidable, and that it is linear time for the case of pointwise-orderings.
Author Keywords: Functional Dependencies; Relational Databases; Linear Ordering; Linearly Ordered Domains; Chase Procedure
