ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Complete geometrical query languages (extended abstract)
Full text PdfPdf (1.17 MB)
Source Symposium on Principles of Database Systems archive
Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems table of contents
Tucson, Arizona, United States
Pages: 62 - 67  
Year of Publication: 1997
ISBN:0-89791-910-6
Authors
Marc Gyssens  University of Limburg, LUC, Department WNI, Universitaire Campus, B-3590 Diepenbeek, Belgium
Jan Van den Bussche  University of Limburg, LUC, Department WNI, Universitaire Campus, B-3590 Diepenbeek, Belgium
Dirk Van Gucht  Indiana University, Computer Science Department, Bloomington, IN
Sponsor
SIGMOD: ACM Special Interest Group on Management of Data
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 1,   Downloads (12 Months): 15,   Citation Count: 1
Additional Information:

references   cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/263661.263669
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
Serge Abiteboul , Victor Vianu, Procedural languages for database queries and updates, Journal of Computer and System Sciences, v.41 n.2, p.181-229, Oct. 1990  [doi>10.1016/0022-0000(90)90036-K]
 
2
A. Chandra and D. Hard. Computable queries for relational data bases. Journal of Computer and System Sciences, 21(2):156-178, 1980.
 
3
H.B. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972.
 
4
Paris C. Kanellakis , Gabriel M. Kuper , Peter Z. Revesz, Constraint query languages, Journal of Computer and System Sciences, v.51 n.1, p.26-52, Aug. 1995
 
5
B. Kuijpers, J. Paredaens, and D. Suciu. Unpublished results. University of Antwerp, 1995.
6
C. H. Papadimitriou , D. Suciu , V. Vianu, Topological queries in spatial databases, Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.81-92, June 04-06, 1996, Montreal, Quebec, Canada  [doi>10.1145/237661.237683]
7
Jan Paredaens , Jan Van den Bussche , Dirk Van Gucht, Towards a theory of spatial database queries (extended abstract), Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.279-288, May 24-27, 1994, Minneapolis, Minnesota, United States  [doi>10.1145/182591.182640]
 
8
W. Schwabhiiuser, W. Szmielew, and A. Tarski. Metamathematische Methoden in der Geometric. Springer- Verlag, 1983.
 
9
A. Tarsld. A Decision Method for Elementary Algebra and Geometry. University of California Press, 1951.
 
10
A. Tarski. What is elementary geometry? In J. Hintikka, editor, The Philosophy of Mathematics, pages 164-175. Oxford University Press, 1969.
 
11
L. Van Den Dries. Alfred Taxski's elimination theory for real dosed fields. Journal of Symbolic Logic, 53:7- 19, 1988.

CITED BY
Serafino Cicerone , Daniele Frigioni , Paolino Di Felice, A general strategy for decomposing topological invariants of spatial databases and an application, Data & Knowledge Engineering, v.42 n.1, p.57-87, July 2002

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.3 Languages
          Subjects: Query languages

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
          Subjects: Data models


General Terms:
Languages, Measurement, Performance, Verification

Collaborative Colleagues:
Marc Gyssens: colleagues
Jan Van den Bussche: colleagues
Dirk Van Gucht: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player