Querying a polynomial object-relational constraint database in model-based diagnosis

Authors:
M. T. Gómez-López;R. M. Gasca;C. Del Valle;F. T. de la Rosa
Affiliations:
Departamento de Lenguajes y Sistemas Informáticos, Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, Spain;Departamento de Lenguajes y Sistemas Informáticos, Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, Spain;Departamento de Lenguajes y Sistemas Informáticos, Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, Spain;Departamento de Lenguajes y Sistemas Informáticos, Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, Spain
Venue:
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Year:
2005

Citing 7
Cited 0

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
The DEDALE system for complex spatial queries

SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
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
A Knowledge Representation for Constraint Satisfaction Problems

IEEE Transactions on Knowledge and Data Engineering

Quantified Score

Hi-index	0.01

Visualization

Abstract

Many papers related to Constraint Databases (CDBs) theories exist, including proposals that present frameworks for the treatment of constraints as a new data type. Our proposal presents a new way of storing and manipulating constraints as a usual data, and of making queries about the constraint variables derived from an Object-Relational Constraint Database (ORCDB). In this work, the constraints stored in an ORCDB are only polynomial equality constraints. The proposal is based on Gröbner bases, constraint consistency and constraint optimisation techniques. Most works in CDB use spatial-temporal data as a case study, however this work presents an emergent engineering domain, that of fault diagnosis.