This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Variable Independence in Constraint Databases
November/December 2003 (vol. 15 no. 6)
pp. 1422-1436

Abstract—In this paper, we study constraint databases with variable independence conditions (vics). Such databases occur naturally in the context of temporal and spatiotemporal database applications. Using computational geometry techniques, we show that variable independence is decidable for linear constraint databases. We also present a set of rules for inferring vics in relational algebra expressions. Using vics, we define a subset of relational algebra that is closed under restricted aggregation.

[1] M. Benedikt, G. Dong, L. Libkin, and L. Wong, Relational Expressive Power of Constraint Query Languages J. ACM, vol. 45, pp. 1-34, 1998.
[2] M. Benedikt and L. Libkin, Exact and Approximate Aggregation in Constraint Query Languages Proc. ACM Symp. Principles of Database Systems, May/June 1999.
[3] J. Bochnak, M. Coste, and M.F. Roy, Real Algebraic Geometry (English) Ergebnise der Mathematik und ihrer Grenzgebiete, vol. 36, Springer, 1998.
[4] A. Brodsky, J. Jaffar, and M.J. Maher, Towards Practical Constraint Databases Proc. Int'l Conf. Very Large Data Bases, 1993.
[5] A. Brodsky and Y. Kornatzky, The LyriC Language: Constraining Objects Proc. ACM SIGMOD Int'l Conf. Management of Data, 1995.
[6] A. Brodsky, C. Lassez, J-L. Lassez, and M.J. Maher, Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data Proc. ACM Symp. Principles of Database Systems, 1995.
[7] J. Chomicki, Temporal Query Languages: A Survey Proc. Temporal Logic, First Int'l Conf., D.M. Gabbay and H.J. Ohlbach, eds., pp. 506-534, 1994.
[8] J. Chomicki, D. Goldin, and G. Kuper, Variable Independence and Aggregation Closure Proc. ACM Symp. Principles of Database Systems, June 1996.
[9] J. Chomicki and G. Kuper, Measuring Infinite Relations Proc. ACM Symp. Principles of Database Systems, 1995.
[10] J. Chomicki and L. Libkin, Aggregate Languages for Constraint Databases Constraint Databases, G. Kuper, L. Libkin, and J. Paredaens, eds., pp. 131-154, 2000.
[11] J. Chomicki and P.Z. Revesz, Constraint-Based Interoperability of Spatiotemporal Databases Geoinformatica, vol. 3, no. 3, pp. 211-243, Sept. 1999. Preliminary version in SSD' 97.
[12] F. Dumortier, M. Gyssens, and L. Vandeurzen, On the Decidability of Semi-Linearity for Semi-Algebraic Sets and its Implications for Spatial Databases Proc. ACM Symp. Principles of Database Systems, pp. 68-77, 1997.
[13] D.Q. Goldin and P.C. Kanellakis, Constraint Query Algebras Constraints J., vol. 1, nos. 1/2, pp. 45-83, 1996.
[14] S. Grumbach, P. Rigaux, and L. Segoufin, Spatio-Temporal Data Handling with Constraints Proc. ACM Symp. Geographic Information Systems, Nov. 1998.
[15] S. Grumbach, P. Rigaux, and L. Segoufin, The DEDALE System for Complex Spatial Queries Proc. ACM SIGMOD Int'l Conf. Management of Data, pp. 213-224, June 1998.
[16] S. Grumbach, P. Rigaux, and L. Segoufin, On the Orthographic Dimension of Constraint Databases Proc. Int'l Conf. Database Theory, Jan. 1999. Also INRIA Verso Report 141, 1998.
[17] S. Grumbach and J. Su, Towards Practical Constraint Databases Proc. ACM Symp. Principles of Database Systems, pp. 28-39, June 1996.
[18] D. Halperin, Arrangements Handbook of Discrete and Computational Geometry, J.E. Goodman and J. O'Rourke, eds., pp. 389-412, CRC Press, 1997.
[19] P.C. Kanellakis, G.M. Kuper, and P.Z. Revesz, Constraint Query Languages J. Computer and System Sciences, vol. 51, no. 1, pp. 26-52, 1995.
[20] A. Klug, “Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions,” J. ACM, vol. 29, no. 3, pp. 699–717, 1982.
[21] G. Kuper, Aggregation in Constraint Databases Proc. First Int'l Workshop Principles and Practice of Constraint Programming (PPCP '93), pp. 61-172, 1994.
[22] J.L. Lassez, Querying Constraints Proc. Ninth ACM Symp. Principles of Database Systems, pp. 288-298, 1990.
[23] L. Libkin, Some Remarks on Variable Independence, Closure, and Orthographic Dimension in Constraint Databases SIGMOD Record, vol. 28, no. 4, pp. 24-28, 1999.
[24] L. Libkin, Variable Independence, Quantifier Elimination, and Constraint Representations Proc. 27th Int'l Colloquium Automata, Languages, and Programming, 2000.
[25] I.S. Mumick, H. Pirahesh, and R. Ramakrishnan, Duplicates and Aggregates in Deductive Databases Proc. Int'l Conf. Very Large Data Bases, Aug. 1990.
[26] G. Ozsoyoglu, Z.M. Ozsoyoglu, and V. Matos, “Extending Relational Algebra and Relational Calculus with Set-Valued Attributes and Aggregate Functions,” ACM Trans. Database Systems, vol. 14, no. 4, Dec. 1987.
[27] J. Paredaens, J. Van den Bussche, and D. Van Gucht, Towards a Theory of Spatial Database Queries Proc. ACM Symp. Principles of Database Systems, pp. 279-288, 1994.
[28] P.Z. Revesz, A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints Theoretical Computer Science, vol. 116, pp. 117-149, 1993.
[29] K.A. Ross and Y. Sagiv, "Monotonic Aggregation in Deductive Databases," Proc. 11th ACM PODS Symp. Principles of Database Systems, 1992; also Proc. Workshop Deductive Databases Int'l Symp. Logic Programming, pp. 53-61, Oct. 1991.
[30] M. Shiota, Geometry of Subanalytic and Semialgebraic Sets Progress in Mathematics, vol. 150, Birkhäuser, 1997.
[31] S. Sudarshan, D. Srivastava, R. Ramakrishnan, and C. Beeri, Extending the Well-Founded and Valid Model Semantics for Aggregation Proc. Int'l Logic Programming Symp., 1993.
[32] D. Toman, Point-Based Temporal Extensions of SQL Proc. Int'l Conf. Deductive and Object-Oriented Databases, 1997.
[33] D. Toman, Memoing Evaluation for Constraint Extensions of Datalog Costraints, vol. 2, nos. 3/4, pp. 337-359, 1997.
[34] A. Van Gelder, The Well-Founded Semantics of Aggregation Proc. ACM Symp. Principles of Database Systems, pp. 127-138, June 1992.
[35] J. Van den Bussche, Constraint Databases, Queries, and Query Languages Constraint Databases, G. Kuper, L. Libkin, and J. Paredaens, eds., Springer-Verlag, pp. 21-54, 2000.
[36] L. Vandeurzen, M. Gyssens, and D. Van Gucht, On the Desirability and Limitations of Linear Spatial Database Models Proc. Int'l Symp. Large Spatial Databases, pp. 14-28, 1995.
[37] M.F. Worboys, A Unified Model for Spatial and Temporal Information Computer J., vol. 37, no. 1, pp. 26-34, 1994.
[38] M.F. Worboys, GIS: A Computing Perspective. Taylor&Francis, 1995.
[39] The XSB Group, The XSB Logic Programming System, version 2.0 http://www.cs.sunysb.edu~sbprolog, 1999.

Index Terms:
Constraint databases, aggregation, closure, integrity constraints, spatiotemporal databases.
Citation:
Jan Chomicki, Dina Goldin, Gabriel Kuper, David Toman, "Variable Independence in Constraint Databases," IEEE Transactions on Knowledge and Data Engineering, vol. 15, no. 6, pp. 1422-1436, Nov.-Dec. 2003, doi:10.1109/TKDE.2003.1245282
Usage of this product signifies your acceptance of the Terms of Use.