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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Kuper, G.M., Kanellakis, P.C., Revesz, P.Z.: Constraint query languages. In: Symposium on Principles of Database Systems, pp. 299–313 (1990)
Revesz, P.: Datalog and constraints. In: Kuper, G., et al. (eds.) Constraint Databases, pp. 155–170. Springer, Heidelberg (2000)
Revesz, P.Z., Chen, R., Kanjamala, P., Li, Y., Liu, Y., Wang, Y.: The mlpq/gis constraint database system. In: Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, Dallas, Texas, USA, May 16-18, p. 601. ACM, New York (2000)
Grumbach, S., Rigaux, P., Segoufin, L.: The dedale system for complex spatial queries. In: SIGMOD Conference, pp. 213–224 (1998)
Brodsky, A., Segal, V.E., Chen, J., Exarkhopoulo, P.A.: The ccube constraint object-oriented database system. In: SIGMOD 1999: Proceedings of the 1999 ACM SIGMOD international conference on Management of data, pp. 577–579. ACM Press, New York (1999)
Davis, R.: Diagnostic reasoning based on structure and behavior. Artificial Intelligence 24, 347–410 (1984)
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–96 (1987)
Gómez-López, M.T., Ceballos, R., Gasca, R.M., Del Valle, C.: Applying constraint databases in the determination of potential minimal conflicts to polynomial model-based diagnosis. In: Kuijpers, B., Revesz, P.Z. (eds.) CDB 2004. LNCS, vol. 3074, pp. 74–87. Springer, Heidelberg (2004)
Buchberger, B.: Gröbner bases: An algorithmic method in polynomial ideal theory. In: Bose, N.K. (ed.) Multidimensional Systems Theory, pp. 184–232 (1985)
Croker, A., Dhar, V.: A knowledge representation for constraint satisfaction problems. IEEE Trans. Knowl. Data Eng. 5(5), 740–752 (1993)
Reference Manual. Ilog opl studio 3.6 (April 2001)
Reference Manual. Jsolver 2.1 (April 2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gómez-López, M.T., Gasca, R.M., Del Valle, C., de la Rosa, F.T. (2005). Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis. In: Andersen, K.V., Debenham, J., Wagner, R. (eds) Database and Expert Systems Applications. DEXA 2005. Lecture Notes in Computer Science, vol 3588. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11546924_83
Download citation
DOI: https://doi.org/10.1007/11546924_83
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28566-3
Online ISBN: 978-3-540-31729-6
eBook Packages: Computer ScienceComputer Science (R0)