Variable Independence in Constraint Databases

IEEE Transactions on Knowledge and Data Engineering

Volumn 15, Issue 6, 2003, Pages 1422-1436

  Chomicki, Jan ^a   Goldin, Dina ^b   Kuper, Gabriel ^c   Toman, David ^d  

^a the State University of New York   (United States)

^b University of Connecticut   (United States)

^c UNIVERSITY OF TRENTO   (Italy)

^d UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Aggregation; Closure; Constraint databases; Integrity constraints; Spatiotemporal databases

Indexed keywords

ALGEBRA; POLYNOMIALS; PROBLEM SOLVING; QUERY LANGUAGES; SET THEORY;

CONSTRAINT DATABASES; INTEGRITY CONSTRAINTS;

RELATIONAL DATABASE SYSTEMS;

EID: 0141908593     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/TKDE.2003.1245282     Document Type: Article

References (40)

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, 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.
18. S. Grumbach and J. Su, "Towards Practical Constraint Databases," Proc. ACM Symp. Principles of Database Systems, pp. 28-39, June 1996.
19. D. Halperin, "Arrangements," Handbook of Discrete and Computational Geometry, J.E. Goodman and J. O'Rourke, eds., pp. 389-412, CRC Press, 1997.
20. 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.
21. A. Klug, "Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions," J. ACM, vol. 29, no. 3, pp. 699-717, 1982.
22. G. Kuper, "Aggregation in Constraint Databases," Proc. First Int'l Workshop Principles and Practice of Constraint Programming (PPCP '93), pp. 61-172, 1994.
23. J.L. Lassez, "Querying Constraints," Proc. Ninth ACM Symp. Principles of Database Systems, pp. 288-298, 1990.
24. L. Libkin, "Some Remarks on Variable Independence, Closure, and Orthographic Dimension in Constraint Databases," SIGMOD Record, vol. 28, no. 4, pp. 24-28, 1999.
25. L. Libkin, "Variable Independence, Quantifier Elimination, and Constraint Representations," Proc. 27th Int'l Colloquium Automata, Languages, and Programming, 2000.
26. I.S. Mumick, H. Pirahesh, and R. Ramakrishnan, "Duplicates and Aggregates in Deductive Databases," Proc. Int'l Conf. Very Large Data Bases, Aug. 1990.
27. 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. 12, pp. 566-592, 1987.
28. 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.
29. P.Z. Revesz, "A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints," Theoretical Computer Science, vol. 116, pp. 117-149, 1993.
30. K.A. Ross and Y. Sagiv, "Monotonic Aggregation in Deductive Databases," Proc. ACM Symp. Principles of Database Systems, pp. 114-126, 1992.
31. M. Shiota, "Geometry of Subanalytic and Semialgebraic Sets," Progress in Mathematics, vol. 150, Birkhäuser, 1997.
32. 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.
33. D. Toman, "Point-Based Temporal Extensions of SQL," Proc. Int'l Conf. Deductive and Object-Oriented Databases, 1997.
34. D. Toman, "Memoing Evaluation for Constraint Extensions of Datalog," Costraints, vol. 2, nos. 3/4, pp. 337-359, 1997.
35. A. Van Gelder, "The Well-Founded Semantics of Aggregation," Proc. ACM Symp. Principles of Database Systems, pp. 127-138, June 1992.
36. 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.
37. 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.
38. M.F. Worboys, "A Unified Model for Spatial and Temporal Information," Computer J., vol. 37, no. 1, pp. 26-34, 1994.
39. M.F. Worboys, GIS: A Computing Perspective. Taylor & Francis, 1995.
40. The XSB Group, "The XSB Logic Programming System, version 2.0, " http://www.cs.sunysb.edu/̃sbprolog, 1999.