How to tackle schema validation by view updating

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

Volumn 1057 LNCS, Issue , 1996, Pages 535-549

  Decker, Hendrik ^a,b   Teniente, Ernest ^a   Urpi, Toni ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONCRETE METHOD; DATABASE ENGINEERING; INTEGRITY CONSTRAINTS; REACHABILITY; SATISFIABILITY; SCHEMA VALIDATION; VIEW UPDATING;

FORMAL LOGIC; SPECIFICATIONS;

DATABASE SYSTEMS;

EID: 84897727526     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (24)

1. W.R.Adrion, M.A.Branstad, J.C.Cherniavsky: Validation, Verification and Testing of Computer Software, ACM Computing Surveys, Vol. 14, No. 2, 159-192, 1982.
2. F. Bry, H. Decker, R. Manthey: A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases, in J. Schmidt et al (eds): Proc. 1st EDBT, 488-505, Springer LNCS 303, 1988.
3. F. Bry, R. Manthey: Checking consistency of database constraints: a logical basis. Proc. Int. Conf. on Very Large Data Bases '86, 13-20, Kyoto, 1986.
4. F. Bancilhon, R. Ramakrishnan: An amateur's introduction to recursive query processing strategies, Proc. SIGMOD '86, 16-152, ACM Press, 1986.
5. J.A. Bubenko: Information system methodologies-A research review, in T.W. Olle et al (eds), Information System Design Methodologies: Improving the Practice, 289-235, North-Holland, 1986.
6. J.C. Casamayor, H. Decker, F. Marquis: A mechanism for verification of knowledge base schema specifications, in P. Meseguer (ed), Proc. European Sympos. Validation and Verification of Knowledge-based Systems, 103-115, 1993.
7. D. Costal, A. Olivt: A Method for Reasoning about Deductive Conceptual Models of Information Systems, Proc. Int. Conf. on Advanced Information Systems Engineering (CAiSE'92), 612-631, 1992.
8. H. Decker: The range form of databases and queries, or: How to avoid floundering, in J. Retti, K. Leidlmair (eds), Proc. 5th GA1, 114-123, Springer Informatik-Fachberichte 208, 1989.
9. H. Gallaire, J. Minker, J.M. Nicolas: Logic and databases: A deductive approach, Computing Surveys 16, 153-185, 1984.
10. A. Gupta, Y. Sagiv, J.D. UUman, J. Widom: Constraint checking with partial information, Proc. 13th PODS, 45-55, ACM Press, 1994.
11. K. Inoue, M. Koshimura, R. Hasegawa: Embedding negation as failure into a model generation theorem prover, Proc. 11th CADE, 1992.
12. C.H. Kung: A Temporal Framework for Information Systems Specifications and Verification, PhD Thesis, Univ. of Trondheim, Norway, 1984.
13. A. Levy, I.S. Mumick, Y. Sagiv, O. Shmueli: Equivalence, query-reachability, and satisfiability in Datalog extensions, Proc. 12th PODS, 1993.
14. A. Levy, Y. Sagiv: Semantic Query Optimization in Datalog Programs, Proc. 14th PODS, 163-173, 1995.
15. J.W. Lloyd: Foundations of Logic Programming, Springer, 1987.
16. J. Minker: On indefinite databases and the closed world assumption, Proc: 6th Int'l Conf. Automated Deduction, CADE '82, 292-308, Springer LNCS 138, 1982.
17. Olivé, A.: Integrity Checking in Deductive Databases, Proc.17th VLDB Conference, 513-523, 1991.
18. A.Olivé, M.R. Sancho: A Method for Explaining the Behaviour of Conceptual Models. Proc. lnt. Conf. on Advanced Information Systems Engineering (CAiSE'95), 12-25, 1995.
19. E. Teniente, A. Olivé: The Events Method for View Updating in Deductive Databases, Proc. Int. Conf. on Extending Database Technology (EDBT'92), 245-260, 1992.
20. E. Teniente, A. Olivé: Updating Knowledge Bases while Maintaining their Consistency, The VLDB Journal, Vol. 4, No. 2, 193-241, 1995.
21. E. Teniente, T. Urpi: A Common Framework for Classifying and Specifying Deductive Database Updating Problems, Proc. 11th International Conference on Data Engineering (ICDE'95), 173-183, 1995.
22. J.D. Uliman: Principles of Database and Knowledge-Base Systems, volumes 1, 2, Computer Science Press, 1988, 1989.
23. T. Urpi, A. Oliv,. A Method for Change Computation in Deductive Databases, Proc. 18th VLDB Conference, 225-237, 1992.
24. P.A.S. Veloso, A.L. Furtado: Towards simpler and yet more complete formal specifications, Proc. IFIP Working Conf. Theoretical and Formal Aspects of Information Systems, 175-189, 1985.