Skip to main content

Constraint-based interoperability of spatiotemporal databases

  • Spaital Constraint Databases
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1262))

Abstract

We propose constraint databases as an intermediate level facilitating the interoperability of spatiotemporal data models. Constraint query languages are used to express translations between different data models. We illustrate our approach in the context of a number of temporal, spatial and spatiotemporal data models.

The work of the first author was supported by NSF grant IRI-9632870. The work of the second author was supported by NSF grants IRI-9632871 and IRI-9625055, and by a Gallup Research Professorship.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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

Author information

Authors and Affiliations

Authors

Editor information

Michel Scholl Agnès Voisard

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chomicki, J., Revesz, P.Z. (1997). Constraint-based interoperability of spatiotemporal databases. In: Scholl, M., Voisard, A. (eds) Advances in Spatial Databases. SSD 1997. Lecture Notes in Computer Science, vol 1262. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63238-7_28

Download citation

  • DOI: https://doi.org/10.1007/3-540-63238-7_28

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63238-2

  • Online ISBN: 978-3-540-69240-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics