Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
A theory of diagnosis from first principles
Artificial Intelligence
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
Constraint logic programming languages
Communications of the ACM
Partial Cylindrical Algebraic Decomposition for quantifier elimination
Journal of Symbolic Computation
Dual viewpoint heuristics for binary constraint satisfaction problems
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Characterizing diagnoses and systems
Artificial Intelligence
Experimental evaluation of preprocessing algorithms for constraint satisfaction problems
Artificial Intelligence
The DEDALE system for complex spatial queries
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Safe query languages for constraint databases
ACM Transactions on Database Systems (TODS)
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The CCUBE constraint object-oriented database system
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
The MLPQ/GIS constraint database system
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Improved projection for cylindrical algebraic decomposition
Journal of Symbolic Computation
Interval arithmetic in cylindrical algebraic decomposition
Journal of Symbolic Computation
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Datalog Queries of Set Constraint Databases
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht
Using Constraint Solvers in CAD/CAM Systems
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
DISCO: A Constraint Database System with Sets
Proceedings of the ESPRIT WG CONTESSA Workshop on Constraint Databases and Applications
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
Box Consistency through Weak Box Consistency
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
MLPQ: a linear constraint database system with aggregate operators
IDEAS '97 Proceedings of the 1997 International Symposium on Database Engineering & Applications
Constraint Processing
Constraint Database Query Evaluation with Approximation
ITCC '01 Proceedings of the International Conference on Information Technology: Coding and Computing
Algorithms in semi-algebraic geometry
Algorithms in semi-algebraic geometry
Variable Independence in Constraint Databases
IEEE Transactions on Knowledge and Data Engineering
Theoretical Computer Science - Database theory
Coupling CSP decomposition methods and diagnosis algorithms for tree-structured systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
On the realizable weaving patterns of polynomial curves in R3
GD'04 Proceedings of the 12th international conference on Graph Drawing
Classification integration and reclassification using constraint databases
Artificial Intelligence in Medicine
Hi-index | 0.00 |
Current relational databases have been developed in order to improve the handling of stored data, however, there are some types of information that have to be analysed for which no suitable tools are available. These new types of data can be represented and treated as constraints, allowing a set of data to be represented through equations, inequations and Boolean combinations of both. To this end, constraint databases were defined and some prototypes were developed. Since there are aspects that can be improved, we propose a new architecture called labelled object-relational constraint database (LORCDB). This provides more expressiveness, since the database is adapted in order to support more types of data, instead of the data having to be adapted to the database. In this paper, the projection operator of SQL is extended so that it works with linear and polynomial constraints and variables of constraints. In order to optimize query evaluation efficiency, some strategies and algorithms have been used to obtain an efficient query plan. Most work on constraint databases uses spatiotemporal data as case studies. However, this paper proposes model-based diagnosis since it is a highly potential research area, and model-based diagnosis permits more complicated queries than spatiotemporal examples. Our architecture permits the queries over constraints to be defined over different sets of variables by using symbolic substitution and elimination of variables.