A general framework for time granularity and its application to temporal reasoning

This paper presents a general framework to define time granularity systems. We identify the main dimensions along which different systems can be characterized, and investigate the formal relationships among granularities in these systems. The paper also introduces the notion of a network of temporal constraints with (multiple) granularities emphasizing the semantic and computational differences from constraint networks with a single granularity. Consistency of networks with multiple granularities is shown to beNP‐hard in general and approximate solutions for this problem and for the minimal network problem are proposed.

[1]  M. Chial,et al.  in simple , 2003 .

[2]  James Clifford,et al.  A Simple, General Structure for Temporal Domains , 1986, Temporal Aspects in Information Systems.

[3]  Michael Stonebraker,et al.  Implementing calendars and temporal rules in next generation databases , 1994, Proceedings of 1994 IEEE 10th International Conference on Data Engineering.

[4]  Richard T. Snodgrass,et al.  The TSQL2 Temporal Query Language , 1995 .

[5]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[6]  Sushil Jajodia,et al.  Testing complex temporal relationships involving multiple granularities and its application to data mining (extended abstract) , 1996, PODS.

[7]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[8]  Thomas Dean,et al.  Using temporal hierarchies to efficiently maintain large temporal databases , 1989, JACM.

[9]  X.S. Wang,et al.  Discovering Frequent Event Patterns with Multiple Granularities in Time Sequences , 1998, IEEE Trans. Knowl. Data Eng..

[10]  Sushil Jajodia,et al.  Temporal Semantic Assumptions and Their Use in Databases , 1998, IEEE Trans. Knowl. Data Eng..

[11]  Angelo Montanari,et al.  Metric and Layered Temporal Logic for Time Granularity , 1996, ILLC dissertation series.

[12]  Felix Schlenk,et al.  Proof of Theorem 3 , 2005 .

[13]  Angelo Montanari,et al.  Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems , 1993, Sci. Comput. Program..

[14]  G. Glauberman.  Proof of Theorem A , 1977 .

[15]  Jérôme Euzenat.  An Algebraic Approach to Granularity in Qualitative Time and Space Representation , 1995, IJCAI.

[16]  Angelo Montanari,et al.  Dealing with Time Granularity in the Event Calculus , 1992, FGCS.

[17]  Sushil Jajodia,et al.  Temporal modules , 1993, Inf. Sci..

[18]  Elisa Bertino,et al.  Semantic assumptions and query evaluation in temporal databases , 1995, SIGMOD '95.

[19]  X. S. Wang,et al.  Discovering Temporal Relationships with Multiple Granularities in Time Sequences Technical Report: ISSE-TR-96-06 , 1998 .

[20]  David Forster,et al.  A Representation for Collections of Temporal Intervals , 1986, AAAI.

[21]  Sushil Jajodia,et al.  Logical design for temporal databases with multiple granularities , 1997, TODS.

[22]  Barbara Pernici,et al.  Extending Temporal Relational Databases to Deal with Imprecise and Qualitative Temporal Information , 1995, Temporal Databases.