Constraint-based interoperability of spatiotemporal databases

1. F. Afrati, S. Cosmadakis, S. Grumbach, and G. Kuper. Linear vs. Polynomial Constraints in Database Query Languages. In A. Borning, editor, PPCP'94, Second International Workshop on Principles and Practice of Constraint Programming, pages 181–192. Springer-Verlag, LNCS 874, 1994.

   Google Scholar 

2. W.G. Aref and H. Samet. Extending a DBMS with Spatial Operations. In International Symposium on Large Spatial Databases, pages 299–318, 1991.

   Google Scholar 

3. M. Baudinet, J. Chomicki, and P. Wolper. Temporal Deductive Databases. In Tansel et al. [TCG+93], pages 294–320.

   Google Scholar 

4. A. Brodsky, J. Jaffar, and M.J. Maher. Towards Practical Constraint Databases. In International Conference on Very Large Data Bases, Dublin, Ireland, 1993.

   Google Scholar 

5. A. Brodsky and Y. Kornatzky. The LyriC Language: Constraining Objects. In ACM SIGMOD International Conference on Management of Data, San Jose, California, 1995.

   Google Scholar 

6. A. Brodsky, C. Lassez, J-L. Lassez, and M.J. Maher. Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. In ACM Symposium on Principles of Database Systems, San Jose, California, 1995.

   Google Scholar 

7. M. Baudinet, M. Ntézette, and P. Wolper. On the Representation of Infinite Temporal Data and Queries. In ACM Symposium on Principles of Database Systems, 1991.

   Google Scholar 

8. C. Bettini, X.S. Wang, E. Bertino, and S. Jajodia. Semantic Assumptions and Query Evaluation in Temporal Databases. In ACM SIGMOD International Conference on Management of Data, pages 257–268, San Jose, California, May 1995.

   Google Scholar 

9. J. Chomicki, D. Goldin, and G. Kuper. Variable Independence and Aggregation Closure. In ACM Symposium on Principles of Database Systems, Montreal, Canada, June 1996.

   Google Scholar 

10. J. Chomicki. Temporal Query Languages: A Survey. In D.M. Gabbay and H.J. Ohlbach, editors, Temporal Logic, First International Conference, pages 506–534. Springer-Verlag, LNAI 827, 1994.

    Google Scholar 

11. J. Chomicki and G. Kuper. Measuring Infinite Relations. In ACM Symposium on Principles of Database Systems, pages 78–85, San Jose, California, 1995.

    Google Scholar 

12. A.U. Frank, I. Campari, and U. Formentini. Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. Springer-Verlag, LNCS 639, 1992.

    Google Scholar 

13. S. Grumbach and J. Su. Finitely Representable Databases. In ACM Symposium on Principles of Database Systems, pages 289–300, Minneapolis, Minnesota, May 1994.

    Google Scholar 

14. S. Grumbach and J. Su. Dense-Order Constraint Databases. In ACM Symposium on Principles of Database Systems, pages 66–77, San Jose, California, May 1995.

    Google Scholar 

15. C.S. Jensen, M.D. Soo, and R.T. Snodgrass. Unification of Temporal Data Models. In IEEE International Conference on Data Engineering, 1993.

    Google Scholar 

16. W. Kim, I. Choi, S. Gala, and M. Scheevel. On Resolving Semantic Heterogeneity in Multidatabase Systems. In W. Kim, editor, Modern Database Systems, pages 521–550. Addison-Wesley, 1995.

    Google Scholar 

17. P.C. Kanellakis and D. Q. Goldin. Constraint Programming and Database Query Languages. In Conference on Theoretical Aspects of Computer Software. Springer-Verlag, 1994.

    Google Scholar 

18. P.C. Kanellakis, G.M. Kuper, and P.Z. Revesz. Constraint Query Languages. Journal of Computer and System Sciences, 51(1):26–52, August 1995.

    Google Scholar 

19. F. Kabanza, J-M. Stevenne, and P. Wolper. Handling Infinite Temporal Data. Journal of Computer and System Sciences, 51(1):3–17, August 1995.

    Google Scholar 

20. C.P. Kolovson, M-A. Neimat, and S. Potamianos. Interoperability of Spatial and Attribute Data Managers: A Case Study. Proc. Symp. on Spatial Databases, 239–264, Singapore, June 1993.

    Google Scholar 

