摘要: We suggest here a methodology for updating databases with integrity constraints and rules deriving inexphcit information. First we consider the problem of arbitrary theories by inserting into them or deleting from sentences. The solution involves two key ideas when replacing an old theory new one wish to minimize change in theory, there are several that involve minimal changes, look reflects ambiguity. is also adapted databases, where different facts can carry priorities, user views.
acm.org
core.ac.uk
sci-hub.se 参考文章(16)
Edward Sciore, The universal instance and database design Princeton University. ,(1980)
Umeshwar Dayal, Philip A. Bernstein, On the updatability of relational views very large data bases. pp. 368- 377 ,(1978)
Anthony Collins Klug, Theory of database mappings. ,(1978)
Stephen Todd, Automatic Constraint Maintenance and Updating Defined Relations. ifip congress. pp. 145- 148 ,(1977)
Raymond Reiter, Towards a Logical Reconstruction of Relational Database Theory On Conceptual Modelling (Intervale). pp. 191- 238 ,(1984) , 10.1007/978-1-4612-5196-5_8
Jon Doyle, Philip London, A selected descriptor-indexed bibliography to the literature on belief revision ACM SIGART Bulletin. ,vol. 71, pp. 7- 22 ,(1980) , 10.1145/1056441.1056442
Umeshwar Dayal, Philip A. Bernstein, On the correct translation of update operations on relational views ACM Transactions on Database Systems. ,vol. 7, pp. 381- 416 ,(1982) , 10.1145/319732.319740
E.W. Beth, On Padoa’s Method in the Theory of Definition Indagationes Mathematicae (Proceedings). ,vol. 56, pp. 330- 339 ,(1953) , 10.1016/S1385-7258(53)50042-3
J. M. Nicolas, K. Yazdanian, Integrity Checking in Deductive Data Bases Logic and Data Bases. pp. 325- 344 ,(1978) , 10.1007/978-1-4684-3384-5_12
A.L. Furtado, K.C. Sevcik, C.S. Dos Santos, Permitting updates through views of data bases Information Systems. ,vol. 4, pp. 269- 283 ,(1979) , 10.1016/0306-4379(79)90021-8