Abstract
We describe the design and implementation of a temporal deductive database system which supports (1) the storage of facts annotated with a time interval to indicate their perceived time of validity in the real world and (2) deduction rules which express temporal dependencies between (stored or derived) facts. The system features a logic-based query language in which even complex temporal queries can be expressed fairly concisely. We show how formulas involving temporal conjunction, disjunction, and negation can be translated into temporal extensions of the operators of relational algebra and into the database language SQL. A vital step in this translation is an implicit temporal normalization of intermediate results to avoid a redundant representation of temporal information which can even lead to incorrect results in certain cases.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J.F.Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, Vol. 16, Number 11, November 1983.
J.F.Allen. A Common-Sense Theory of Time. Proceedings of the International Joint Conference on Artificial Intelligence, 1985.
F.Bancilhon, R.Ramakrishnan. An Amateur’s Introduction to Recursive Query Processing Strategies. ACM SIGMOD Conference, 1986.
J.F.A.K. van Benthem. The Logic of Time. D.Reidel Publishing Company, 1983.
F.Bry. Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited. Proc. ACM SIGMOD Int. Cord. on Management of Data, 1989, pp. 193–204.
J.Burse. ProQuel: Using Prolog to Implement a Deductive Database System. Technical report. Institut für Informationssysteme ETII Zürich, 1992.
S.Ceri, G.Gottlob, L.Tanca. Logic Programming and Databases. Surveys in Computer Science, Springer Verlag, 1990.
R.Elmasri. A Temporal Model and Query Language for ER Databases. IEEE Data Engineering Conference, 1990.
M.C.Fischer. Knowledge-based Simulation and Country Risk Assessment in Commercial Banking. Ph.D. Thesis Ne. 9543, ETII Zürich, 1991.
D.Gabbay, P.McBrien. Temporal Logic ft Historical databases. Proceedings of the 17th International Conference on Very Large Databases, 1991.
S.K.Gadia, J.H.Vaishnay. A Query Language for a Homogeneous Temporal Database. ACM SIGMOD-SIGACT, Principles of Database Systems, 1985.
S.K.Caelia, C.Yeung. Inadequacy of Interval Timcstamps in Temporal Databases. Information Sciences, Nr. 54, 1991.
L.E.McKenzie, R.T.Suodgrass. Evaluation of Relational Algebras Incorporating the Time Dimension in Databases. ACM Computing Surveys, Vol. 23, No. 4, December 1991.
C.Leung, R.Muntz. Query Processing for Temporal Databases. Proceedings of the 6th International Conference on Data Engineering, 1990.
J.W.Lloyd. Logic Programming. Symbolic Computation, Springer Verlag, 1987.
R.Marti, C.Wieland, B.Wüthrich. Adding Inference to a Relational Database Management System. Datenbanksysteme in Büro, Technik and Wissenschaft, Springer Verlag, Informatik-Fachbericht Nr. 204, 1989.
S.B.Navathe, R.Ahmed. TSQL: A Language Interface for History Databases. Temporal Aspects in Information Systems. C.Rolland, F.Bodart, M.Leonard (Editors). Elsevier Science Publishers B.V., 1988.
R.Snodgrass. The Temporal Query Language TQuel. Proceedings of the 3rd ACM SIGMOD Symposium on Principles of Database Systems, Waterloo Canada, April 1984.
R.Snodgrass, LAhn. A Taxonomy of Time in Databases. ACM SIGMOD, International Conference on Management of Data, May 1985.
J.D.Ullman. Principles of Database and Knowledge-Base Systems. Volume I, Computer Science Press, 1988.
B.Wüthrich. Large Deductive Databases with Constraints. Ph.D. Thesis Nr. 9401, ETH Zürich, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Böhlen, M., Marti, R. (1993). Handling Temporal Knowledge in a Deductive Database System. In: Stucky, W., Oberweis, A. (eds) Datenbanksysteme in Büro, Technik und Wissenschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-86096-6_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-86096-6_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56487-4
Online ISBN: 978-3-642-86096-6
eBook Packages: Springer Book Archive