21. G. Kuper. Aggregation in Constraint Databases. In PPCP'93, First International Workshop on Principles and Practice of Constraint Programming, pages 161–172. MIT Press, 1994.

    Google Scholar 

22. A. Kemper and M. Wallrath. An analysis of geometric modeling in database systems. ACM Computer Surveys, 19(1), 1987.

    Google Scholar 

23. J-L. Lassez. Querying Constraints. In ACM Symposium on Principles of Database Systems, pages 288–298, Nashville, Tennessee, April 1990.

    Google Scholar 

24. R. Laurini and D. Thompson. Fundamentals of Spatial Information Systems. Academic Press, 1992.

    Google Scholar 

25. J. Paredaens. Spatial Databases, The Final Frontier. In International Conference on Database Theory, pages 14–32, Prague, Czech Republic, January 1995. Springer-Verlag, LNCS 893.

    Google Scholar 

26. F. Preparata and M. Shamos. Computational Geometry: An Introduction. Springer-Verlag, 1985.

    Google Scholar 

27. J. Paredaens, J. Van den Bussche, and D. Van Gucht. Towards a Theory of Spatial Database Queries. In ACM Symposium on Principles of Database Systems, pages 279–288, Minneapolis, Minnesota, 1994.

    Google Scholar 

28. X. Qian and T.F. Lunt. Semantic Interoperation: A Query Mediation Approach. Technical Report SRI-CSL-94-02, Computer Science Laboratory, SRI International, April 1994.

    Google Scholar 

29. P. Z. Revesz. Datalog Queries of Set Constraint Databases. In International Conference on Database Theory, Prague, Czech Republic, January 1995. Springer-Verlag.

    Google Scholar 

30. R. Ramakrishnan and D. Srivastava. Pushing Constraint Selections. Journal of Logic Programming, 16(3&4):361–414, 1993.

    Google Scholar 

31. A. Rosenthal and L.J. Seligman. Data Integration in the Large: The Challenge of Reuse. In International Conference on Very Large Data Bases, pages 669–675, 1994.

    Google Scholar 

32. H.J. Sheck, and A. Wolf. From Extensible Databases to Interoperability between Multiple Databases and GIS Applications. Proc. Symp. on Spatial Databases, 207–238, Singapore, June 1993.

    Google Scholar 

33. R. Snodgrass. The Temporal Query Language TQuel. ACM Transactions on Database Systems, 12(2):247–298, June 1987.

    Google Scholar 

34. R.T. Snodgrass, editor. The TSQL2 Temporal Query Language. Kluwer Academic Publishers, 1995.

    Google Scholar 

35. D. Srivastava. Subsumption and Indexing in Constraint Query Languages with Linear Arithmetic Constraints. Annals of Mathematics and Artificial Intelligence, 1993.

    Google Scholar 

36. A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass, editors. Temporal Databases: Theory, Design, and Implementation. Ben-jamin/Cummings, 1993.

    Google Scholar 

37. D. Toman, J. Chomicki, and D.S. Rogers. Datalog with Integer Periodicity Constraints. In International Logic Programming Symposium, pages 189–203, Ithaca, New York, November 1994. MIT Press.

    Google Scholar 

38. D. Toman. Top-Down Beats Bottom-Up for Constraint Based Extensions of Datalog. In International Logic Programming Symposium, Portland, Oregon, December 1995. MIT Press.

    Google Scholar 

39. L. Vandeurzen, M. Gyssens, and D. Van Gucht. On the Desirability and Limitations of Linear Spatial Database Models. In International Symposium on Large Spatial Databases, pages 14–28, 1995.

    Google Scholar 

40. X.S. Wang, S. Jajodia, and V.S. Subrahmanian. Temporal Modules: An Approach Toward Federated Temporal Databases. In ACM SIGMOD International Conference on Management of Data, pages 227–236, 1993.

    Google Scholar 

41. M.F. Worboys. A Unified Model for Spatial and Temporal Information. Computer Journal, 37(1):26–34, 1994.

    Google Scholar 

42. M.F. Worboys. GIS: A Computing Perspective. Taylor&Francis, 1995.

    Google Scholar 

Download references