A retrospective on constraint databases

Authors:
Peter Revesz
Affiliations:
University of Nebraska-Lincoln, Lincoln, Nebraska
Venue:
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
Year:
2003

Citing 27
Cited 0

Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Hilbert's tenth problem

Hilbert's tenth problem
A theory of timed automata

Theoretical Computer Science
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Constraint query languages

Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Spatial query optimization: from Boolean constraints to range queries

Journal of Computer and System Sciences
Negative Boolean constraints

Theoretical Computer Science
The DEDALE system for complex spatial queries

SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Spatio-temporal data handling with constraints

Proceedings of the 6th ACM international symposium on Advances in geographic information systems
Constraint query languages (preliminary report)

PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On indexing mobile objects

PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
DOMINO: databases fOr MovINg Objects tracking

SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Model checking

Model checking
Indexing the positions of continuously moving objects

SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
A foundation for representing and querying moving objects

ACM Transactions on Database Systems (TODS)
A framework for data mining and KDD

Proceedings of the 2002 ACM symposium on Applied computing
Introduction to constraint databases

Introduction to constraint databases
Symbolic Model Checking

Symbolic Model Checking
Efficient Querying and Animation of Periodic Spatio-Temporal Databases

Annals of Mathematics and Artificial Intelligence
Refining Restriction Enzyme Genome Maps

Constraints
Constraint-based Interoperability of Spatiotemporal Databases*

Geoinformatica
DATALOG with Constraints: A Foundation for Trust Management Languages

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
The 3W Model and Algebra for Unified Data Mining

VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Symbolic Verification with Gap-Order Constraints

LOPSTR '96 Proceedings of the 6th International Workshop on Logic Programming Synthesis and Transformation
Fast Optimal Instruction Scheduling for Single-Issue Processors with Arbitrary Latencies

CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A Geometric Framework for Specifying Spatiotemporal Objects

TIME '99 Proceedings of the Sixth International Workshop on Temporal Representation and Reasoning
MLPQ: a linear constraint database system with aggregate operators

IDEAS '97 Proceedings of the 1997 International Symposium on Database Engineering & Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we give a review of constraint databases, a field that was started by Paris Kanellakis, Gabriel Kuper and the author. The review includes basic concepts of data representation, constraint query languages, and query evaluation. We also illustrate applications of constraint databases in the areas of model checking, data mining, trust management, Diophantine polynomial equations, and moving objects.