Relational queries computable in polynomial time
Information and Control
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
The SEQUOIA 2000 storage benchmark
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Towards a theory of spatial database queries (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Infinitary logic and inductive definability over finite structures
Information and Computation
Computing with first-order logic
Selected papers of the 23rd annual ACM symposium on Theory of computing
On a monadic NP vs monadic co-NP
Information and Computation
Relational expressive power of constraint query languages
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Topological queries in spatial databases
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Queries with arithmetical constraints
Theoretical Computer Science - Special issue: principles and practice of constraint programming
Finitely representable databases
Journal of Computer and System Sciences - Special issue on principles of database systems
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Spatial Databases, The Final Frontier
ICDT '95 Proceedings of the 5th International Conference on Database Theory
On Topological Elementary Equivalence of Spatial Databases
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Lossless Representation of Topological Spatial Data
SSD '95 Proceedings of the 4th International Symposium on Advances in Spatial Databases
Inductive Definability with Counting on Finite Structures
CSL '92 Selected Papers from the Workshop on Computer Science Logic
Linear Constraint Query Languages: Expressive Power and Complexity
LCC '94 Selected Papers from the International Workshop on Logical and Computational Complexity
First-Order Queries on Finite Structures Over the Reals
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Large finite structures with few L^k-types
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Exact and approximate aggregation in constraint query languages
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reachability and connectivity queries in constraint databases
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A general strategy for decomposing topological invariants of spatial databases and an application
Data & Knowledge Engineering
When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Orderings
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
SSD '99 Proceedings of the 6th International Symposium on Advances in Spatial Databases
A Representation Independent Language for Planar Spatial Databases with Euclidean Distance
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
On First-Order Topological Queries
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Multiple zooming in geographic maps
Data & Knowledge Engineering
Hi-index | 0.00 |