Publication 1996 Issue No. 4 - August Abstract - Extending Existing Dependency Theory to Temporal Databases
 This Article Share Bibliographic References Add to: Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb Search Similar Articles Articles by Christian S. Jensen Articles by Richard T. Snodgrass Articles by Michael D. Soo
Extending Existing Dependency Theory to Temporal Databases
August 1996 (vol. 8 no. 4)
pp. 563-582
 ASCII Text x Christian S. Jensen, Richard T. Snodgrass, Michael D. Soo, "Extending Existing Dependency Theory to Temporal Databases," IEEE Transactions on Knowledge and Data Engineering, vol. 8, no. 4, pp. 563-582, August, 1996.
 BibTex x @article{ 10.1109/69.536250,author = {Christian S. Jensen and Richard T. Snodgrass and Michael D. Soo},title = {Extending Existing Dependency Theory to Temporal Databases},journal ={IEEE Transactions on Knowledge and Data Engineering},volume = {8},number = {4},issn = {1041-4347},year = {1996},pages = {563-582},doi = {http://doi.ieeecomputersociety.org/10.1109/69.536250},publisher = {IEEE Computer Society},address = {Los Alamitos, CA, USA},}
 RefWorks Procite/RefMan/Endnote x TY - JOURJO - IEEE Transactions on Knowledge and Data EngineeringTI - Extending Existing Dependency Theory to Temporal DatabasesIS - 4SN - 1041-4347SP563EP582EPD - 563-582A1 - Christian S. Jensen, A1 - Richard T. Snodgrass, A1 - Michael D. Soo, PY - 1996KW - Temporal relationKW - valid timeKW - transaction timeKW - functional dependencyKW - data semanticsKW - normal formKW - database design.VL - 8JA - IEEE Transactions on Knowledge and Data EngineeringER -

Abstract—Normal forms play a central role in the design of relational databases. Several normal forms for temporal relational databases have been proposed. These definitions are particular to specific temporal data models, which are numerous and incompatible. This paper attempts to rectify this situation. We define a consistent framework of temporal equivalents of the important conventional database design concepts: functional dependencies, primary keys, and third and Boyce-Codd normal forms. This framework is enabled by making a clear distinction between the logical concept of a temporal relation and its physical representation. As a result, the role played by temporal normal forms during temporal database design closely parallels that of normal forms during conventional database design. These new normal forms apply equally well to all temporal data models that have timeslice operators, including those employing tuple timestamping, backlogs, and attribute value timestamping. As a basis for our research, we conduct a thorough examination of existing proposals for temporal dependencies, keys, and normal forms. To demonstrate the generality of our approach, we outline how normal forms and dependency theory can also be applied to spatial and spatiotemporal databases.

[1] R. Ahmed personal communication, Mar. 1992.
[2] K.K. Al-Taha, R.T. Snodgrass, and M.D. Soo, "Bibliography on Spatiotemporal Databases," SIGMOD Record, vol. 22, no. 1, pp. 59-67, Mar. 1993.
[3] W. Armstrong, "Dependency Structures of Data Base Relationships," Proc. IFIP Congress, 1974.
[4] J. Ben-Zvi, "The Time Relational Model," PhD thesis, Computer Science Dept., UCLA, 1982.
[5] M. Böhlen, "Valid Time Integrity Constraints," Technical Report, Univ. of Arizona, Dept. of Computer Science, TR 94-30, 22 pp., Nov. 1994.
[6] I. Bracken and C. Webster, "Towards a Typology of Geographical Information Systems," Int'l J. Geographical Information Systems, vol. 3, no. 2, pp. 137-152, 1989.
[7] M. Casanova, R. Fagin, and C. Papadimitriou, "Inclusion Dependencies and Their Interaction with Functional Dependencies," J. Computer and System Sciences, vol. 28, no. 1, pp. 29-59, 1984.
[8] J. Clifford and A. Croker, "The Historical Relational Data Model (HRDM) and Algebra Based on Lifespans," Proc. Int'l Conf. Data Engineering, pp. 528-537,Los Angeles, Calif., IEEE CS Press, Feb. 1987.
[9] J. Clifford and D.S. Warren, "Formal Semantics for Time in Databases," ACM Trans. Database Systems, vol. 8, no. 2, pp. 214-254, June 1983.
[10] E.F. Codd, "Further Normalization of the Data Base Relational Model," vol. 6, Courant Computer Symposia Series.Englewood Cliffs, N.J.: Prentice Hall, 1972.
[11] E.F. Codd, "Relational Completeness of Data Base Sublanguages," vol. 6, Courant Computer Symposia Series, pp. 65-98.,Englewood Cliffs, N.J.: Prentice Hall, 1972.
[12] E.F. Codd, "Recent Investigations in Relational Database Systems," Proc. IFIP Congress, 1974.
[13] R. Fagin, "Multivalued Dependencies and a New Normal Form for Relational Databases," ACM Trans. Database Systems, vol. 2, no. 3, pp. 262-278, Sept. 1977.
[14] R. Fagin, "Normal Forms and Relational Database Operators," Proc. ACM SIGMOD Conf. Management of Data, 1979.
[15] R. Fagin, "A Normal Form for Relational Databases that is Based on Domains and Keys," ACM Trans. Database Systems, vol. 6, no. 3, pp. 387-415, Sept. 1981.
[16] S.K. Gadia, "A Homogeneous Relational Model and Query Languages for Temporal Databases," ACM Trans. Database Systems, vol. 13, no. 4, pp. 418-448, Dec. 1988.
[17] S.K. Gadia, "A Seamless Generic Extension of SQL for Querying Temporal Data," Technical Report TR-92-02, Computer Science Dept., Iowa State Univ., May 1992.
[18] C.S. Jensen, L. Mark, and N. Roussopoulos, "Incremental Implementation Model for Relational Databases with Transaction Time," IEEE Trans. Knowledge and Data Engineering, vol. 3, no. 4, pp. 461-473, Dec. 1991.
[19] C.S. Jensen, L. Mark, N. Roussopoulos, and T. Sellis, "Using Caching, Cache Indexing, and Differential Techniques to Efficiently Support Transaction Time," VLDB J., vol. 2, no. 1, pp. 75-111, 1992.
[20] C.S. Jensen, J. Clifford, R. Elmasri, S.K. Gadia, P. Hayes and S. Jajodia, eds., "A Glossary of Temporal Database Concepts," ACM SIGMOD Record, vol. 23, no. 1, pp. 52-64, Mar. 1994.
[21] C.S. Jensen, M.D. Soo, and R.T. Snodgrass, “Unifying Temporal Data Models via a Conceptual Model,” Information Systems, vol. 19, no. 7, pp. 513–547, 1994.
[22] C.B. Jones, "Data Structures for Three-Dimensional Spatial Information Systems in Geology," Int'l J. Geographical Information Systems, vol. 3, no. 1, pp. 15-31, 1989.
[23] K.A. Kimball, "The Data System," Master's thesis, Univ. of Pennsylvania, 1978.
[24] H.F. Korth and A. Silberschatz, Database System Concepts. McGraw-Hill Advanced Computer Science Series. McGraw-Hill Book Co., 1986.
[25] N.A. Lorentzos and R.G. Johnson, "Extending Relational Algebra to Manipulate Temporal Data," Information Systems, vol. 13, no. 3, pp. 289-296, 1988.
[26] N.A. Lorentzos and V. Kollias, "The Handling of Depth and Time Intervals in Soil-Information Systems," Computers and Geosciences, vol. 15, no. 3, pp. 395-401, 1989.
[27] N.A. Lorentzos, "Management of Intervals and Temporal Data in the Relational Model," Technical Report 49, Agricultural Univ. of Athens, Greece, 1991.
[28] D.M. Mark, J.P. Lauzon, and J.A. Cebrian, "A Review of Quadtree-Based Strategies for Interfacing Coverage Data with Digital Elevation Models in Grid Form," Int'l J. of Geographical Information Systems, vol. 3, no. 1, pp. 3-14, 1989.
[29] E. McKenzie, "An Algebraic Language for Query and Update of Temporal Databases," PhD thesis, Computer Science Dept., Univ. of North Carolina, 1988.
[30] E. McKenzie and R.T. Snodgrass, "Supporting Valid Time in an Historical Relational Algebra: Proofs and Extensions," Technical Report TR-91-15, Dept. of Computer Science, Univ. of Arizona, Aug. 1991.
[31] S. Nair and S.K. Gadia, "Algebraic Optimization in a Relational Model for Temporal Databases," Technical Report TR-92-03, Computer Science Dept., Iowa State Univ., May 1992.
[32] S.B. Navathe and R. Ahmed, "A Temporal Relational Model and a Query Language," Information Sciences, vol. 49, pp. 147-175, 1989.
[33] Z. M. ${\rm Ozsoyo{\mathord{\buildrel{\lower.5pt\hbox{$\scriptscriptstyle\smile$}}\over {\rm g}}}lu}$ and L.-Y. Yuan, "A New Normal Form for Nested Relations," ACM Trans. Database Systems, vol. 12, no. 1, pp. 111-136, Mar. 1987.
[34] J. Rissanen, "Independent Components of Relations," ACM Trans. Database Systems, vol. 2, no. 4, pp. 317-325, Dec. 1977.
[35] R. Sadeghi, "A Database Query Language for Operations on Historical Data," PhD thesis, Dundee College of Tech nology, Dundee, Scotland, Dec. 1987.
[36] R. Sadeghi, W.B. Samson, and S.M. Deen, "HQL—A Historical Query Language," Technical Report, Dundee College of Tech nology, Dundee, Scotland, Sept. 1987.
[37] F. Sadri, "Data Dependencies in the Relational Model of Data: A Generalization," PhD thesis, Princeton Univ., Oct. 1980.
[38] F. Sadri and J. Ullman, "Template Dependencies: A Large Class of Dependencies in Relational Databases and Its Complete Axiomatization," J. ACM, vol. 29, no. 2, Apr. 1982.
[39] N. Sarda, "Algebra and Query Language for a Historical Data Model," The Computer J., vol. 33, no. 1, pp. 11-18, Feb. 1990.
[40] N. Sarda, "Extensions to SQL for Historical Databases," IEEE Trans. Knowledge and Data Engineering, vol. 2, no. 2, pp. 220-230, June 1990.
[41] A. Segev and A. Shoshani, "Logical Modeling of Temporal Data," Proc. ACM SIGMOD Conf. Management of Data, pp. 454-466, May 1987.
[42] A. Segev and A. Shoshani, "The Representation of a Temporal Data Model in the Relational Environment," Proc. Fourth Int'l Conf. Statistical and Scientific Database Management, 1988.
[43] R.T. Snodgrass and I. Ahn, "Temporal Databases," Computer, vol. 19, no. 9, pp. 35-42, Sept. 1986.
[44] R.T. Snodgrass, “The Temporal Query Language TQuel,” ACM Trans. Database Systems, vol. 12, no. 2, pp. 247–298, 1987.
[45] R.T. Snodgrass, "Temporal Databases," Proc. Int'l Conf. GIS: From Space to Territory, vol. 639of Lecture Notes in Computer Science, pp. 22-64. Springer-Verlag, Sept. 1992.
[46] R.T. Snodgrass, "An Overview of TQuel," ch. 6 of Temporal Databases: Theory, Design, and Implementation. Benjamin/Cummings, 1993.
[47] The TSQL2 Temporal Query Language. R.T. Snodgrass, ed., Kluwer Academic Publishers, 1995.
[48] M.D. Soo, C.S. Jensen, and R.T. Snodgrass, "An Algebra for TSQL2," ch. 27, pp. 505-546 of [47].
[49] A.U. Tansel, "Adding Time Dimension to Relational Model and Extending Relational Algebra," Information Systems, vol. 11, no. 4, pp. 343-355, 1986.
[50] A.U. Tansel and L. Garnett, "Nested Historical Relations," Proc. ACM SIGMOD Int'l Conf. Management of Data, pp. 284-293, 1989.
[51] J. Ullman, Principles of Database and Knowledge-Base Systems, vol. 1. Computer Science Press, 1988.
[52] V. Vianu, "Dynamic Functional Dependencies and Database Aging," J. ACM, vol. 34, no. 1, pp. 28-59, Jan. 1987.
[53] X. Wang, C. Bettini, A. Brodsky, and S. Jajodia, "Logical Design for Temporal Databases with Multiple Granularities," ACM Trans. Database Systems, to appear, 1997.
[54] J. Wijsen, "A Theory of Keys for Temporal Databases," Actes 9èmes Journèes Bases de Données, pp. 35-54,Toulouse, France, 1993.
[55] J. Wijsen, J. Vandenbulcke, and H. Olivé, "Functional Dependencies Generalized for Temporal Databases that Include Object-Identity," Proc. Int'l Conf. Entity-Relationship Approach, pp. 100-114,Arlington, Texas, 1993.
[56] J. Wijsen, J. Vandenbulcke, and H. Olivé, "Database Design with Temporal Dependencies," Technical Report, Dept. Toegepast Economische Wetenschappen, 1993.
[57] J. Wijsen, J. Vandenbulcke, and H. Olivé, "Temporal Dependencies in Relational Database Design," Actes 10èmes Journées Bases de Données, pp. 157-169,Clermont-Ferrand, France, 1994.
[58] J. Wijsen, J. Vandenbulcke, and H. Olivié, "On Time-Invariance and Synchronism in Valid-Time Relational Databases," J. Computing and Information, vol. 1, no. 1, 1994.
[59] J. Wijsen, "Design of Temporal Relational Databases Based on Dynamic and Temporal Functional Dependencies," Recent Advances in Temporal Databases. Springer-Verlag, pp. 61-76, Sept., 1995.
[60] C. Zaniolo, "Analysis and Design of Relational Schemata for Database Systems," PhD thesis, UCLA, July 1976.

Index Terms:
Temporal relation, valid time, transaction time, functional dependency, data semantics, normal form, database design.
Citation:
Christian S. Jensen, Richard T. Snodgrass, Michael D. Soo, "Extending Existing Dependency Theory to Temporal Databases," IEEE Transactions on Knowledge and Data Engineering, vol. 8, no. 4, pp. 563-582, Aug. 1996, doi:10.1109/69.536250