{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:06:48Z","timestamp":1761620808019},"reference-count":42,"publisher":"Association for Computing Machinery (ACM)","issue":"4","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. ACM"],"published-print":{"date-parts":[[1989,10]]},"abstract":"<jats:p>\n            Many real-world applications involve the management of large amounts of time-dependent information. Temporal database systems maintain this information in order to support various sorts of inference (e.g., answering questions involving propositions that are true over some intervals and false over others). For any given proposition, there are typically many different occasions on which that proposition becomes true and persists for some length of time. In this paper, these occasions are referred to as time tokens. Many routine database operations must search through the database for time tokens satisfying certain temporal constraints. To expedite these operations, this paper describes a set of techniques for organizing temporal information by exploiting the local and global structure inherent in a wide class of temporal reasoning problems. The global structure of time is exemplified in conventions for partitioning time according to the calendar and the clock. This global structure is used to partition the set of time tokens to facilitate retrieval. The local structure of time is exemplified in the causal relationships between events and the dependencies between planned activities. This local structure is used as part of a strategy for reducing the computation required during constraint propagation. The organizational techniques described in this paper are quite general, and have been used to support a variety of powerful inference mechanisms. Integrating these techniques into an existing temporal database system has increased, by an order of magnitude or more in most applications, the number of time tokens that can be efficiently handled. \u2014\n            <jats:italic>Author's Abstract<\/jats:italic>\n          <\/jats:p>","DOI":"10.1145\/76359.76360","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:25:57Z","timestamp":1027769157000},"page":"687-718","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":36,"title":["Using temporal hierarchies to efficiently maintain large temporal databases"],"prefix":"10.1145","volume":"36","author":[{"given":"Thomas","family":"Dean","sequence":"first","affiliation":[{"name":"Brown Univ., Providence, RI"}]}],"member":"320","published-online":{"date-parts":[[1989,10]]},"reference":[{"key":"e_1_2_1_1_2","first-page":"176","volume-title":"Proceedings of the Conference on Logic in Computer Science","author":"ABADI M.","year":"1986"},{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"e_1_2_1_4_2","unstructured":"BOLOUR A. ANDERSON T. L. DEKEYSER L. J. AND WONG H. K.T. The role of time in information processing: A survey. SIGART Newsletter (1982) 28-48. 10.1145\/1056176.1056180   BOLOUR A. ANDERSON T. L. DEKEYSER L. J. AND WONG H. K.T. The role of time in information processing: A survey. SIGART Newsletter (1982) 28-48. 10.1145\/1056176.1056180"},{"key":"e_1_2_1_5_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(72)90040-9","article-title":"A model for temporal reference and its application in a question answering program","volume":"3","author":"BRUCE B","year":"1972","journal-title":"Artif Int."},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90092-0"},{"key":"e_1_2_1_7_2","volume-title":"Mass.","author":"CHARNIAK E.","year":"1985"},{"key":"e_1_2_1_8_2","unstructured":"CHARNIAK E. RIESBECK C. K. AND MCDERMOTT D.V. Artificial Intelligence Programming. Lawrence Erlbaum Associates Hillsdale N.J. 1980.   CHARNIAK E. RIESBECK C. K. AND MCDERMOTT D.V. Artificial Intelligence Programming. Lawrence Erlbaum Associates Hillsdale N.J. 1980."},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/319983.319986"},{"key":"e_1_2_1_10_2","volume-title":"Springer-Verlag","author":"CLOCKSIN W. F.","year":"1984"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90091-9"},{"key":"e_1_2_1_12_2","first-page":"131","volume-title":"Proceedings of the IEEE Workshop on Principles of Knowledge-Based Systems. IEEE","author":"DEAN T.","year":"1984"},{"key":"e_1_2_1_13_2","volume-title":"Proceedings of the 3rd International ACM Conference on Office Information Systems. ACM","author":"DEAN T.","year":"1986"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-9236(96)00064-4"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02186365"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90087-2"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90061-0"},{"key":"e_1_2_1_19_2","first-page":"4","article-title":"Hierarchical planning involving deadlines, travel time and resources","author":"DEAN T. L.","year":"1988","journal-title":"Comput. Int."},{"key":"e_1_2_1_20_2","doi-asserted-by":"crossref","unstructured":"DOYLE J. A truth maintenance system. Artif Int. I2 (1979) 231-272.  DOYLE J. A truth maintenance system. Artif Int. I2 (1979) 231-272.","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"e_1_2_1_21_2","volume-title":"Fla.","author":"ERNST G.","year":"1969"},{"key":"e_1_2_1_22_2","doi-asserted-by":"crossref","unstructured":"FIKES R. AND NILSSON N.J. STRIPS: A new approach to the application of theorem proving to problem solving. Artif Int. 2 ( 197 l) 189-208.  FIKES R. AND NILSSON N.J. STRIPS: A new approach to the application of theorem proving to problem solving. Artif Int. 2 ( 197 l) 189-208.","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"e_1_2_1_23_2","first-page":"279","volume-title":"Proceedings of the Conference on Logic in Computer Science","author":"HALPERN J.","year":"1986"},{"key":"e_1_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90043-9"},{"key":"e_1_2_1_25_2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(77)90015-7","article-title":"Mechanizing temporal knowledge","volume":"9","author":"KAHN K.","year":"1977","journal-title":"Artif Int."},{"key":"e_1_2_1_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"e_1_2_1_28_2","first-page":"462","volume-title":"Proceedings of the lOth International Joint Conference on Artificial Intelligence","author":"LADKIN P.","year":"1987"},{"key":"e_1_2_1_29_2","first-page":"1","volume-title":"Reasoning about Actions and Plans","author":"LIESCHITZ V.","year":"1987"},{"key":"e_1_2_1_30_2","first-page":"115","volume-title":"Proceedings of SIGMOD","author":"LUM V.","year":"1984"},{"key":"e_1_2_1_31_2","first-page":"343","volume-title":"Proceedings of the 8th International Joint Conference on Artificial Intelligence (Karlsruhe, West Germany). Morgan- Kaufman, San Mateo, Calif.","author":"MALIK J.","year":"1983"},{"key":"e_1_2_1_32_2","first-page":"295","article-title":"CircumscriptionmA form of nonmonotonic reasoning","volume":"13","author":"MCCARTHY J","year":"1980","journal-title":"Artifi Int."},{"key":"e_1_2_1_33_2","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"4","author":"MCCARTHY J.","year":"1969","journal-title":"Mach. Int."},{"key":"e_1_2_1_35_2","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","article-title":"A temporal logic for reasoning about processes and plans","volume":"6","author":"MCDERMOTT D. V","year":"1982","journal-title":"Cognit. Sci."},{"key":"e_1_2_1_36_2","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0004-3702(84)90045-6","article-title":"Planning routes through uncertain territory","volume":"22","author":"MCDERMOTT D. V.","year":"1982","journal-title":"Artif Int."},{"key":"e_1_2_1_37_2","first-page":"46","volume-title":"Proceedings of the 18th Annual Symposium on Foundations of Computer Science. IEEE","author":"PNUELI A.","year":"1977"},{"key":"e_1_2_1_38_2","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"REITER R","year":"1980","journal-title":"Artifi Int."},{"key":"e_1_2_1_39_2","volume-title":"American Elsevier","author":"SACERDOTI E.","year":"1977"},{"key":"e_1_2_1_40_2","volume-title":"Mass.","author":"SHOHAM Y.","year":"1988"},{"key":"e_1_2_1_43_2","first-page":"888","volume-title":"Proceedings of the 5th International Joint Conference on Artificial Intelligence","author":"TATE A.","year":"1977"},{"key":"e_1_2_1_44_2","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1109\/TPAMI.1983.4767389","article-title":"Planning in time: Windows and durations for activities and goals","volume":"5","author":"VERE S","year":"1983","journal-title":"IEEE Trans. Pattern Anal. and Machine Intelligence"},{"key":"e_1_2_1_45_2","first-page":"1055","volume-title":"Proceedings of the 9th International Joint Conference on Artificial Intelligence","author":"VERE S.","year":"1985"},{"key":"e_1_2_1_46_2","first-page":"377","volume-title":"Proceedings AAAI-86","author":"VILAIN M.","year":"1986"},{"key":"e_1_2_1_47_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90053-5"},{"key":"e_1_2_1_48_2","unstructured":"WILKINS D. Practical Planning. Morgan-Kaufman San Mateo Calif. 1988.  WILKINS D. Practical Planning. Morgan-Kaufman San Mateo Calif. 1988."}],"container-title":["Journal of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/76359.76360","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,3]],"date-time":"2023-01-03T10:11:06Z","timestamp":1672740666000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/76359.76360"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,10]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1989,10]]}},"alternative-id":["10.1145\/76359.76360"],"URL":"https:\/\/doi.org\/10.1145\/76359.76360","relation":{},"ISSN":["0004-5411","1557-735X"],"issn-type":[{"value":"0004-5411","type":"print"},{"value":"1557-735X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,10]]},"assertion":[{"value":"1989-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}