Constraint databases: A tutorial introduction

SIGMOD Record (ACM Special Interest Group on Management of Data)

Volumn 29, Issue 3, 2000, Pages 44-51

  Van Den Bussche, Jan ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0040522241     PISSN: 01635808     EISSN: None     Source Type: Journal    
DOI: 10.1145/362084.362136     Document Type: Article

References (27)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. S. Basu. Algorithms in Semi-Algebraic Geometry. PhD thesis, New York University, 1996.
3. M. Baudinet, J. Chomicki, and P. Wolper. Constraint-generating dependencies. Journal of Computer and System Sciences, 59(1):94-115, 1999.
4. R. Benedetti and J.-J. Risler. Real Algebraic and Semi-Algebraic Sets. Hermann, 1990.
5. M. Benedikt, M. Grohe, L. Libkin, and L. Segoufin. Reachability and connectivity queries in constraint databases. In Proceedings 19th ACM Symposium on Principles of Database Systems, 2000, pages 104-115.
6. M. Benedikt and L. Libkin. Relational queries over interpreted structures. Journal of the ACM, 47, 2000.
7. M. Benedikt and L. Libkin. Safe constraint queries. SIAM Journal on Computing, 29:1652-1682, 2000.
8. F. Benhamon and A. Colmerauer, editors. Constraint Logic Programming: Selected Research. MIT Press, 1993.
9. A. Blumensath and E. Grädel. Automatic structures. In Proceedings 15th IEEE Symposium on Logic in Computer Science, 2000.
10. J. Bochnak, M. Coste, and M.-F. Roy. Real Algebraic Geometry. Springer-Verlag, 1998.
11. C.C. Chang and H.J. Keisler. Model Theory. North Holland, 3rd edition, 1990.
12. E. Dantsin and A. Voronkov. Expressive power and data complexity of query languages for trees and lists. In Proceedings 19th ACM Symposium on Principles of Database Systems, 2000, pages 157-165.
13. F. Geerts and B. Kuijpers. Linear approximation of planar spatial databases using transitive-closure logic. In Proceedings 19th ACM Symposium on Principles of Database Systems, 2000, pages 126-135.
14. M. Grohe and L. Segoufin. On first-order topological queries. In Proceedings 15th IEEE Symposium on Logic in Computer Science, 2000.
15. S. Grumbach and J. Su. Queries with arithmetical constraints. Theoretical Computer Science, 173(1):151-181, 1997.
16. W. Hodges. Model Theory. Cambridge University Press, 1993.
17. O.H. Ibarra and J. Su. On the containment and equivalence of database queries with linear constraints. In Proceedings 16th ACM Symposium on Principles of Database Systems, pages 32-43, 1997.
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.
19. S. Kreutzer. Fixed-point query languages for linear constraint databases. In 19th ACM Symposium on Principles of Database Systems, 2000, pages 116-125.
20. G. Kuper, L. Libkin, and J. Paredaens, editors. Constraint Databases. Springer, 2000.
21. M. Otto and J. Van den Bussche. First-order queries on databases embedded in an infinite structure. Information Processing Letters, 60:37-41, 1996.
22. J. Paredaens, J. Van den Bussche, and D. Van Gucht. Towards a theory of spatial database queries. In Proceedings 13th ACM Symposium on Principles of Database Systems, pages 279-288. ACM Press, 1994.
23. D. Thompson, R. Laurini. Fundamentals of Spatial Information Systems. Number 37 in APIC Series. Academic Press, 1992.
24. J. Ullman. Principles of Database and Knowledge-Base Systems, volume I. Computer Science Press, 1988.
25. J. Ullman. Principles of Database and Knowledge-Base Systems, volume II. Computer Science Press, 1989.
26. L. van den Dries. Tame Topology and O-Minimal Structures. Cambridge University Press, 1998.
27. Michael F. Worboys. GIS: A Computing Perspective. Taylor & Francis, 1995.