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.
- 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
- 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.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