{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:17:02Z","timestamp":1761977822100,"version":"build-2065373602"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2013,11,14]],"date-time":"2013-11-14T00:00:00Z","timestamp":1384387200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1007\/s10472-013-9387-1","type":"journal-article","created":{"date-parts":[[2013,11,13]],"date-time":"2013-11-13T07:44:05Z","timestamp":1384328645000},"page":"85-130","source":"Crossref","is-referenced-by-count":4,"title":["Interval-based temporal functional dependencies: specification and verification"],"prefix":"10.1007","volume":"71","author":[{"given":"Carlo","family":"Combi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pietro","family":"Sala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,11,14]]},"reference":[{"issue":"11","key":"9387_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"9387_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04228-1","volume-title":"Time Granularities in Databases, Data Mining and Temporal Reasoning","author":"C Bettini","year":"2000","unstructured":"Bettini, C., Jajodia, S.G., Wang, S.X.: Time Granularities in Databases, Data Mining and Temporal Reasoning. Springer-Verlag, New York (2000)"},{"key":"9387_CR3","first-page":"2619","volume-title":"Sequenced semantics. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems","author":"M.H B\u00f6hlen","year":"2009","unstructured":"B\u00f6hlen, M.H., Jensen, C.S.: Sequenced semantics. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems, pp 2619\u20132621. Springer, US (2009)"},{"key":"9387_CR4","doi-asserted-by":"crossref","first-page":"1913","DOI":"10.1007\/978-0-387-39940-9_1052","volume-title":"Nonsequenced semantics. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems","author":"M.H B\u00f6hlen","year":"2009","unstructured":"B\u00f6hlen, M.H., Jensen, C.S., Snodgrass, R.T.: Nonsequenced semantics. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems, pp 1913\u20131915. Springer, US (2009)"},{"issue":"1\u20134","key":"9387_CR5","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1023\/A:1018900105153","volume":"28","author":"L Chittaro","year":"2000","unstructured":"Chittaro, L., Montanari, A.: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Ann. Math. Artif. Intell. 28(1\u20134), 47\u2013106 (2000)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9387_CR6","doi-asserted-by":"crossref","unstructured":"Combi, C.: Modeling temporal aspects of visual and textual objects in multimedia databases. In: TIME, IEEE Computer Society, pp. 59\u201368 (2000)","DOI":"10.1109\/TIME.2000.856586"},{"key":"9387_CR7","doi-asserted-by":"crossref","unstructured":"Combi, C., Degani, S., Jensen, C.S.: Capturing temporal constraints in temporal ER models. In: Li, Q., Spaccapietra, S., Yu, E.S.K., Oliv\u00e9, A (eds.) ER, Lecture Notes in Computer Science, vol. 5231, pp 397\u2013411. Springer (2008)","DOI":"10.1007\/978-3-540-87877-3_29"},{"key":"9387_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-6543-1","volume-title":"Temporal Information Systems in Medicine","author":"C Combi","year":"2010","unstructured":"Combi, C., Keravnou-Papailiou, E., Shahar, Y.: Temporal Information Systems in Medicine. Springer-Verlag, New York (2010)"},{"key":"9387_CR9","doi-asserted-by":"crossref","unstructured":"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\u2013421. Springer (2011)","DOI":"10.1007\/978-3-642-22922-0_24"},{"issue":"3","key":"9387_CR10","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1007\/s10844-011-0170-7","volume":"38","author":"C Combi","year":"2012","unstructured":"Combi, C., Oliboni, B., Quintarelli, E.: Modeling temporal dimensions of semistructured data. J. Intell. Inf. Syst. 38(3), 601\u2013644 (2012)","journal-title":"J. Intell. Inf. Syst."},{"key":"9387_CR11","doi-asserted-by":"crossref","unstructured":"Combi, C., Sala, P.: Temporal functional dependencies based on interval relations. In: Combi, C., Leucker, M., Wolter, F. (eds.) TIME, IEEE, pp 23\u201330 (2011)","DOI":"10.1109\/TIME.2011.15"},{"issue":"8","key":"9387_CR12","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1109\/TKDE.2011.74","volume":"24","author":"F Currim","year":"2012","unstructured":"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\u20131377 (2012)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"11","key":"9387_CR13","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/1400214.1400240","volume":"51","author":"F Currim","year":"2008","unstructured":"Currim, F., Ram, S.: Conceptually modeling windows and bounds for space and time in database constraints. Commun. ACM 51(11), 125\u2013129 (2008)","journal-title":"Commun. ACM"},{"issue":"1\u20133","key":"9387_CR14","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1016\/S0019-9958(86)80033-X","volume":"68","author":"K Hoffman","year":"1986","unstructured":"Hoffman, K., Mehlhorn, K., Rosenstiehl, P., Tarjan, R.E.: Sorting Jordan sequences in linear time using level-linked search trees. Inf. Control. 68(1\u20133), 170\u2013184 (1986)","journal-title":"Inf. Control."},{"key":"9387_CR15","unstructured":"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\u2013244. Springer, (1981)"},{"key":"9387_CR16","first-page":"2952","volume-title":"Temporal data models. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems","author":"C.S Jensen","year":"2009","unstructured":"Jensen, C.S., Snodgrass, R.T.: Temporal data models. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems, pp 2952\u20132957. Springer, US (2009)"},{"key":"9387_CR17","first-page":"2957","volume-title":"Temporal database. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems","author":"C.S Jensen","year":"2009","unstructured":"Jensen, C.S., Snodgrass, R.T.: Temporal database. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems, pp 2957\u20132960. Springer, US (2009)"},{"issue":"4","key":"9387_CR18","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1109\/69.536250","volume":"8","author":"C.S Jensen","year":"1996","unstructured":"Jensen, C.S., Snodgrass, R.T., Soo, M.D.: Extending existing dependency theory to temporal databases. IEEE Trans. Knowl. Data Eng. 8(4), 563\u2013582 (1996)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"9387_CR19","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/978-0-387-39940-9_1530","volume-title":"Atelic data. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems","author":"V Khatri","year":"2009","unstructured":"Khatri, V., Snodgrass, R.T., Terenziani, P.: Atelic data. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems, pp 142\u2013143. Springer, US (2009)"},{"key":"9387_CR20","first-page":"2911","volume-title":"Telic distinction in temporal databases. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems","author":"V Khatri","year":"2009","unstructured":"Khatri, V., Snodgrass, R.T., Terenziani, P.: Telic distinction in temporal databases. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems, pp 2911\u20132914. Springer, US (2009)"},{"key":"9387_CR21","doi-asserted-by":"crossref","unstructured":"Liu, L., \u00d6zsu, M.T. (eds.): Encyclopedia of Database Systems. Springer, US (2009)","DOI":"10.1007\/978-0-387-39940-9"},{"key":"9387_CR22","doi-asserted-by":"crossref","unstructured":"Montanari, A., Puppis, G., Sala, P.: A decidable spatial logic with cone-shaped cardinal directions. In: Gr\u00e4del, E., Kahle, R. (eds.) CSL, Lecture Notes in Computer Science, vol. 5771, pp 394\u2013408. Springer (2009)","DOI":"10.1007\/978-3-642-04027-6_29"},{"key":"9387_CR23","doi-asserted-by":"crossref","unstructured":"Montanari, A., Puppis, G., Sala, P.: Maximal decidable fragments of Halpern and Shoham\u2019s 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\u2013356. Springer (2010)","DOI":"10.1007\/978-3-642-14162-1_29"},{"issue":"1","key":"9387_CR24","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(87)90052-X","volume":"33","author":"Y Shoham","year":"1987","unstructured":"Shoham, Y.: Temporal logics in AI: Semantical and ontological considerations. Artif. Intell. 33(1), 89\u2013104 (1987)","journal-title":"Artif. Intell."},{"key":"9387_CR25","doi-asserted-by":"crossref","unstructured":"Snodgrass, R.T. (ed.): The TSQL2 Temporal Query Language. Kluwer (1995)","DOI":"10.1007\/978-1-4615-2289-8"},{"issue":"5","key":"9387_CR26","doi-asserted-by":"crossref","first-page":"540","DOI":"10.1109\/TKDE.2004.1277816","volume":"16","author":"P Terenziani","year":"2004","unstructured":"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\u2013551 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"2","key":"9387_CR27","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/j.artmed.2006.08.003","volume":"39","author":"P Terenziani","year":"2007","unstructured":"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\u2013126 (2007)","journal-title":"Artif. Intell. Med."},{"key":"9387_CR28","doi-asserted-by":"crossref","unstructured":"Thalheim, B.: Entity-relationship modeling - foundations of database technology. Springer (2000)","DOI":"10.1007\/978-3-662-04058-4"},{"key":"9387_CR29","doi-asserted-by":"crossref","unstructured":"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\u201367. Springer, Berlin \/ Heidelberg (2011)","DOI":"10.1007\/978-3-642-17505-3_3"},{"key":"9387_CR30","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. II. Computer Science Press (1989)"},{"issue":"4","key":"9387_CR31","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1093\/logcom\/1.4.453","volume":"1","author":"Y Venema","year":"1991","unstructured":"Venema, Y.: A modal logic for chopping intervals. J. Log. Comput. 1(4), 453\u2013476 (1991)","journal-title":"J. Log. Comput."},{"issue":"1","key":"9387_CR32","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/7531.7918","volume":"34","author":"V Vianu","year":"1987","unstructured":"Vianu, V.: Dynamic functional dependencies and database aging. J. ACM 34(1), 28\u201359 (1987)","journal-title":"J. ACM"},{"issue":"2","key":"9387_CR33","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/249978.249979","volume":"22","author":"X.S Wang","year":"1997","unstructured":"Wang, X.S., Bettini, C., Brodsky, A., Jajodia, S.: Logical design for temporal databases with multiple granularities. ACM Trans. Database Syst. 22(2), 115\u2013170 (1997)","journal-title":"ACM Trans. Database Syst."},{"key":"9387_CR34","doi-asserted-by":"crossref","unstructured":"Wijsen, J.: Design of temporal relational databases based on dynamic and temporal functional dependencies. In: Temporal Databases, pp. 61\u201376 (1995)","DOI":"10.1007\/978-1-4471-3033-8_4"},{"issue":"1","key":"9387_CR35","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1145\/310701.310715","volume":"24","author":"J Wijsen","year":"1999","unstructured":"Wijsen, J.: Temporal FDs on complex objects. ACM Trans. Database Syst. 24(1), 127\u2013176 (1999)","journal-title":"ACM Trans. Database Syst."},{"key":"9387_CR36","first-page":"2960","volume-title":"Temporal dependencies","author":"J Wijsen","year":"2009","unstructured":"Wijsen, J.: Temporal dependencies. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems, pp 2960\u20132966. Springer, US (2009)"},{"key":"9387_CR37","first-page":"2976","volume-title":"Temporal integrity constraints","author":"J Wijsen","year":"2009","unstructured":"Wijsen, J.: Temporal integrity constraints. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems, pp 2976\u20132982. Springer, US (2009)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9387-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-013-9387-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9387-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T20:24:49Z","timestamp":1746044689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-013-9387-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,14]]},"references-count":37,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["9387"],"URL":"https:\/\/doi.org\/10.1007\/s10472-013-9387-1","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2013,11,14]]}}}