메뉴 건너뛰기




Volumn 29, Issue 2, 2000, Pages 119-147

Theorem Proving Techniques for View Deletion in Databases

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0346686944     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1999.0358     Document Type: Article
Times cited : (6)

References (40)
  • 2
    • 0000128393 scopus 로고
    • On the logic of theory change: Partial meet contraction and revision functions
    • Alchourrón C. E., Gärdenfors P., Makinson D. On the logic of theory change: partial meet contraction and revision functions. J. Symb. Logic. 50:1985;510-530.
    • (1985) J. Symb. Logic , vol.50 , pp. 510-530
    • Alchourrón, C.E.1    Gärdenfors, P.2    Makinson, D.3
  • 3
    • 0347067571 scopus 로고    scopus 로고
    • C. Aravindan, 1995
    • C. Aravindan, 1995.
  • 5
    • 0006300631 scopus 로고
    • Knowledge base dynamics, abduction, and database updates
    • Aravindan C., Dung P. M. Knowledge base dynamics, abduction, and database updates. J. Appl. Non-Classical Logics. 5:1995;51-76.
    • (1995) J. Appl. Non-Classical Logics , vol.5 , pp. 51-76
    • Aravindan, C.1    Dung, P.M.2
  • 11
  • 15
    • 84990557471 scopus 로고
    • A spectrum of logical definitions of model-based diagnosis
    • Console L., Torasso P. A spectrum of logical definitions of model-based diagnosis. Comput. Intell. 7:1991;133-141.
    • (1991) Comput. Intell. , vol.7 , pp. 133-141
    • Console, L.1    Torasso, P.2
  • 16
    • 0020183057 scopus 로고
    • On the correct translation of update operations on relational views
    • Dayal U., Bernstein P. A. On the correct translation of update operations on relational views. ACM Trans. Database Syst. 8:1982;381-416.
    • (1982) ACM Trans. Database Syst. , vol.8 , pp. 381-416
    • Dayal, U.1    Bernstein, P.A.2
  • 18
    • 0011745103 scopus 로고    scopus 로고
    • An extension of SLD by abduction and integrity maintenance for view updating in deductive databases
    • M. Michael. MIT Press
    • Decker H. An extension of SLD by abduction and integrity maintenance for view updating in deductive databases. Michael M. Proceedings of the Joint International Conference and Symposium on Logic Programming. 1996;157-169 MIT Press.
    • (1996) Proceedings of the Joint International Conference and Symposium on Logic Programming , pp. 157-169
    • Decker, H.1
  • 22
    • 0003353428 scopus 로고
    • Belief revision: An introduction
    • P. Gärdenfors. Cambridge University Press
    • Gärdenfors P. Belief revision: an introduction. Gärdenfors P. Belief Revision. 1992;1-28 Cambridge University Press.
    • (1992) Belief Revision , pp. 1-28
    • Gärdenfors, P.1
  • 26
    • 0002658844 scopus 로고
    • Maintenance of materialized views: Problems, techniques, and applications
    • Gupta A., Mumick I. S. Maintenance of materialized views: problems, techniques, and applications. IEEE DE Bulletin. 18:1995;3-19.
    • (1995) IEEE de Bulletin , vol.18 , pp. 3-19
    • Gupta, A.1    Mumick, I.S.2
  • 27
    • 0346437321 scopus 로고    scopus 로고
    • S. O. Hansson
    • S. O. Hansson.
  • 28
    • 0000977561 scopus 로고
    • Belief contraction without recovery
    • Hansson S. O. Belief contraction without recovery. Stud. Log. 50:1991b;251-260.
    • (1991) Stud. Log. , vol.50 , pp. 251-260
    • Hansson, S.O.1
  • 29
    • 0347698188 scopus 로고
    • Department of Computing, Imperial College, London, U.K.
    • A. C. Kakas, P. Mancarella, Department of Computing, Imperial College, London, U.K. 1990.
    • (1990)
    • Kakas, A.C.1    Mancarella, P.2
  • 30
    • 0039247125 scopus 로고
    • Algorithms for translating view updates to database updates for views involving selections, projections, and joins
    • ACM. p. 154-163
    • Keller A. M. Algorithms for translating view updates to database updates for views involving selections, projections, and joins. Proceedings of the Fourth ACM Symposium on Principles of Database Systems. 1985;ACM. p. 154-163.
    • (1985) Proceedings of the Fourth ACM Symposium on Principles of Database Systems
    • Keller, A.M.1
  • 31
    • 0025401306 scopus 로고
    • View updates in relational databases with an independent scheme
    • Langerak R. View updates in relational databases with an independent scheme. ACM Trans. Database Syst. 15:1990;40-66.
    • (1990) ACM Trans. Database Syst. , vol.15 , pp. 40-66
    • Langerak, R.1
  • 34
    • 37349044608 scopus 로고
    • Circumscription - A form of non-monotonic reasoning
    • McCarthy J. Circumscription - a form of non-monotonic reasoning. Artif. Intell. 13:1985;27-39.
    • (1985) Artif. Intell. , vol.13 , pp. 27-39
    • McCarthy, J.1
  • 37
    • 84990556284 scopus 로고
    • Explanation and prediction: An architecture for default and abductive reasoning
    • Poole D. Explanation and prediction: an architecture for default and abductive reasoning. Comput. Intell. 5:1989;97-110.
    • (1989) Comput. Intell. , vol.5 , pp. 97-110
    • Poole, D.1
  • 38
    • 0023329093 scopus 로고
    • A theory of diagnosis from first principles
    • Reiter R. A theory of diagnosis from first principles. Artif. Intell. 32:April 1987;57-95.
    • (1987) Artif. Intell. , vol.32 , pp. 57-95
    • Reiter, R.1
  • 39
    • 0001685428 scopus 로고
    • Automated deduction with hyper-resolution
    • Robinson J. A. Automated deduction with hyper-resolution. Int. J. Comput. Math. 1:1965;227-234.
    • (1965) Int. J. Comput. Math. , vol.1 , pp. 227-234
    • Robinson, J.A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.