Abstract
This paper describes how the technology of deductive constraint database systems and constraint query languages can be used to represent and reason with partially incomplete temporal knowledge. First, we summarize our approach to solving constraints over reals within deductive database systems. This approach is based on the compile-time rewriting of clauses which are not necessarily range-restricted. Then, we show how the timestamping of facts and rules in temporal databases can be mapped to constraints over reals. Subsequently, we present a more efficient and elegant approach which is based on a special temporal constraint solver. Finally, we show how problems such as periodically recurring events can be elegantly modeled and solved within our framework.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 16 (11), November 1993.
Michael Böhlen and Robert Marti. Handling temporal knowledge in a deductive database system. In Datenbanksysteme in Büro, Technik und Wissenschaft 1993.
Michael Bohlen and Robert Marti. On the completeness of temporal database query languages. In Proc. 1st Int. Conf. on Temporal Logic, July 1994.
Michael Böhlen. Managing Temporal Knowledge in Deductive Databases. PhD thesis, ETH Zurich No. 10802, 1994.
Jan Burse. ProQuel: Using Prolog to implement a deductive database system. Technical Report TR 177, Departement Informatik ETH Zurich Switzerland, 1992.
Stefano Ceri, Georg Gottlob, and Letizia Tanca. Logic Programming and Databases. Surveys in Computer Science. Springer Verlag, 1990.
Roman Gross and Robert Marti. Intensional answers in generalized deductive databases. In Proc. Workshop on Deductive Databases, 10th Int. Conf. on Logic Programming, Budapest, June 1993.
Roman Gross and Robert Marti. Compile-time constraint solving in a constraint database system. In Workshop Constraints and Databases, Int. Logic Programming Symposium, Ithaca, November 1994.
Roman Gross and Robert Marti. Handling constraints and generating intensional answers in a deductive database system. Journal of Computers and Artificial Intelligence, 13 (2–3): 233–256, 1994.
C. S. Jensen, J. Clifford, R. Elmasri, S. K. Gadia, P. Hayes, and S. Jajodia (eds). A glossary of temporal database concepts. SIGMOD Record, 23(1), March 1994.
Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. In Proc. of the Hth ACM Symposium on Principles of Programming Languages y pages 111–119, January 1987.
Joxan Jaffar and Michael J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19 /20: 503–582, 1994.
Paris C. Kanellakis, Gabriel M. Kuper, and Peter Z. Revesz. Constraint query languages. In Proc. 9th ACM Symp. on Principles of Database Systems (PODS), pages 299–313, Nashville, 1990.
R. Marti, C. Wieland, and B. Wüthrich. Adding inferencing to a relational database management system. In Datenbanksysteme in Büro, Technik und Wissenschaft. T. Härder, 1989.
Raghu Ramakrishnan. Magic Templates: A spellbinding approach to logic programs. In Proc. Int. Conf. on Logic Programming, pages 140–159, 1988.
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, and P. Seshadri. Implementation of the CORAL deductive database system. In Proc. ACM Conf. on Management of Data (SIGMOD), 1993.
Peter J. Stuckey and S. Sudarshan. Compiling query constraints. In Proc. ACM Symp. on Principles of Database Systems (PODS), 1994.
Adbullah Uz Tansel, James Clifford, Shashi K. Gadia, Sushil Hajodia, Arie Segev, and Richard Snodgras. Temporal Databases: Theory, Design and Implementation. Benjamin/Cummings Publishing Company, Inc., 1993.
David Toman, Jan Chomicki, and David S. Rogers. Datalog with integer periodicity constraints. In Proc. Int. Logic Programming Symposium, November 1994.
J. Vaghani, K. Ramamohanarao, D. Kemp, Z. Somogyi, and Peter Stuckey. Design overview of the Aditi deductive database system. In Proc. 7th Int. Conf. on Data Engineering, pages 240–247, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gross, R., Marti, R. (1995). Managing Temporal Knowledge Using a Deductive Constraint Database System. In: Lausen, G. (eds) Datenbanksysteme in Büro, Technik und Wissenschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-79646-3_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-79646-3_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59095-8
Online ISBN: 978-3-642-79646-3
eBook Packages: Springer Book Archive