Equivalences among aggregate queries with negation
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conjunctive Aggregation of Extended Possibilistic Truth Values and Flexible Database Querying
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Operational Semantics for Fixed-Point Logics on Constraint Databases
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Quantifier Rank for Parity of Embedded Finite Models
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Electronic Homework on the WWW
WI '01 Proceedings of the First Asia-Pacific Conference on Web Intelligence: Research and Development
Constraint Search for Comparing Multiple-Incentive Merchandises
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
An Ehrenfeucht-Fraïssé Approach to Collapse Results for First-Order Queries over Embedded Databases
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
A Comparison of Spatio-temporal Interpolation Methods
GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
Moving Objects: Logical Relationships and Queries
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
Definability over Linear Constraints
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls
ICDT '01 Proceedings of the 8th International Conference on Database Theory
A collapse result for constraint queries over structures of small degree
Information Processing Letters
WISE '00 Proceedings of the First International Conference on Web Information Systems Engineering (WISE'00)-Volume 2 - Volume 2
Variable independence for first-order definable constraints
ACM Transactions on Computational Logic (TOCL)
Preference formulas in relational queries
ACM Transactions on Database Systems (TODS)
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
Equivalences among aggregate queries with negation
ACM Transactions on Computational Logic (TOCL)
First-order expressibility of languages with neutral letters or: The Crane Beach conjecture
Journal of Computer and System Sciences
Constraint logic programming over sets of spatial objects
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
An Ehrenfeucht-Fraïssé game approach to collapse results in database theory
Information and Computation
Semantic optimization techniques for preference queries
Information Systems
Adaptive location constraint processing
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Database querying under changing preferences
Annals of Mathematics and Artificial Intelligence
ACM SIGACT News
QUESTO: A Query Language for Uncertain and Exact Spatio-temporal Objects
ADBIS '08 Proceedings of the 12th East European conference on Advances in Databases and Information Systems
Reclassification of Linearly Classified Data Using Constraint Databases
ADBIS '08 Proceedings of the 12th East European conference on Advances in Databases and Information Systems
The finite model theory toolbox of a database theoretician
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Temporal Data Classification Using Linear Classifiers
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Database theory: query languages
Algorithms and theory of computation handbook
Fields of logic and computation
Complexity and approximation of fixing numerical attributes in databases under integrity constraints
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Verifying the incorrectness of programs and automata
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
A local fusion method of temporal information
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Iterative modification and incremental evaluation of preference queries
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
The expressivity of constraint query languages with boolean algebra linear cardinality constraints
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Solving constraints on sets of spatial objects
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
Scalable geo-thematic query answering
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Hi-index | 0.00 |
This is the first comprehensive survey of the field of constraint databases, written by leading researchers. Constraint databases are a fairly new and active area of database research. Their ability to deal with infinite sets makes them particularly promising as a technology for integrating spatial and temporal data with standard relational databases. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and computational geometry, as well as symbolic computation, to the design and analysis of data models and query languages.