Extending the Constraint Database Framework

Principles of Computing and Knowledge: Paris C. Kanellakis Memorial Workshop

Volumn , Issue , 2003, Pages 42-54

  Goldin, Dina ^a   Kutlu, Ayferi ^a   Song, Mingjun ^a  

^a UNIVERSITY OF CONNECTICUT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; LOGIC DESIGN; QUERY LANGUAGES; SEMANTICS;

CONSTRAINT DATABASE;

RELATIONAL DATABASE SYSTEMS;

EID: 0141929295     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/778348.778356     Document Type: Conference Paper

References (32)

1. CQA/CDB Project - Demos. http://www.cse.uconn.edu/cdb/demos.html
2. N. Beckmann, H.P. Kriegel, R. Schneider, B. Seeger. The R*-tree: an efficient and robust access method for points and rectangles. Proc. 1990 ACM SIGMOD Int'l Conf. Management of Data, pp. 322-331, May 1990, Atlantic City, New Jersey, United States.
3. T. Brinkhoff, H.P. Kriegel, R. Schneider, B. Seeger. Multi-step processing of spatial joins. Proc. 1994 ACM SIGMOD Int'l Conference on Management of Data, pp. 197-208, May 1994, Minneapolis, Minnesota, United States.
4. A. Brodsky, V. E. Segal, and P. A. Exarkopoulo. The CCUBE constraint object-oriented database system. CONSTRAINTS, An International Journal, 51(1), pp. 26-52, 1995.
5. Jan Chomicki, Dina Goldin, Gabriel Kuper, and David Toman. Variable Independence in Constraint Databases. To appear in IEEE Transactions on Knowledge and Data Engineering, 2003.
6. E.F. Codd. A Relational Model for Large Shared Data Banks. In Communications of the ACM 13(6), pp. 377-387, 1970.
7. R. Elmasri and S.B. Navathe. Fundamentals of Database Systems, 3rd edition. Addison Wesley, 2000.
8. J. Ferrante and J.R. Geiser. An Efficient Decision Procedure for the Theory of Rational Order. Theoretical Computer Science, 4, pp. 227-233, 1977.
9. S. I. Gass. Linear Programming, Fifth Edition. McGraw-Hill Inc., New York, 1985.
10. D.Q. Goldin and P.C. Kanellakis. On Similarity Queries for Time-Series Data: Constraint Specification and Implementation. Proc. 1st Int'l Conf. on the Principles and Practice of Constraint Programming, LNCS 976, pp. 137-153. Cassis France, September 1995.
11. D.Q. Goldin and P.C. Kanellakis. Constraint Query Algebras. Constraints Journal, 1(1/2), pp. 45-83, 1996.
12. Dina Goldin, Ayferi Kutlu, Mingjun Song, Fuzheng Yang. The Constraint Database Framework: Lessons Learned from CQA/CDB. In Proc. Int'l Conf. on Data Engineering (ICDE), 2003.
13. S. Grumbach, P. Rigaux, L. Segoufin. The DEDALE System for Complex Spatial Queries. Proc. ACM SIGMOD, June 1998.
14. R.H. Gueting. An Introduction to Spatial Database Systems. VLDB Journal 3 (1994), pp. 357-399.
15. P.C. Kanellakis. Elements of Relational Database Theory. Handbook of Theoretical Computer Science, J. van Leeuwen editor, volume B, chapter 17, pp. 1073-1158. North-Holland, 1990.
16. P.C. Kanellakis, D.Q. Goldin. Constraint Programming and Database Query Languages. Symposium on Theoretical Aspects of Computer Software, LNCS 789, pp. 96-120, Sendai Japan, April 1994.
17. P.C. Kanellakis, G.M. Kuper, and P.Z. Revesz. Constraint Query Languages. Proc. 9th ACM PODS Symposium on the Principles of Database Systems (PODS), Nashville Tennessee USA, pp. 299-314, March 1990.
18. P.C. Kanellakis, G.M. Kuper, and P.Z. Revesz. Constraint Query Languages. J. Computer and System Sciences, 51(1), pp. 26-52, 1995.
19. P. C. Kanellakis, S. Ramaswamy, D. E. Vengroff, J. S. Vitter. Indexing for Data Models with Constraints and Classes. J. Computer and System Sciences, 52(3), pp. 589-612, 1996.
20. M. Koubarakis. Database Models for Infinite and Indefinite Temporal Information. Information Systems 19:2, pp. 141-173, 1994.
21. G.M. Kuper, L. Libkin, J. Paredaens. Constraint Databases. Springer Verlag, 2000.
22. G. Kuper and M. Scholl. Geographic Information Systems, in [21].
23. A. Mitchell. The ESRI Guide to GIS Analysis, Volume 1: Geographic Patterns & Relationships. ESRI Press, 1999.
24. J. Renegar. On the Computational Complexity and Geometry of the First-order Theory of the Reals: Parts I-III. Journal of Symbolic Computation, 13, pp. 255-352, 1992.
25. Peter Revesz et. al. The MLPQ/GIS Constraint Database System. Proc. ACM SIGMOD, May 2000.
26. P. Revesz. Introduction to Constraint Databases. Springer Verlag, New York, 2002.
27. Philippe Rigaux, Michel Scholl, Luc Segoufin, Stephane Grumbach. Building a Constraint-Based Spatial Database System: Model, Languages, and Implementation. To appear in Information System Journal, 2003.
28. P. Rigaux, M. Scholl, and A. Voisard. Spatial Databases with Application to GIS. Academic Press, 2002.
29. A. Schrijver. Theory of Linear and Integer Programming. John Wiley and Sons, 1986.
30. A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, California, 1951.
31. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989.
32. M. F. Worboys. GIS: A Computing Perspective. Taylor & Francis, 1995.