On the containment and equivalence of database queries with linear constraints (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Querying spatial databases via topological invariants
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The DEDALE system for complex spatial queries
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Exact and approximate aggregation in constraint query languages
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Journal of the ACM (JACM)
Fixed-point query languages for linear constraint databases
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Linear approximation of planar spatial databases using transitive-closure logic
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Uniform generation in spatial constraint databases and applications (Extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Relational queries over interpreted structures
Journal of the ACM (JACM)
On first-order topological queries
ACM Transactions on Computational Logic (TOCL)
A general strategy for decomposing topological invariants of spatial databases and an application
Data & Knowledge Engineering
On Capturing First-Order Topological Properties of Planar Spatial Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Query Languages for Real Number Databases Based on Descriptive Complexity over R
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Quantifier Rank for Parity of Embedded Finite Models
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Descriptive Complexity Theory for Constraint Databases
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Quantifier rank for parity of embedded finite models
Theoretical Computer Science - Mathematical foundations of computer science
On First-Order Topological Queries
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
A characterization of first-order topological properties of planar spatial data
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A characterization of first-order topological properties of planar spatial data
Journal of the ACM (JACM)
Uniform generation in spatial constraint databases and applications
Journal of Computer and System Sciences
First-order complete and computationally complete query languages for spatio-temporal databases
ACM Transactions on Computational Logic (TOCL)
The finite model theory toolbox of a database theoretician
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Hi-index | 0.00 |