Handling existential derived predicates in view updating

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

Volumn 2916, Issue , 2003, Pages 148-162

  Farré, Carles ^a   Teniente, Ernest ^a   Urpí, Toni ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

VIEW UPDATE; VIEW UPDATING;

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING;

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 0347526054     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24599-5_11     Document Type: Conference Paper

References (15)

1. F.Bry, R.Manthey. "Checking Consistency of Database Constraints: a Logical Basis", VLDB, 13-20, 1986.
2. L.Console, M.L.Sapino, D.Theseider. The Role of Abduction in Database View Updating. Journal of Intelligent Information Systems), 4(3): 261-280, 1995.
3. H.Decker. An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. JICSLP, 157-169, 1996.
4. C. Farré, E. Teniente, T. Urpí. Query Containment With Negated IDB Predicates. To appear in ADBIS, 2003.
5. A. Kakas, A. Michael. Integrating Abductive and Constraint Logic Programming, Proc. of the 12th ICLP, 399-413, Kanagawa (Japan), 1995.
6. J.W. Lloyd. Foundations of Logic Programming, Springer, 1987.
7. A. Levy, Y. Sagiv. Queries Independent of Updates. In Proceedings of the 19th International Conference on Very Large Data Bases (VLDB'93): 171-181, 1993.
8. J.Lobo, G.Trajcevski. Minimal and Consistent Evolution in Knowledge Bases. Journal of Applied Non-Classical Logics, 7(1-2): 117-146, 1997.
9. J.W. Lloyd, R.W. Topor. Making Prolog more Expressive. Journal of Logic Programming, 1(3): 225-240, 1984.
10. E. Mayol, E. Teniente. A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. ER'99 Workshops: 62-73, LNCS 1727, Springer, 1999.
11. E. Mayol, E. Teniente. A Review of Integrity Constraint Maintenance and View Updating Techniques. To appear in Data & Knowledge Engineering, 2003.
12. A. Olivé. Integrity Checking in Deductive Databases, Proc. of the 17th VLDB Conference, Barcelona, 513-523, 1991.
13. E. Teniente, A. Olivé. Updating Knowledge Bases While Maintaining Their Consistency. VLDB Journal, 4(2): 193-241, 1995.
14. E. Teniente, T. Urpí. On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems. TPLP Journal, 3(3): 287-327, 2003.
15. J. D. Ullman. Information Integration Using Logical Views. In Proceedings of the 6th International Conference on Database Theory (ICDT'97): 19-40, 1997