Efficient Querying and Animation of Periodic Spatio-Temporal Databases
Annals of Mathematics and Artificial Intelligence
Parametric Rectangles: A Model for Querying and Animation of Spatiotemporal Databases
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
A Comparison of Spatio-temporal Interpolation Methods
GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
Efficient Querying of Periodic Spatiotemporal Objects
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
In Memoriam: Paris C. Kanellakis
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
A retrospective on constraint databases
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Extending the constraint database framework
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Classes of Spatio-Temporal Objects and their Closure Properties
Annals of Mathematics and Artificial Intelligence
Issues in mechanical engineering design management
ACM SIGMOD Record
Time-dependent affine triangulation of spatio-temporal data
Proceedings of the 12th annual ACM international workshop on Geographic information systems
Checking for k-anonymity violation by views
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Theoretical Computer Science - Database theory
Representation and querying of interpolation data in constraint databases
dg.o '02 Proceedings of the 2002 annual national conference on Digital government research
The relationship among GIS-oriented spatiotemporal databases
dg.o '03 Proceedings of the 2003 annual national conference on Digital government research
DOAS: a drought online analysis system with constraint databases
dg.o '04 Proceedings of the 2004 annual national conference on Digital government research
Voronoi region-based spatiotemporal GIS databases
dg.o '04 Proceedings of the 2004 annual national conference on Digital government research
Voting prediction using new spatiotemporal interpolation methods
dg.o '06 Proceedings of the 2006 international conference on Digital government research
MIC'06 Proceedings of the 25th IASTED international conference on Modeling, indentification, and control
LTL Over integer periodicity constraints
Theoretical Computer Science
Spatiotemporal reasoning about epidemiological data
Artificial Intelligence in Medicine
On the freeze quantifier in Constraint LTL: Decidability and complexity
Information and Computation
An automata-theoretic approach to constraint LTL
Information and Computation
First-order complete and computationally complete query languages for spatio-temporal databases
ACM Transactions on Computational Logic (TOCL)
Efficient Handling of Relational Database Combinatorial Queries Using CSPs
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Reclassification of Linearly Classified Data Using Constraint Databases
ADBIS '08 Proceedings of the 12th East European conference on Advances in Databases and Information Systems
Verification of qualitative Z constraints
Theoretical Computer Science
Generating example data for dataflow programs
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Efficient MaxCount and threshold operators of moving objects
Geoinformatica
Temporal Data Classification Using Linear Classifiers
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A comparison of abstract data type and constraint database approaches to GIS query languages
Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
Semantic model design for veins' loop by the logic formalism of artificial intelligence
ASM '07 The 16th IASTED International Conference on Applied Simulation and Modelling
Automated Analysis of Data-Dependent Programs with Dynamic Memory
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Robust affine-invariant similarity measures for patterned triangles
CGIM '08 Proceedings of the Tenth IASTED International Conference on Computer Graphics and Imaging
The constraint database approach to software verification
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
CDB-PV: a constraint database-based program verifier
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Accomplishing approximate FCFS fairness without queues
HiPC'07 Proceedings of the 14th international conference on High performance computing
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Classification integration and reclassification using constraint databases
Artificial Intelligence in Medicine
Trajectory databases: Data models, uncertainty and complete query languages
Journal of Computer and System Sciences
SecPAL: Design and semantics of a decentralized authorization language
Journal of Computer Security - Digital Identity Management (DIM 2007)
Verifying the incorrectness of programs and automata
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
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
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Computational complexity of linear constraints over the integers
Artificial Intelligence
Hi-index | 0.00 |
Introduction to Constraint Databases comprehensively covers both constraint-database theory and several sample systems. The book reveals how constraint databases bring together techniques from a variety of fields, such as logic and model thoery, algebraic and computational geometry, and symbolic computation, to the design and analysis of data models and query languages. Constraint databases are shown to be powerful and simple tools for data modeling and querying in application areas---such as environmental modeling, bioinformatics, and computer vision---that are not suitable for relational databases. Specific applications are examined in geographic information systems, spatiotemporal data management, linear programming, genome databases, model checking of automata, and other areas.