Advertisement

Towards Compact and Tractable Automaton-Based Representations of Time Granularities

  • Ugo Dal Lago
  • Angelo Montanari
  • Gabriele Puppis
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2841)

Abstract

Different approaches to time granularity have been proposed in the database literature to formalize the notion of calendar, based on algebraic, logical, and string-based formalisms. In this paper, we further develop an alternative approach based on automata, originally proposed in [4], which makes it possible to deal with infinite time granularities in an effective (and efficient) way. In particular, such an approach provides an effective solution to fundamental problems such as equivalence and conversion of time granularities. We focus our attention on two kinds of optimization problems for automaton-based representations, namely, computing the smallest representation and computing the most tractable representation, that is, the one on which crucial algorithms (e.g., granule conversion algorithms) run fastest. We first introduce and compare these two minimization problems; then, we give a polynomial time algorithm that solves the latter.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bettini, C., Jajodia, S., Wang, X.S.: Time Granularities in Databases, Data Mining, and Temporal Reasoning. Springer, Heidelberg (2000)zbMATHGoogle Scholar
  2. 2.
    Calbrix, H., Nivat, M., Podelski, A.: Ultimately periodic words of rational ω-languages. In: Main, M.G., Melton, A.C., Mislove, M.W., Schmidt, D., Brookes, S.D. (eds.) MFPS 1993. LNCS, vol. 802, pp. 554–566. Springer, Heidelberg (1994)Google Scholar
  3. 3.
    Combi, C., Franceschet, M., Peron, A.: A logical approach to represent and reason about calendars. In: Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, pp. 134–140. IEEE Computer Society Press, Los Alamitos (2002)CrossRefGoogle Scholar
  4. 4.
    Dal Lago, U., Montanari, A.: Calendars, time granularities, and automata. In: Jensen, C.S., Schneider, M., Seeger, B., Tsotras, V.J. (eds.) SSTD 2001. LNCS, vol. 2121, pp. 279–298. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  5. 5.
    Dal Lago, U., Montanari, A., Puppis, G.: Time granularities, calendar algebra, and automata. Technical Report 4, Dipartimento di Matematica e Informatica, Università degli Studi di Udine, Italy (February 2003)Google Scholar
  6. 6.
    Dal Lago, U., Montanari, A., Puppis, G.: Towards compact and tractable automaton-based representations of time granularities. Technical Report 17, Dipartimento di Matematica e Informatica, Università degli Studi di Udine, Italy (July 2003)Google Scholar
  7. 7.
    Dyreson, C.E., Evans, W.S., Lin, H., Snodgrass, R.T.: Efficiently supporting temporal granularities. IEEE Transactions on Knowledge and Data Engineering 12(4), 568–587 (2000)CrossRefGoogle Scholar
  8. 8.
    Knuth, D.E., Morris, J.H., Pratt, V.R.: Fast pattern matching in strings. SIAM Journal on Computing 6, 323–350 (1977)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Ning, P., Jajodia, S., Wang, X.S.: An algebraic representation of calendars. Annals of Mathematics and Artificial Intelligence 36, 5–38 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Thomas, W.: Languages, automata, and logic. In: Rozemberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. 3, pp. 389–455. Springer, Heidelberg (1997)Google Scholar
  11. 11.
    Wijsen, J.: A string-based model for infinite granularities. In: Bettini, C., Montanari, A. (eds.) Proceedings of the AAAI Workshop on Spatial and Temporal Granularities, pp. 9–16. AAAI Press, Menlo Park (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Ugo Dal Lago
    • 1
  • Angelo Montanari
    • 2
  • Gabriele Puppis
    • 2
  1. 1.Dipartimento di Scienze dell’InformazioneUniversità di BolognaBolognaItaly
  2. 2.Dipartimento di Matematica e InformaticaUniversità di UdineUdineItaly

Personalised recommendations