{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:48:27Z","timestamp":1760708907547},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"6-8","license":[{"start":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T00:00:00Z","timestamp":1442188800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s00236-015-0246-x","type":"journal-article","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T13:32:11Z","timestamp":1442237531000},"page":"547-585","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Mining approximate interval-based temporal dependencies"],"prefix":"10.1007","volume":"53","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":[[2015,9,14]]},"reference":[{"key":"246_CR1","doi-asserted-by":"crossref","unstructured":"Afrati, F.N., Kolaitis, P.G.: Repair checking in inconsistent databases: algorithms and complexity. In: Fagin [15], pp. 31\u201341","DOI":"10.1145\/1514894.1514899"},{"issue":"11","key":"246_CR2","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"James F Allen","year":"1983","unstructured":"Allen, James F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"246_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04228-1","volume-title":"Time Granularities in Databases, Data Mining and Temporal Reasoning","author":"Claudio Bettini","year":"2000","unstructured":"Bettini, Claudio, Jajodia, Sushil G., Wang, Sean X.: Time Granularities in Databases, Data Mining and Temporal Reasoning. Springer-Verlag New York Inc., Secaucus, NJ (2000)"},{"key":"246_CR4","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/j.entcs.2009.02.033","volume":"231","author":"Davide Bresolin","year":"2009","unstructured":"Bresolin, Davide, Goranko, Valentin, Montanari, Angelo, Sala, Pietro: Complete and terminating tableau for the logic of proper subinterval structures over dense orderings. Electron. Notes Theor. Comput. Sci. 231, 131\u2013151 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"246_CR5","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1093\/logcom\/exn063","volume":"20","author":"Davide Bresolin","year":"2010","unstructured":"Bresolin, Davide, Goranko, Valentin, Montanari, Angelo, Sala, Pietro: Tableaux for logics of subinterval structures over dense orderings. J. Log. Comput. 20(1), 133\u2013166 (2010)","journal-title":"J. Log. Comput."},{"issue":"1\u20132","key":"246_CR6","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1016\/j.ic.2004.04.007","volume":"197","author":"Jan Chomicki","year":"2005","unstructured":"Chomicki, Jan, Marcinkowski, Jerzy: Minimal-change integrity maintenance using tuple deletions. Inf. Comput. 197(1\u20132), 90\u2013121 (2005)","journal-title":"Inf. Comput."},{"key":"246_CR7","doi-asserted-by":"crossref","unstructured":"Codd, E.F.: Normalized data structure: a brief tutorial. In: Codd, E.F., Dean, A.L. (eds.) SIGFIDET Workshop, pp. 1\u201317. ACM (1971)","DOI":"10.1145\/1734714.1734716"},{"key":"246_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-6543-1","volume-title":"Temporal Information Systems in Medicine","author":"Carlo Combi","year":"2010","unstructured":"Combi, Carlo, Keravnou-Papailiou, Elpida, Shahar, Yuval: Temporal Information Systems in Medicine. Springer-Verlag New York Inc., New York, NY (2010)"},{"key":"246_CR9","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1016\/j.compbiomed.2014.08.004","volume":"62","author":"Carlo Combi","year":"2015","unstructured":"Combi, Carlo, Mantovani, Matteo, Sabaini, Alberto, Sala, Pietro, Amaddeo, Francesco, Moretti, Ugo, Pozzi, Giuseppe: Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases. Comput. Biol. Med. 62, 306\u2013324 (2015)","journal-title":"Comput. Biol. Med."},{"key":"246_CR10","doi-asserted-by":"crossref","unstructured":"Combi, C., Montanari, A., Pozzi, G.: The T4SQL temporal query language. In: Silva, M.J., Laender, A.H.F., Baeza-Yates, R.A., McGuinness, D.L., Olstad, B., Olsen, \u00d8.H., Falc\u00e3o, A. (eds.) Proceedings of the Sixteenth ACM Conference on Information and Knowledge Management, (CIKM), Lisbon, Portugal, November 6\u201310, 2007, pp. 193\u2013202. ACM (2007)","DOI":"10.1145\/1321440.1321470"},{"key":"246_CR11","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.) Advances in Spatial and Temporal Databases\u201412th International Symposium, (SSTD) Minneapolis, MN, USA, August 24\u201326, 2011, Proceedings, volume 6849 of Lecture Notes in Computer Science, pp. 404\u2013421. Springer (2011)","DOI":"10.1007\/978-3-642-22922-0_24"},{"key":"246_CR12","doi-asserted-by":"crossref","unstructured":"Combi, C., Parise, P., Sala, P., Pozzi, G.: Mining approximate temporal functional dependencies based on pure temporal grouping. In: Ding, W., Washio, T., Xiong, H., Karypis, G., Thuraisingham, B.M., Cook, D.J., Wu, X. (eds.) 13th IEEE International Conference on Data Mining Workshops, ICDM Workshops, TX, USA, December 7\u201310, 2013, pp. 258\u2013265. IEEE Computer Society (2013)","DOI":"10.1109\/ICDMW.2013.100"},{"key":"246_CR13","doi-asserted-by":"crossref","unstructured":"Combi, C., Sala, P.: Temporal functional dependencies based on interval relations. In: Combi, C., Leucker, M., Wolter, F. (eds.) Eighteenth International Symposium on Temporal Representation and Reasoning, (TIME), L\u00fcbeck , Germany, September 12\u201314, pp. 23\u201330. IEEE (2011)","DOI":"10.1109\/TIME.2011.15"},{"issue":"1\u20133","key":"246_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/s10472-013-9387-1","volume":"71","author":"Carlo Combi","year":"2014","unstructured":"Combi, Carlo, Sala, Pietro: Interval-based temporal functional dependencies: specification and verification. Ann. Math. Artif. Intell. 71(1\u20133), 85\u2013130 (2014)","journal-title":"Ann. Math. Artif. Intell."},{"key":"246_CR15","unstructured":"Fagin, R. (ed.): Database Theory\u2014ICDT 2009, 12th International Conference, St. Petersburg, Russia, March 23\u201325, 2009, Proceedings, volume 361 of ACM International Conference Proceeding Series. ACM (2009)"},{"key":"246_CR16","doi-asserted-by":"crossref","unstructured":"Fontaine, G.: Why is it hard to obtain a dichotomy for consistent query answering? In: 28th Annual ACM\/IEEE Symposium on Logic in Computer Science, (LICS), New Orleans, LA, USA, June 25\u201328, 2013, pp. 550\u2013559. IEEE Computer Society (2013)","DOI":"10.1109\/LICS.2013.62"},{"issue":"3","key":"246_CR17","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0304-3975(76)90059-1","volume":"1","author":"MR Garey","year":"1976","unstructured":"Garey, M.R., Johnson, David S., Stockmeyer, Larry J.: Some simplified np-complete graph problems. Theor. Comput. Sci. 1(3), 237\u2013267 (1976)","journal-title":"Theor. Comput. Sci."},{"key":"246_CR18","doi-asserted-by":"crossref","unstructured":"Huhtala, Y., K\u00e4rkk\u00e4inen, J., Porkka, P., Toivonen, H.: Efficient discovery of functional and approximate dependencies using partitions. In: Urban, S.D., Bertino, E. (eds.) Proceedings of the Fourteenth International Conference on Data Engineering (ICDE), Orlando, Florida, USA, February 23\u201327, 1998, pp. 392\u2013401. IEEE Computer Society (1998)","DOI":"10.1109\/ICDE.1998.655802"},{"issue":"2","key":"246_CR19","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1093\/comjnl\/42.2.100","volume":"42","author":"Yk\u00e4 Huhtala","year":"1999","unstructured":"Huhtala, Yk\u00e4, K\u00e4rkk\u00e4inen, Juha, Porkka, Pasi, Toivonen, Hannu: Tane: An efficient algorithm for discovering functional and approximate dependencies. Comput. J. 42(2), 100\u2013111 (1999)","journal-title":"Comput. J."},{"key":"246_CR20","doi-asserted-by":"crossref","unstructured":"Jensen, C.S., Snodgrass, R.T.: Temporal database. In: Liu and \u00d6zsu [24], pp. 2957\u20132960","DOI":"10.1007\/978-1-4899-7993-3_395-2"},{"issue":"4","key":"246_CR21","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1109\/69.536250","volume":"8","author":"Christian S Jensen","year":"1996","unstructured":"Jensen, Christian S., Snodgrass, Richard T., Soo, Michael 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."},{"issue":"1","key":"246_CR22","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/0304-3975(95)00028-U","volume":"149","author":"Jyrki Kivinen","year":"1995","unstructured":"Kivinen, Jyrki, Mannila, Heikki: Approximate inference of functional dependencies from relations. Theoret. Comput. Sci. 149(1), 129\u2013149 (1995)","journal-title":"Theoret. Comput. Sci."},{"key":"246_CR23","doi-asserted-by":"crossref","unstructured":"Kolahi, S., Lakshmanan, L.V.S.: On approximating optimum repairs for functional dependency violations. In: Fagin [15], pp. 53\u201362","DOI":"10.1145\/1514894.1514901"},{"key":"246_CR24","volume-title":"Encyclopedia of Database Systems","year":"2009","unstructured":"Liu, L., \u00d6zsu, M.T. (eds.): Encyclopedia of Database Systems. Springer, Berlin (2009)"},{"issue":"2","key":"246_CR25","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0166-218X(92)90031-5","volume":"40","author":"Heikki Mannila","year":"1992","unstructured":"Mannila, Heikki, R\u00e4ih\u00e4, Kari-Jouko: On the complexity of inferring functional dependencies. Discrete Appl. Math. 40(2), 237\u2013243 (1992)","journal-title":"Discrete Appl. Math."},{"issue":"1","key":"246_CR26","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0169-023X(94)90023-X","volume":"12","author":"Heikki Mannila","year":"1994","unstructured":"Mannila, Heikki, R\u00e4ih\u00e4, Kari-Jouko: Algorithms for inferring functional dependencies from relations. Data Knowl. Eng. 12(1), 83\u201399 (1994)","journal-title":"Data Knowl. Eng."},{"issue":"2","key":"246_CR27","doi-asserted-by":"crossref","first-page":"217","DOI":"10.3233\/FI-2014-1011","volume":"131","author":"Jerzy Marcinkowski","year":"2014","unstructured":"Marcinkowski, Jerzy, Michaliszyn, Jakub: The undecidability of the logic of subintervals. Fundam. Inform. 131(2), 217\u2013240 (2014)","journal-title":"Fundam. Inform."},{"key":"246_CR28","volume-title":"Combinatorial Optimization: Algorithms and Complexity","author":"Christos H Papadimitriou","year":"1982","unstructured":"Papadimitriou, Christos H., Steiglitz, Kenneth: Combinatorial Optimization: Algorithms and Complexity. Prentice-Hall, Upper Saddle River (1982)"},{"key":"246_CR29","doi-asserted-by":"crossref","unstructured":"Sala, P.: Approximate interval-based temporal dependencies: the complexity landscape. In: Cesta, A., Combi, C., Laroussinie, F. (eds.) 21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8\u201310, 2014, pp. 69\u201378. IEEE Computer Society (2014)","DOI":"10.1109\/TIME.2014.20"},{"issue":"4","key":"246_CR30","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1093\/logcom\/1.4.453","volume":"1","author":"Yde Venema","year":"1991","unstructured":"Venema, Yde: A modal logic for chopping intervals. J. Log. Comput. 1(4), 453\u2013476 (1991)","journal-title":"J. Log. Comput."},{"issue":"1","key":"246_CR31","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/7531.7918","volume":"34","author":"Victor Vianu","year":"1987","unstructured":"Vianu, Victor: Dynamic functional dependencies and database aging. J. ACM 34(1), 28\u201359 (1987)","journal-title":"J. ACM"},{"issue":"2","key":"246_CR32","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/249978.249979","volume":"22","author":"Xiaoyang\u00a0Sean Wang","year":"1997","unstructured":"Wang, Xiaoyang\u00a0Sean, Bettini, Claudio, Brodsky, Alexander, Jajodia, Sushil: Logical design for temporal databases with multiple granularities. ACM Trans. Database Syst. 22(2), 115\u2013170 (1997)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"246_CR33","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1145\/310701.310715","volume":"24","author":"Jef Wijsen","year":"1999","unstructured":"Wijsen, Jef: Temporal fds on complex objects. ACM Trans. Database Syst. 24(1), 127\u2013176 (1999)","journal-title":"ACM Trans. Database Syst."},{"key":"246_CR34","doi-asserted-by":"crossref","unstructured":"Wijsen, J.: Temporal dependencies. In: Liu and \u00d6zsu [24], pp. 2960\u20132966","DOI":"10.1007\/978-0-387-39940-9_396"},{"key":"246_CR35","doi-asserted-by":"crossref","unstructured":"Wijsen, J.: Temporal integrity constraints. In: Liu and \u00d6zsu [24], pp. 2976\u20132982","DOI":"10.1007\/978-1-4899-7993-3_400-2"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0246-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-015-0246-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0246-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0246-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,8]],"date-time":"2020-09-08T08:17:06Z","timestamp":1599553026000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-015-0246-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,14]]},"references-count":35,"journal-issue":{"issue":"6-8","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["246"],"URL":"https:\/\/doi.org\/10.1007\/s00236-015-0246-x","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,14]]}}}