The DEDALE system for complex spatial queries
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
The CCUBE constraint object-oriented database system
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Approximating Data in Constraint Databases
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
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
Spatiotemporal reasoning about epidemiological data
Artificial Intelligence in Medicine
Querying continuous functions in a database system
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Reclassification of Linearly Classified Data Using Constraint Databases
ADBIS '08 Proceedings of the 12th East European conference on Advances in Databases and Information Systems
Developing a labelled object-relational constraint database architecture for the projection operator
Data & Knowledge Engineering
Temporal Data Classification Using Linear Classifiers
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
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
Classification integration and reclassification using constraint databases
Artificial Intelligence in Medicine
Temporal data classification using linear classifiers
Information Systems
Querying a polynomial object-relational constraint database in model-based diagnosis
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Verifying the incorrectness of programs and automata
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Hi-index | 0.00 |
MLPQ/GIS [4,6] is a constraint database [5] system like CCUBE [1] and DEDALE [3] but with a special emphases on spatio-temporal data. Features include data entry tools (first four icons in Fig. 1), icon-based queries such as @@@@ Intersection, @@@@ Union, @@@@ Area, @@@@ Buffer, @@@@ Max and @@@@ Min, which optimize linear objective functions, and @@@@ for Datalog queries. For example, in Fig. 1 we loaded and displayed a constraint database that represents the midwest United States and loaded two contraint relations describing the movements of two persons. The query icon opened a dialog box into which we entered the query which finds (t, i) pairs such that the two people are in the same state i at the same time t.MLPQ/GIS can animate [2] spatio-temporal objects that are linear constraint relations over and t.Users can also display in discrete color zones (isometric maps) any spatially distributed variable z that is a linear function and For example, Fig. 2 shows the mean annual air temperature Nebraska. Animation and isometric map display can be combined.