Abstract
In the temporal database literature, every fact stored in a database may be equipped with two temporal dimensions: the valid time, which describes the time when the fact is true in the modeled reality, and the transaction time, which describes the time when the fact is current in the database and can be retrieved. Temporal functional dependencies (TFDs) add valid time to classical functional dependencies (FDs) in order to express database integrity constraints over the flow of time. Currently, proposals dealing with TFDs adopt a point-based approach, where tuples hold at specific time points, to express integrity constraints such as “for each month, the salary of an employee depends only on his role”. To the best of our knowledge, there are no proposals dealing with interval-based temporal functional dependencies (ITFDs), where the associated valid time is represented by an interval and there is the need of representing both point-based and interval-based data dependencies. In this paper, we propose ITFDs based on Allen’s interval relations and discuss their expressive power with respect to other TFDs proposed in the literature: ITFDs allow us to express interval-based data dependencies, which cannot be expressed through the existing point-based TFDs. ITFDs allow one to express constraints such as “employees starting to work the same day with the same role get the same salary” or “employees with a given role working on a project cannot start to work with the same role on another project that will end before the first one”. Furthermore, we propose new algorithms based on B-trees to efficiently verify the satisfaction of ITFDs in a temporal database. These algorithms guarantee that, starting from a relation satisfying a set of ITFDs, the updated relation still satisfies the given ITFDs.
Similar content being viewed by others
References
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
Bettini, C., Jajodia, S.G., Wang, S.X.: Time Granularities in Databases, Data Mining and Temporal Reasoning. Springer-Verlag, New York (2000)
Böhlen, M.H., Jensen, C.S.: Sequenced semantics. In: Liu, L., Özsu, M.T. (eds.) Encyclopedia of Database Systems, pp 2619–2621. Springer, US (2009)
Böhlen, M.H., Jensen, C.S., Snodgrass, R.T.: Nonsequenced semantics. In: Liu, L., Özsu, M.T. (eds.) Encyclopedia of Database Systems, pp 1913–1915. Springer, US (2009)
Chittaro, L., Montanari, A.: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Ann. Math. Artif. Intell. 28(1–4), 47–106 (2000)
Combi, C.: Modeling temporal aspects of visual and textual objects in multimedia databases. In: TIME, IEEE Computer Society, pp. 59–68 (2000)
Combi, C., Degani, S., Jensen, C.S.: Capturing temporal constraints in temporal ER models. In: Li, Q., Spaccapietra, S., Yu, E.S.K., Olivé, A (eds.) ER, Lecture Notes in Computer Science, vol. 5231, pp 397–411. Springer (2008)
Combi, C., Keravnou-Papailiou, E., Shahar, Y.: Temporal Information Systems in Medicine. Springer-Verlag, New York (2010)
Combi, C., Montanari, A., Sala, P.: A uniform framework for temporal functional dependencies with multiple granularities. In: Pfoser, D., Tao, Y., Mouratidis, K., Nascimento, M.A., Mokbel, M.F., Shekhar, S., Huang, Y. (eds.) SSTD, Lecture Notes in Computer Science, vol. 6849, pp 404–421. Springer (2011)
Combi, C., Oliboni, B., Quintarelli, E.: Modeling temporal dimensions of semistructured data. J. Intell. Inf. Syst. 38(3), 601–644 (2012)
Combi, C., Sala, P.: Temporal functional dependencies based on interval relations. In: Combi, C., Leucker, M., Wolter, F. (eds.) TIME, IEEE, pp 23–30 (2011)
Currim, F., Currim, S., Dyreson, C.E., Snodgrass, R.T., Thomas, S.W., Zhang, R.: Adding temporal constraints to XML Schema. IEEE Trans. Knowl. Data Eng. 24(8), 1361–1377 (2012)
Currim, F., Ram, S.: Conceptually modeling windows and bounds for space and time in database constraints. Commun. ACM 51(11), 125–129 (2008)
Hoffman, K., Mehlhorn, K., Rosenstiehl, P., Tarjan, R.E.: Sorting Jordan sequences in linear time using level-linked search trees. Inf. Control. 68(1–3), 170–184 (1986)
Huddleston, S., Mehlhorn, K.: Robust balancing in B-trees. In: Deussen, P. (eds.) Theoretical Computer Science, Lecture Notes in Computer Science, vol. 104, pp 234–244. Springer, (1981)
Jensen, C.S., Snodgrass, R.T.: Temporal data models. In: Liu, L., Özsu, M.T. (eds.) Encyclopedia of Database Systems, pp 2952–2957. Springer, US (2009)
Jensen, C.S., Snodgrass, R.T.: Temporal database. In: Liu, L., Özsu, M.T. (eds.) Encyclopedia of Database Systems, pp 2957–2960. Springer, US (2009)
Jensen, C.S., Snodgrass, R.T., Soo, M.D.: Extending existing dependency theory to temporal databases. IEEE Trans. Knowl. Data Eng. 8(4), 563–582 (1996)
Khatri, V., Snodgrass, R.T., Terenziani, P.: Atelic data. In: Liu, L., Özsu, M.T. (eds.) Encyclopedia of Database Systems, pp 142–143. Springer, US (2009)
Khatri, V., Snodgrass, R.T., Terenziani, P.: Telic distinction in temporal databases. In: Liu, L., Özsu, M.T. (eds.) Encyclopedia of Database Systems, pp 2911–2914. Springer, US (2009)
Liu, L., Özsu, M.T. (eds.): Encyclopedia of Database Systems. Springer, US (2009)
Montanari, A., Puppis, G., Sala, P.: A decidable spatial logic with cone-shaped cardinal directions. In: Grädel, E., Kahle, R. (eds.) CSL, Lecture Notes in Computer Science, vol. 5771, pp 394–408. Springer (2009)
Montanari, A., Puppis, G., Sala, P.: Maximal decidable fragments of Halpern and Shoham’s modal logic of intervals. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP (2), Lecture Notes in Computer Science, vol. 6199, pp 345–356. Springer (2010)
Shoham, Y.: Temporal logics in AI: Semantical and ontological considerations. Artif. Intell. 33(1), 89–104 (1987)
Snodgrass, R.T. (ed.): The TSQL2 Temporal Query Language. Kluwer (1995)
Terenziani, P., Snodgrass, R.T.: Reconciling point-based and interval-based semantics in temporal relational databases: A treatment of the telic/atelic distinction. IEEE Trans. Knowl. Data Eng. 16(5), 540–551 (2004)
Terenziani, P., Snodgrass, R.T., Bottrighi, A., Torchio, M., Molino, G.: Extending temporal databases to deal with telic/atelic medical data. Artif. Intell. Med. 39(2), 113–126 (2007)
Thalheim, B.: Entity-relationship modeling - foundations of database technology. Springer (2000)
Thalheim, B.: Integrity constraints in (conceptual) database models. In: Kaschek, R., Delcambre, L. (eds.) The Evolution of Conceptual Modeling, Lecture Notes in Computer Science, vol. 6520, pp 42–67. Springer, Berlin / Heidelberg (2011)
Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. II. Computer Science Press (1989)
Venema, Y.: A modal logic for chopping intervals. J. Log. Comput. 1(4), 453–476 (1991)
Vianu, V.: Dynamic functional dependencies and database aging. J. ACM 34(1), 28–59 (1987)
Wang, X.S., Bettini, C., Brodsky, A., Jajodia, S.: Logical design for temporal databases with multiple granularities. ACM Trans. Database Syst. 22(2), 115–170 (1997)
Wijsen, J.: Design of temporal relational databases based on dynamic and temporal functional dependencies. In: Temporal Databases, pp. 61–76 (1995)
Wijsen, J.: Temporal FDs on complex objects. ACM Trans. Database Syst. 24(1), 127–176 (1999)
Wijsen, J.: Temporal dependencies. In: Liu, L., Özsu, M.T. (eds.) Encyclopedia of Database Systems, pp 2960–2966. Springer, US (2009)
Wijsen, J.: Temporal integrity constraints. In: Liu, L., Özsu, M.T. (eds.) Encyclopedia of Database Systems, pp 2976–2982. Springer, US (2009)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Combi, C., Sala, P. Interval-based temporal functional dependencies: specification and verification. Ann Math Artif Intell 71, 85–130 (2014). https://doi.org/10.1007/s10472-013-9387-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-013-9387-1
Keywords
- Temporal functional dependencies
- Temporal databases
- Interval-based functional dependencies
- Compass structures
- B-trees
- Allen’s relations