Model-theoretic minimal change operators for constraint databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1186, Issue , 1997, Pages 447-460

  Revesz, Peter Z ^a  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY;

CHANGE OPERATORS; CONSTRAINT DATABASES; FIRST ORDER SENTENCES; GUIDING PRINCIPLES; MODEL-THEORETIC; POLYNOMIAL INEQUALITIES;

DATABASE SYSTEMS;

EID: 84948959606     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62222-5_63     Document Type: Conference Paper

References (18)

1. [AGM85] C. E. Alchourróxi, P. Gärdenfors & D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, (50), pages 510-530, 1985.
2. [BKMS92] C. Baral, S. Kraus, J. Minker & V.S. Subrahínanian. Combining knowledge bases consisting of first-order theories. Computational Intelligence, vol. 8, no. 1, pages 45-71, 1992.
3. [BNR95] A. Benczur, A.B. Novak, & P.Z. Revesz. On Weighted Knowledgebase Transformations. Proc. Fourth Symposium on Programming Languages and Software Tools, pp. 404-415, Visegrad, Hungary, June 1995.
4. [TSIMMIS] S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J. Ullman, & J. Widom. The TSIMMIS Project: Integration of Heterogeneous Information Sources, Proc. IPSJ Conf., Tokyo, Japan, Oct 1994.
5. [ChK95] J. Chomicki & G. Kuper. Measuring Infinite Relations. Fourteenth ACM Symposium on Principles of Database Systems, pages 246-260, 1995.
6. [Dou92] E.R. Dougherty. An Introduction to Morphological Image Processing. SPIE Press, 1992.
7. [FKUV86] R. Fagin, G. Kuper, J. D. Ullman & M. Y. Vardi. Updating logical databases. In: Advances in Computing Research, Vol. 3, P. C. Kanellakis and F. Preparata eds., pages 1-18, JAI Press, 1986.
8. [FK94] C. Faloutsos & I. Kamel. Beyond Uniformity and Independence: Analysis of R-tree Using the Concept of Fractal Dimension. Proc. 13th ACM Symposium on Principles of Database Systems, pages 4-13, 1994.
9. [GMR92] G. Grałine, A. O. Mendelzon, & P. Z. Revesz. Knowledgebase transformations. Journal of Computer and System Sciences, to appear. (Preliminary version in Proc. 11th ACM PODS, 1992.)
10. [Jag91] H. V. Jagadish. A retrieval technique for similar shapes. ACM SIGMOD Symposium on the Management of Data, pages 208-217, 1991.
11. [KKR95] P. C. Kanellakis, G. M. Kuper, & P. Z. Revesz. Constraint Query Languages, Journal of Computer and System Sciences, vol. 51, pages 26-52, 1995. (Preliminary version in Proc. 9th ACM PODS, 1990.)
12. [ICM91] H. Katsuno & A. O. Mendelzon. Prepositional knowledge base revision and minimal change. Artificial Intelligence, 52, pages 263-294, 1991.
13. [KM92] H. Katsuno & A. O. Mendelzon. On the difference between updating a knowledge base and revising it. In: Belief Revision, Gärdenfors, ed., pages 183-203, Cambridge University Press, 1992.
14. [Kup93] G. Kuper. Aggregation in constraint databases. First Workshop on Principles and Practice of Constraint Programming, p. 176-183, 1993.
15. [LS95] P. Liberatore & M. Schaerf. Arbitration: A commutative operator for belief revision. World Conference on the Fundamentals of Artificial Intelligence, 1995.
16. [Rev96] P. Z. Revesz. On the semantics of arbitration. International Journal of Algebra and Computation, to appear. (Preliminary version in Proc. 12th ACM PODS, 1993.)
17. [Sub94] V.S. Subrahmanian. Amalgamating Knowledge bases. ACM Transactions on Database Systems, Vol 19, no. 2, p. 291-331, 1994.
18. [Wie92] G. Wiederhold. Mediators in the Architecture of Future Information Systems. IEEE Computers, Vol. 25, p. 38-49, 1992.