This Article 
 Bibliographic References 
 Add to: 
A Logical Formulation of Probabilistic Spatial Databases
November 2007 (vol. 19 no. 11)
pp. 1541-1556
There are numerous applications where there isuncertainty over space and time. Examples of such uncertaintyarise in vehicle tracking systems where we are not always surewhere a vehicle is now (or may be in the future), cell and satellitephone applications where we are not sure exactly where a phonemay be, and so on. In this paper, we propose the concept of aSpatial PrObabilistic Temporal (SPOT ) database which containsstatements of the form "Object O is in spatial region R at sometime t with some probability in the interval [L, U]." We definethe syntax and a declarative semantics for SPOT databasesbased on a mix of logic and linear programming, as well asquery algebra. We show alternative implementations of some ofthese query algebra operators when the SPOT database has adisjointness property. Though the declarative semantics of SPOTdatabases is rooted in linear programming, we have found veryefficient algorithms that do not use linear programming methods.We report on experiments we have conducted that show that thesystem scales to large numbers of SPOT atoms as well as tofairly fine temporal and spatial granularity.

[1] D. Barbara, H. Garcia-Molina, and D. Porter, “The Management of Probabilistic Data,” IEEE Trans. Knowledge and Data Eng., vol. 4, pp. 487-502, 1992.
[2] B. Bowerman and R. O'Connell, Forecasting and Time Series: An Applied Approach. Duxbury Press, 1993.
[3] G. Boole, The Laws of Thought, Prometheus Books (2003) with a foreword by G. Corcoran, 1854.
[4] V. Brusoni, L. Console, P. Terenziani, and B. Pernici, “Extending Temporal Relational Databases to Deal with Imprecise and Qualitative Temporal Information,” Proc. Int'l Workshop Recent Advances in Temporal Databases, S. Clifford and A. Tuzhilin, eds., pp. 3-22, 1995.
[5] R. Cavallo and M. Pittarelli, “The Theory of Probabilistic Databases,” Proc. 13th Int'l Conf. Very Large Data Bases (VLDB '87), 1987.
[6] A. Dekhtyar, R. Ross, and V.S. Subrahmanian, “Probabilistic Temporal Databases,” ACM Trans. Database Systems, 2001.
[7] D. Dey and S. Sarkar, “A Probabilistic Relational Model and Algebra,” ACM Trans. Database Systems, vol. 21, no. 3, pp. 339-369, 1996.
[8] D. Dubois and H. Prade, “Processing Fuzzy Temporal Knowledge,” IEEE Trans. Systems, Man and Cybernetics, vol. 19, no. 4, pp.729-744, Dec. 1989.
[9] S. Dutta, “Generalized Events in Temporal Databases,” Proc. Fifth Int'l Conf. Data Eng. (ICDE '89), pp. 118-126, 1989.
[10] C. Dyreson and R. Snodgrass, “Supporting Valid-Time Indeterminacy,” ACM Trans. Database Systems, vol. 23, no. 1, pp. 1-57, 1998.
[11] T. Eiter, T. Lukasiewicz, and M. Walter, “A Data Model and Algebra for Probabilistic Complex Values,” Annals Math. and Artificial Intelligence, vol. 33, no. 2-4, pp. 205-252, 2001.
[12] R. Fagin, J.Y. Halpern, and N. Megiddo, “A Logic for Reasoning about Probabilities,” Information and Computation, vol. 87, nos. 1-2, pp. 78-128, 1990.
[13] S. Gadia, S. Nair, and Y.C. Poon, “Incomplete Information in Relational Temporal Databases,” Proc. 24th Int'l Conf. Very Large Data Bases (VLDB '92), 1992.
[14] U. Guntzer, W. Kiessling, and H. Thone, “New Directions for Uncertainty Reasoning in Deductive Databases,” Proc. ACM SIGMOD Int'l Conf. Management of Data (SIGMOD '91), pp. 178-187, 1991.
[15] T. Hailperin, “Boole's Logic and Probability,” Studies in Logic and the Foundations of Mathematics, vol. 85, 1976.
[16] T. Hammel, T.J. Rogers, and B. Yetso, “Fusing Live Sensor Data into Situational Multimedia Views,” Proc. Ninth Int'l Workshop Multimedia Information Systems (MIS '03), pp. 145-156, 2003.
[17] F.S. Hillier and G. Lieberman, Principles of Operations Research. McGraw-Hill, 2002.
[18] N. Karmarkar, “A New Polynomial Time Algorithm for Linear Programming,” Combinatorica, vol. 4, no. 4, pp. 373-395, 1984.
[19] L.G. Khachiyan, “A Polynomial Algorithm in Linear Programming,” Doklady Akademia Nauk SSSR, pp. 1093-1096, 1979.
[20] M. Koubarakis, “Database Models for Infinite and Indefinite Temporal Information,” Information Systems, vol. 19, no. 2, pp. 141-173, 1994.
[21] Probability Is the Very Guide of Life: The Philosophical Use of Chance, H. Kyburg and M. Thalos, eds., Open Court, 2003.
[22] V.S. Lakshmanan and F. Sadri, “Modeling Uncertainty in Deductive Databases,” Proc. Fifth Int'l Conf. Database Expert Systems and Applications (DEXA '94), pp. 724-733, Sept. 1994.
[23] V.S. Lakshmanan and N. Shiri, “A Parametric Approach to Deductive Databases with Uncertainty,” IEEE Trans. Knowledge and Data Eng., vol. 13, no. 4, pp. 554-570, July/Aug. 2001.
[24] V.S. Lakshmanan, N. Leone, R. Ross, and V.S. Subrahmanian, “ProbView: A Flexible Probabilistic Database System,” ACM Trans. Database Systems, vol. 22, no. 3, pp. 419-469, 1997.
[25] J.W. Lloyd, Foundations of Logic Programming. Springer, 1987.
[26] R. Mittu, R. Ross, R. Mittu, and R. Ross, “Building upon the Coalitions Agent Experiment (COAX)—Integration of Multimedia Information in GCCS-M Using IMPACT,” Proc. Ninth Int'l Workshop Multimedia Information Systems (MIS '03), pp. 35-44, 2003.
[27] R. Ng and V.S. Subrahmanian, “Probabilistic Logic Programming,” Information and Computation, vol. 101, no. 2, pp. 150-201, 1993.
[28] R.H. Bartels and G.H. Golub, “The Simplex Method of Linear Programming Using LU Decomposition,” Comm. ACM, vol. 12, no. 5, pp. 266-268, 1969.
[29] Y. Tao, R. Cheng, X. Xiao, W.K. Ngai, B. Kao, and S. Prabhakar, “Indexing Multi-Dimensional Uncertain Data with Arbitrary Probability Density Functions,” Proc. 31st Int'l Conf. Very Large Data Bases (VLDB '05), pp. 922-933, 2005.
[30] W. Zhao, A. Dekhtyar, and J. Goldsmith, “Databases for Interval Probabilities,” Int'l J. Intelligent Systems, vol. 19, no. 9, pp. 789-815, 2004.

Index Terms:
Spatial Database, Probabilistic Database
Austin Parker, V.S. Subrahmanian, John Grant, "A Logical Formulation of Probabilistic Spatial Databases," IEEE Transactions on Knowledge and Data Engineering, vol. 19, no. 11, pp. 1541-1556, Nov. 2007, doi:10.1109/TKDE.2007.190631
Usage of this product signifies your acceptance of the Terms of Use.