Automatic Deduction of Temporal Information.

@article{DBLP:journals/tods/MaiocchiPB92,
  author    = {Roberto Maiocchi and
               Barbara Pernici and
               Federico Barbic},
  title     = {Automatic Deduction of Temporal Information},
  journal   = {ACM Trans. Database Syst.},
  volume    = {17},
  number    = {4},
  year      = {1992},
  pages     = {647-688},
  ee        = {http://doi.acm.org/10.1145/146931.146934, db/journals/tods/MaiocchiPB92.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

In many computer-based applications, temporal information has to be stored, retrieved, and related to other temporal information. Several time models have been proposed to manage temporal knowledge in the fields of conceptual modeling, database systems, and artificial intelligence.

In this paper we present TSOS, a system for reasoning about time that can be integrated as a time expert in environments designed for broader problem-solving domains. The main intended goal of TSOS is to allow a user to infer further information on the temporal data stored in the database through a set of deduction rules handling various aspects of time. For this purpose, TSOS provides the capability of answering queries about the temporal specifications it has in its temporal database.

Distinctive time-modeling features of TSOS are the introduction of temporal modalitites, i.e., the possibility of specifying if a piece of information is always true within a time interval, or if it is only sometimes true, and the capability of answering about the possibility and the necessity of the validity of some information at a given time, the association of temporal knowledge both to instances of data and to types of data, and the development of a time calculus for reasoning on temporal data. Another relevant feature of TSOS is the capability to reason about temporal data specified at different time granularities.

Copyright © 1992 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

Online Edition: ACM Digital Library

References

[1]

James F. Allen: Maintaining Knowledge about Temporal Intervals. Commun. ACM 26(11): 832-843(1983) BibTeX

[2]

James F. Allen: Towards a General Theory of Action and Time. Artif. Intell. 23(2): 123-154(1984) BibTeX

[3]

T. Lougenia Anderson: Modeling Time at the Conceptual Level. JCDKB 1982: 273-297 BibTeX

[4]

...

[5]

Gad Ariav: A Temporally Oriented Data Model. ACM Trans. Database Syst. 11(4): 499-527(1986) BibTeX

[6]

Federico Barbic, Barbara Pernici: Time Modeling in Office Information Systems. SIGMOD Conference 1985: 51-62 BibTeX

[7]

Federico Barbic, Roberto Maiocchi: Planning in Time. Temporal Aspects in Information Systems 1987: 141-156 BibTeX

[8]

A. Bolour, T. L. Anderson, L. J. Dekeyser, Harry K. T. Wong: The Role of Time in Information Processing: A Survey. SIGMOD Record 12(3): 27-50(1982) BibTeX

[9]

A. Bolour, L. J. Dekeyser: Abstractions in temporal information. Inf. Syst. 8(1): 41-49(1983) BibTeX

[10]

Janis A. Bubenko Jr.: Information Modeling in the Context of System Development. IFIP Congress 1980: 395-411 BibTeX

[11]

Stefano Ceri, Georg Gottlob, Gio Wiederhold: Interfacing Relational Databases and Prolog Efficiently. Expert Database Conf. 1986: 207-223 BibTeX

[12]

Stefano Ceri, Letizia Tanca: Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries. VLDB 1987: 31-41 BibTeX

[13]

...

[14]

James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983) BibTeX

[15]

...

[16]

James Clifford, A. Rao: A Simple, General Structure for Temporal Domains. Temporal Aspects in Information Systems 1987: 17-28 BibTeX

[17]

...

[18]

...

[19]

C. J. Date: Defining Data Types in a Database Language - A Proposal for Adding Date and Time Support to SQL. SIGMOD Record 17(2): 53-76(1988) BibTeX

[20]

Thomas Dean, Drew V. McDermott: Temporal Data Base Management. Artif. Intell. 32(1): 1-55(1987) BibTeX

[21]

Jon Doyle: A Truth Maintenance System. Artif. Intell. 12(3): 231-272(1979) BibTeX

[22]

...

[23]

Shashi K. Gadia, Jay H. Vaishnav: A Query Language for a Homogeneous Temporal Database. PODS 1985: 51-56 BibTeX

[24]

Kenneth M. Kahn, G. Anthony Gorry: Mechanizing Temporal Knowledge. Artif. Intell. 9(1): 87-108(1977) BibTeX

[25]

Manfred R. Klopprogge, Peter C. Lockemann: Modelling Information Preserving Databases: Consequences of the Concept of Time. VLDB 1983: 399-416 BibTeX

[26]

Robert A. Kowalski, Marek J. Sergot: A Logic-based Calculus of Events. New Generation Comput. 4(1): 67-95(1986) BibTeX

[27]

...

[28]

Vincent Y. Lum, Peter Dadam, R. Erbe, Jürgen Günauer, Peter Pistor, Georg Walch, H. Werner, John Woodfill: Designing DBMS Support for the Temporal Dimension. SIGMOD Conference 1984: 115-130 BibTeX

[29]

...

[30]

Roberto Maiocchi, Barbara Pernici: Temporal Data Management Systems: A Comparative View. IEEE Trans. Knowl. Data Eng. 3(4): 504-524(1991) BibTeX

[31]

...

[32]

L. Edwin McKenzie: Bibliography: Temporal Databases. SIGMOD Record 15(4): 40-52(1986) BibTeX

[33]

Shamkant B. Navathe, Rafi Ahmed: TSQL: A Language Interface for History Databases. Temporal Aspects in Information Systems 1987: 109-122 BibTeX

[34]

...

[35]

...

[36]

...

[37]

Richard T. Snodgrass, Ilsoo Ahn: Temporal Databases. IEEE Computer 19(9): 35-42(1986) BibTeX

[38]

Richard T. Snodgrass: The Temporal Query Language TQuel. ACM Trans. Database Syst. 12(2): 247-298(1987) BibTeX

[39]

Suryanarayana M. Sripada: A logical framework for temporal deductive databases. VLDB 1988: 171-182 BibTeX

[40]

Abdullah Uz Tansel: Adding time dimension to relational model and extending relational algebra. Inf. Syst. 11(4): 343-355(1986) BibTeX

[41]

John Woodfill, Michael Stonebraker: An Implementation of Hypothetical Relations. VLDB 1983: 157-166 BibTeX

[42]

...

Referenced by

1. James M. Slack: Using Security Methods to Enforce Mandatory and Discretionary Access Control in an Object Database. DASFAA 1997: 313-322
2. Roberto Maiocchi, Barbara Pernici: Temporal Data Management Systems: A Comparative View. IEEE Trans. Knowl. Data Eng. 3(4): 504-524(1991)