Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Recommended Reading
Allen JF. Maintaining knowledge about temporal intervals. Commun ACM. 1983;26(11):832–43.
Dechter R, Meiri I, Pearl J. Temporal constraint networks. Artif Intell. 1991;49(1–3):61–95.
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.
Kabanza F, Stevenne J-M, Wolper P. Handling infinite temporal data. J Comput Syst Sci. 1995;51(1):1–25.
Kanellakis PC, Kuper GM, Revesz P. Constraint query languages. J Comput Syst Sci. 1995;51(1):26–52.
Koubarakis M. The complexity of query evaluation in indefinite temporal constraint databases. Theor Comput Sci. 1997;171(1–2):25–60.
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.
Kuper GM, Libkin L, Paredaens J, editors. Constraint databases. Berlin: Springer; 2000.
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.
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.
Revesz P. A closed-form evaluation for datalog queries with integer (gap)-order constraints. Theor Comput Sci. 1993;116(1):117–49.
Revesz P. Introduction to constraint databases. Berlin: Springer; 2002.
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.
Rosenkrantz DJ, Hunt HB. Processing conjunctive predicates and queries. In: Proceedings of the 6th International Conference on Very Data Bases; 1980. p. 64–72.
Toman D, Chomicki J. Datalog with integer periodicity constraints. J Logic Program. 1998;35(3):263–90.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2018 Springer Science+Business Media, LLC, part of Springer Nature
About this entry
Cite this entry
Revesz, P. (2018). Temporal Constraints. In: Liu, L., Özsu, M.T. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-8265-9_391
Download citation
DOI: https://doi.org/10.1007/978-1-4614-8265-9_391
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-8266-6
Online ISBN: 978-1-4614-8265-9
eBook Packages: Computer ScienceReference Module Computer Science and Engineering