Article

Free access

Complete geometrical query languages (extended abstract)

Authors:

Marc Gyssens,

Jan Van den Bussche,

Dirk Van GuchtAuthors Info & Claims

PODS '97: Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Pages 62 - 67

https://doi.org/10.1145/263661.263669

Published: 01 May 1997 Publication History

PDF eReader

References

[1]

S. Abiteboul and V. Viaau. Procedural languages for database queries and updates. Journal of Computer and System Sciences, 41(2):181-229, 1990.

Digital Library

Google Scholar

[2]

A. Chandra and D. Hard. Computable queries for relational data bases. Journal of Computer and System Sciences, 21(2):156-178, 1980.

Crossref

Google Scholar

[3]

H.B. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972.

Google Scholar

[4]

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.

Digital Library

Google Scholar

[5]

B. Kuijpers, J. Paredaens, and D. Suciu. Unpublished results. University of Antwerp, 1995.

Google Scholar

[6]

C.H. Papadimitriou, D. Suciu, and V. Vianu. Topological queries in spatial databases. In Proceedings 15th A CM Symposium on Principles of Database Systems, pages 81-92. ACM Press, 1996.

Digital Library

Google Scholar

[7]

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.

Digital Library

Google Scholar

[8]

W. Schwabhiiuser, W. Szmielew, and A. Tarski. Metamathematische Methoden in der Geometric. Springer- Verlag, 1983.

Crossref

Google Scholar

[9]

A. Tarsld. A Decision Method for Elementary Algebra and Geometry. University of California Press, 1951.

Google Scholar

[10]

A. Tarski. What is elementary geometry? In J. Hintikka, editor, The Philosophy of Mathematics, pages 164-175. Oxford University Press, 1969.

Google Scholar

[11]

L. Van Den Dries. Alfred Taxski's elimination theory for real dosed fields. Journal of Symbolic Logic, 53:7- 19, 1988.

Crossref

Google Scholar

Cited By

View all

Kuijpers B(2005)Degrees of monotonicity of spatial transformationsDatabase Programming Languages10.1007/3-540-64823-2_5(60-77)Online publication date: 6-Jul-2005
https://doi.org/10.1007/3-540-64823-2_5
Kuijpers BSmits M(2005)On expressing topological connectivity in spatial DatalogConstraint Databases and Applications10.1007/3-540-62501-1_29(116-133)Online publication date: 3-Jun-2005
https://doi.org/10.1007/3-540-62501-1_29
Geerts FKuijpers B(2001)Expressing topological connectivity of spatial databasesResearch Issues in Structured and Semistructured Database Programming10.1007/3-540-44543-9_14(224-238)Online publication date: 13-Apr-2001
https://doi.org/10.1007/3-540-44543-9_14
Show More Cited By

Index Terms

Complete geometrical query languages (extended abstract)
1. Information systems
  1. Data management systems
    1. Database design and models
    2. Query languages

Recommendations

On the expressive power of query languages

Two main topics are addressed. First, an algebraic approach is presented to define a general notion of expressive power. Heterogeneous algebras represent information systems and morphisms represent the correspondences between the instances of databases, ...
Abstract state machines and computationally complete query languages

Abstract state machines (ASMs) form a relatively new computation model holding the promise that they can simulate any computational system in lockstep. In particular, an instance of the ASM model has recently been introduced for computing queries to ...
The Computational Completeness of Extended Database Query Languages

The computational completeness is demonstrated of certain extended database query languages, namely, POSTGRES and GENESIS, and a language defined by A. Aho and J. Ullman (1979). The method used is to implement a Turing machine interpreter in each of the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

PODS '97: Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

May 1997

272 pages

ISBN:0897919106

DOI:10.1145/263661

Chairmen:
Alberto Mendelzon
Univ. of Toronto, Toronto, Ont., Canada
,
Z. Meral Özsoyoglu
Case Western Reserve Univ., Cleveland, OH

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1997

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGMOD/PODS97

Sponsor:

SIGMOD

SIGMOD/PODS97: Joint ACM SIGMOD International Conference on Management of Data and ACM Symposium on Principles of Database Systems

May 11 - 15, 1997

Arizona, Tucson, USA

Acceptance Rates

PODS '97 Paper Acceptance Rate 23 of 118 submissions, 19%;

Overall Acceptance Rate 642 of 2,707 submissions, 24%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
298
Total Downloads

Downloads (Last 12 months)39
Downloads (Last 6 weeks)7

Reflects downloads up to 23 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kuijpers B(2005)Degrees of monotonicity of spatial transformationsDatabase Programming Languages10.1007/3-540-64823-2_5(60-77)Online publication date: 6-Jul-2005
https://doi.org/10.1007/3-540-64823-2_5
Kuijpers BSmits M(2005)On expressing topological connectivity in spatial DatalogConstraint Databases and Applications10.1007/3-540-62501-1_29(116-133)Online publication date: 3-Jun-2005
https://doi.org/10.1007/3-540-62501-1_29
Geerts FKuijpers B(2001)Expressing topological connectivity of spatial databasesResearch Issues in Structured and Semistructured Database Programming10.1007/3-540-44543-9_14(224-238)Online publication date: 13-Apr-2001
https://doi.org/10.1007/3-540-44543-9_14
Revesz P(1999)Safe Datalog Queries with Linear ConstraintsPrinciples and Practice of Constraint Programming — CP9810.1007/3-540-49481-2_26(355-369)Online publication date: 11-Jun-1999
https://doi.org/10.1007/3-540-49481-2_26
Meer K(1999)Query Languages for Real Number Databases Based on Descriptive Complexity over RMathematical Foundations of Computer Science 199910.1007/3-540-48340-3_2(12-22)Online publication date: 1999
https://doi.org/10.1007/3-540-48340-3_2

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

On the expressive power of query languages

Abstract state machines and computationally complete query languages

The Computational Completeness of Extended Database Query Languages