Abstract
Schema validation and view updating are database engineering problems which seem to differ significantly. Hence, for solving them, significantly different approaches are taken, usually. However, one of the contributions of this paper is: We show that any sound method for view updating can effectively be used also for validating schema specifications. We consider typical schema validation tasks such as checking schema satisfiability, liveliness of a predicate, reachability of partially specified states and redundancy of integrity constraint specifications, and we show how, with any sound method for view updating, these tasks can be tackled in a uniform way. For illustrating our point, we shortly recapitulate a concrete method for view updating and apply it to tackle these tasks. We emphasize that our general approach is independent of any particular method for view updating. Other contributions consists in refined concepts of schema satisfiability and integrity redundance. Both can be expressed in related terms of liveliness and reachability, and yield results that compare advantageously to what has been proposed so far, in the literature
Supported by the DGICYT, ref. SAB94-0331
Supported by the PRONTIC program project TIC94-0512
Preview
Unable to display preview. Download preview PDF.
References
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.
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. 1 st EDBT, 488–505, Springer LNCS 303, 1988.
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.
F. Bancilhon, R. Ramakrishnan: An amateur's introduction to recursive query processing strategies, Proc. SIGMOD '86, 16–152, ACM Press, 1986.
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.
J.C. Casamayor, H. Decker, F. Marqués: 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.
D. Costal, A. Olive: A Method for Reasoning about Deductive Conceptual Models of Information Systems, Proc. Int. Conf. on Advanced Information Systems Engineering (CAiSE'92), 612–631, 1992.
H. Decker: The range form of databases and queries, or: How to avoid floundering, in J. Retti, K. Leidlmair (eds), Proc. 5th ÖGAI, 114–123, Springer Informatik-Fachberichte 208, 1989.
H. Gallaire, J. Minker, J.M. Nicolas: Logic and databases: A deductive approach, Computing Surveys 16, 153–185, 1984.
A. Gupta, Y. Sagiv, J.D. Ullman, J. Widom: Constraint checking with partial information, Proc. 13th poDS, 45–55, ACM Press, 1994.
K. Inoue, M. Koshimura, R. Hasegawa: Embedding negation as failure into a model generation theorem prover, Proc. 11th CADE, 1992.
C.H. Kung: A Temporal Framework for Information Systems Specifications and Verification, PhD Thesis, Univ. of Trondheim, Norway, 1984.
A. Levy, I.S. Mumick, Y. Sagiv, O. Shmueli: Equivalence, query-reachability, and satisfiability in Datalog extensions, Proc. 12th PoDS, 1993.
A. Levy, Y. Sagiv: Semantic Query Optimization in Datalog Programs, Proc. 14th PoDS, 163–173, 1995.
J.W. Lloyd: Foundations of Logic Programming, Springer, 1987.
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.
Olivé, A.: Integrity Checking in Deductive Databases, Proc. 17th VLDB Conference, 513–523, 1991.
A.Olivé, M.R. Sancho: A Method for Explaining the Behaviour of Conceptual Models. Proc. Int. Conf. on Advanced Information Systems Engineering (CAiSE'95), 12–25, 1995.
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.
E. Teniente, A. Olivé: Updating Knowledge Bases while Maintaining their Consistency, The VLDB Journal, Vol. 4, No. 2, 193–241, 1995.
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.
J.D. Ullman: Principles of Database and Knowledge-Base Systems, volumes 1, 2, Computer Science Press, 1988, 1989.
T. Urpí, A. Olivé: A Method for Change Computation in Deductive Databases, Proc. 18th VLDB Conference, 225–237, 1992.
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hendrik, D., Ernest, T., Toni, U. (1996). How to tackle schema validation by view updating. In: Apers, P., Bouzeghoub, M., Gardarin, G. (eds) Advances in Database Technology — EDBT '96. EDBT 1996. Lecture Notes in Computer Science, vol 1057. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014177
Download citation
DOI: https://doi.org/10.1007/BFb0014177
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61057-1
Online ISBN: 978-3-540-49943-5
eBook Packages: Springer Book Archive