Towards a theory of movie database queries

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn 2000-January, Issue , 2000, Pages 95-102

  Kuijpers, Bart ^a   Paredaens, Jan ^b   Van Gucht, Dirk ^c  

^a HASSELT UNIVERSITY   (Belgium)

^b UNIVERSITY OF ANTWERP   (Belgium)

^c INDIANA UNIVERSITY   (United States)

Author keywords

Computer science; Data models; Database languages; Layout; Motion pictures; Polynomials; Solid modeling; Spatial databases; Terminology

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL LINGUISTICS; COMPUTER SCIENCE; DATA STRUCTURES; MODELING LANGUAGES; MOTION PICTURES; POLYNOMIALS; QUERY PROCESSING; TERMINOLOGY;

DATABASE LANGUAGE; DATABASE QUERIES; EDITING OPERATIONS; FINITE NUMBER; LAYOUT; SOLID MODEL; SPATIAL DATABASE;

QUERY LANGUAGES;

EID: 19544389221     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2000.856590     Document Type: Conference Paper

References (21)

1. D.S. Arnon. Geometric reasoning with logic and algebra. Artificial Intelligence, 37, pages 37-60, 1988.
2. G. Bell, A. Parisi, and M. Pesce. The Virtual Reality Modeling Language. www.vrml.org/VRLM1.0/vrml10c.html
3. J. B ochnak, M. Coste, and M.-F. Roy. Geómétrie Algébrique Réelle. Springer-Verlag, 1987.
4. J. Canny, D. Grigor'ev, and N.N. Vorobjov jr. Finding Connected Components of a Semialgebraic Set in Subexpo nential Time. Applicable Algebra in Engineering, Communication and Computing, 2, pages 217-238, 1992.
5. G.E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. I n volume 33 of Lecture Notes in Computer Science, pages 134-183. Springer-Verlag, 1975.
6. M. Coste. Ensembles semi-Algébriques. In Geómetrie Algébrique Réelle et Formes Quadratiques, volume 9 59 of Lecture Notes in Mathematics, pages 109-138. Springer-Verlag, 1982.
7. R.H. Cromwell and R.H. Fox. Introduction to Knot Theory, volume 57 of Graduate Texts in Mathematics. Springer-Verlag, 1977.
8. J. Heintz, T. Recio, and M.-F. Roy. Algorithms in Real AlgebraicGeometry and Applicati ons to Computational Geometry. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 6, pages 137-163, 1991.
9. J. Heintz, M.-F. Roy, and P. Solernó. Description of the Connected Components of a Semialgebraic Set in Single Exponential Time. Discrete and Computational Geometry, 6, pages 1-20, 1993..
10. P.C. Kanellakis, G.M. Kuper, and P.Z. Revesz. Constraint query lan guages. Journal of Computer and System Sciences, 51(1), pages 26-52, August 1995.
11. B. Kuijpers,J. Paredaens,J. Van den Bussche. Lossless Representation of Topological Spatial Data In M. Egenhofer and J. Herring, editors, Advances in Spatial Databases, 4th International Symposium, SSD'95 volume 951 of Lecture Notes in Computer Science 1-13, Springer-Verlag 1995
12. B. Kuijpers, J. Paredaens, and J. Van den Bussche. On topological elementary equivalence of spatial databases. In F. Afrati and Ph. Kolaitis, editors, 6th International Conference on Database Theory (ICDT '97), volume 1186 of Lecture Notes in Computer Science, pages 432-446, Springer-Verlag, 1997.
13. G. Kuper, L. Libkin, and J. Paredaens. Constraint databases. Springer-Verlag, 2000.
14. E.E. Moise. Geometric Topology in Dimensions 2 and 3, volume 47 of Graduate Texts in Mathematics. Springer-Verlag, 1977.
15. A. Nabutovsky. Personal communication. June 1997.
16. 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.
17. J. Renegar. On the computational complexity and geometry of the first-order theory of the reals. Journal of Symbolic Computation, 13, pages 255-352, 1989.
18. M.-F. Roy. Personal c ommunication. May 1997.
19. J. Stillwell. Classical Topology and Combinatorial Group Theory, volume 72 of Graduate Texts in Mathematics. Springer-Verlag, 1980.
20. A. Tarski. A Dec ision Method for Elementary Algebra and Geometry. University of California Press, 1951.
21. 3D Studio MAX. http://www.max3d.com/