Encyclopedia of Database Systems

2018 Edition
| Editors: Ling Liu, M. Tamer Özsu

Temporal Constraints

  • Peter Revesz
Reference work entry
DOI: https://doi.org/10.1007/978-1-4614-8265-9_391

Definition

Temporal constraints describe relationships among variables that refer somehow to time. A set of temporal constraints can be stored in a temporal database, which is queried by temporal queries during problem solving. For example, a set of temporal constraints may form some requirements, all of which must be satisfied during some scheduling problem.

Most interesting temporal constraints derive from references to time in natural language. Such references typically compare two time points, two sets of time points, or two time intervals. The literature on temporal constraints and this entry focus on the study of these types of comparative or binary constraints.

Historical Background

The seminal work on temporal intervals is by Allen [ 1]. Difference Bounded Matrices (see the section on Scientific Fundamentals) were introduced by Dill [ 3]. A graph representation of difference constraints and efficient constraint satisfaction problem-based solutions for consistency of difference...
This is a preview of subscription content, log in to check access.

Recommended Reading

  1. 1.
    Allen JF. Maintaining knowledge about temporal intervals. Commun ACM. 1983;26(11):832–43.zbMATHCrossRefGoogle Scholar
  2. 2.
    Dechter R, Meiri I, Pearl J. Temporal constraint networks. Artif Intell. 1991;49(1–3):61–95.MathSciNetzbMATHCrossRefGoogle Scholar
  3. 3.
    Dill DL. Timing assumptions and verification of finite-state concurrent systems. In: Proceedings of the Automatic Verification Methods for Finite State Systems; 1989. p. 197–212.CrossRefGoogle Scholar
  4. 4.
    Kabanza F, Stevenne J-M, Wolper P. Handling infinite temporal data. J Comput Syst Sci. 1995;51(1):1–25.MathSciNetzbMATHCrossRefGoogle Scholar
  5. 5.
    Kanellakis PC, Kuper GM, Revesz P. Constraint query languages. J Comput Syst Sci. 1995;51(1):26–52.MathSciNetCrossRefGoogle Scholar
  6. 6.
    Koubarakis M. The complexity of query evaluation in indefinite temporal constraint databases. Theor Comput Sci. 1997;171(1–2):25–60.MathSciNetzbMATHCrossRefGoogle Scholar
  7. 7.
    Kuncak V, Nguyen HH, Rinard MC. An algorithm for deciding BAPA: Boolean Algebra with Presburger Arithmetic. In: Proceedings of the 20th International Conference on Automated Deduction. 2005. p. 260–77.CrossRefGoogle Scholar
  8. 8.
    Kuper GM, Libkin L, Paredaens J, editors. Constraint databases. Berlin: Springer; 2000.zbMATHGoogle Scholar
  9. 9.
    Lahiri SK, Musuvathi M. An efficient decision procedure for UTVPI constraints. In: Proceedings of the 5th International Workshop on Frontiers of Combining Systems; 2005. p. 168–83.CrossRefGoogle Scholar
  10. 10.
    Péron M, Halbwachs N. An abstract domain extending difference-bound matrices with disequality constraints. In: Proceedings of the 8th International Conference on Verification, Model Checking, and Abstract Interpretation. 2007. p. 268–82.Google Scholar
  11. 11.
    Revesz P. A closed-form evaluation for datalog queries with integer (gap)-order constraints. Theor Comput Sci. 1993;116(1):117–49.MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    Revesz P. Introduction to constraint databases. Berlin: Springer; 2002.zbMATHGoogle Scholar
  13. 13.
    Revesz P. Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints. In: Proceedings of the 8th Conference on Advances in Databases and Information Systems; 2004. p. 1–21.Google Scholar
  14. 14.
    Rosenkrantz DJ, Hunt HB. Processing conjunctive predicates and queries. In: Proceedings of the 6th International Conference on Very Data Bases; 1980. p. 64–72.Google Scholar
  15. 15.
    Toman D, Chomicki J. Datalog with integer periodicity constraints. J Logic Program. 1998;35(3):263–90.MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.University of Nebraska-LincolnLincolnUSA

Section editors and affiliations

  • Richard T. Snodgrass
    • 1
  • Christian S. Jensen
    • 2
  1. 1.University of ArizonaTucsonUSA
  2. 2.Aalborg UniversityAalborg ØstDenmark