ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

On the Semantics of Updates in Databases.

Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365
@inproceedings{DBLP:conf/pods/FaginUV83,
  author    = {Ronald Fagin and
               Jeffrey D. Ullman and
               Moshe Y. Vardi},
  title     = {On the Semantics of Updates in Databases},
  booktitle = {Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles
               of Database Systems, March 21-23, 1983, Colony Square Hotel,
               Atlanta, Georgia},
  publisher = {ACM},
  year      = {1983},
  isbn      = {0-89791-097-4},
  pages     = {352-365},
  ee        = {http://doi.acm.org/10.1145/588058.588100, db/conf/pods/FaginUV83.html},
  crossref  = {DBLP:conf/pods/83},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

We suggest here a methodology for updating databases with integrity constraints and rules for deriving inexplicit information. First we consider the problem of updating arbitrary theories by inserting into them or deleting from them arbitrary sentences. The solution involves two key ideas when replacing an old theory by a new one we wish to minimize the change in the theory, and when there are several theories that involve minimal changes, we look for a new theory that reflects that ambiguity. The methodology is also adapted to updating databases, where different facts can carry different priorities, and to updating user views.

Copyright © 1983 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98. and ... Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings. and ... BibTeX

Printed Edition

Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta, Georgia. ACM 1983, ISBN 0-89791-097-4
Contents BibTeX

Online Edition: ACM Digital Library

References

[Be]
...
[BS]
François Bancilhon, Nicolas Spyratos: Update Semantics of Relational Views. ACM Trans. Database Syst. 6(4): 557-575(1981) BibTeX
[CA]
...
[Cl]
...
[Da]
...
[DB1]
Umeshwar Dayal, Philip A. Bernstein: On the Updatability of Relational Views. VLDB 1978: 368-377 BibTeX
[DB2]
Umeshwar Dayal, Philip A. Bernstein: On the Correct Translation of Update Operations on Relational Views. ACM Trans. Database Syst. 7(3): 381-416(1982) BibTeX
[DL]
...
[FS]
Antonio L. Furtado, Kenneth C. Sevcik, Clesio Saraiva dos Santos: Permitting updates through views of data bases. Inf. Syst. 4(4): 269-283(1979) BibTeX
[Ja1]
...
[Ja2]
...
[KD]
...
[Ke]
...
[Kl]
...
[Ko]
...
[Mi]
...
[MUV]
David Maier, Jeffrey D. Ullman, Moshe Y. Vardi: The Revenge of the JD. PODS 1983: 279-287 BibTeX
[NG]
...
[NY]
...
[Os]
...
[Rei]
...
[Res]
...
[Sc]
...
[To]
...

Referenced by

  1. Naci Ishakbeyoglu, Z. Meral Özsoyoglu: Maintenance of Implication Integrity Constraints Under Updates to Constraints. VLDB J. 7(2): 67-78(1998)
  2. Paolo Liberatore, Marco Schaerf: Arbitration (or How to Merge Knowledge Bases). IEEE Trans. Knowl. Data Eng. 10(1): 76-90(1998)
  3. Danilo Montesi, Elisa Bertino, Maurizio Martelli: Transactions and Updates in Deductive Databases. IEEE Trans. Knowl. Data Eng. 9(5): 784-797(1997)
  4. Dimitri Theodoratos: Deductive Object Oriented Schemas. ER 1996: 58-72
  5. Ernest Teniente, Antoni Olivé: Updating Knowledge Bases While Maintaining Their Consistency. VLDB J. 4(2): 193-241(1995)
  6. I-Min A. Chen, Richard Hull, Dennis McLeod: An Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update. ACM Trans. Database Syst. 20(4): 365-413(1995)
  7. Weidong Chen: Declarative Updates of Relational Databases. ACM Trans. Database Syst. 20(1): 42-70(1995)
  8. Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: The Size of a Revised Knowledge Base. PODS 1995: 151-162
  9. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
  10. V. S. Subrahmanian: Amalgamating Knowledge Bases. ACM Trans. Database Syst. 19(2): 291-331(1994)
  11. Dominique Laurent, Nicolas Spyratos: A Partition Model Approach to Updating Universal Scheme Interfaces. IEEE Trans. Knowl. Data Eng. 6(2): 316-330(1994)
  12. Peter Z. Revesz: On the Semantics of Theory Change: Arbitration between Old and New Information. PODS 1993: 71-82
  13. Dominique Laurent, Viet Phan Luong, Nicolas Spyratos: Updating Intensional Predicates in Deductive Databases. ICDE 1993: 14-21
  14. Paolo Atzeni, Riccardo Torlone: Updating Relational Databases Through Weak Instance Interfaces. ACM Trans. Database Syst. 17(4): 718-745(1992)
  15. Gösta Grahne, Alberto O. Mendelzon, Peter Z. Revesz: Knowledgebase Transformations. PODS 1992: 246-260
  16. Thomas Eiter, Georg Gottlob: On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. PODS 1992: 261-273
  17. Marcelo Finger, Dov M. Gabbay: Updating Atomic Information in Labelled Database Systems. ICDT 1992: 188-200
  18. José Alberto Fernández, Jack Minker: Semantics of Disjunctive Deductive Databases. ICDT 1992: 21-50
  19. Dominique Laurent, Viet Phan Luong, Nicolas Spyratos: Deleted Tuples are Useful when Updating through Universal Scheme Interfaces. ICDE 1992: 420-427
  20. Raymond Reiter: On Formalizing Database Updates: Preliminary Report. EDBT 1992: 10-20
  21. Ken-Chih Liu, Rajshekhar Sunderraman: A Generalized Relational Model for Indefinite and Maybe Information. IEEE Trans. Knowl. Data Eng. 3(1): 65-77(1991)
  22. Chitta Baral, Sarit Kraus, Jack Minker: Combining Multiple Knowledge Bases. IEEE Trans. Knowl. Data Eng. 3(2): 208-220(1991)
  23. Antonis C. Kakas, Paolo Mancarella: Database Updates through Abduction. VLDB 1990: 650-661
  24. Leigh Willard, Li-Yan Yuan: The Revised Gärdenfors Postulates and Update Semantics. ICDT 1990: 409-421
  25. Ken-Chih Liu, Rajshekhar Sunderraman: On Representing Indefinite and Maybe Information in Relational Databases: A Generalization. ICDE 1990: 495-502
  26. Paolo Atzeni, Riccardo Torlone: Updating Databases in the Weak Instance Model. PODS 1989: 101-109
  27. Ramana Yerneni, Sitaram Lanka: Identifying and Update of Derived Functions in Functional Databases. ICDE 1989: 110-117
  28. Marianne Winslett: A Model-Based Approach to Updating Databases with Incomplete Information. ACM Trans. Database Syst. 13(2): 167-196(1988)
  29. Victor Vianu: A Dynamic Framework for Object Projection Views. ACM Trans. Database Syst. 13(1): 1-22(1988)
  30. Georg Gottlob, Paolo Paolini, Roberto Zicari: Properties and Update Semantics of Consistent Views. ACM Trans. Database Syst. 13(4): 486-524(1988)
  31. Marianne Winslett: A Framework for Comparison of Update Semantics. PODS 1988: 315-324
  32. M. E. Iofinova, E. A. Komissartschik: Update in Hierarchical Data Bases. ICDT 1988: 292-306
  33. Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18
  34. Ken-Chih Liu, Rajshekhar Sunderraman: On Representing Indefinite and Maybe Information in Relational Databases. ICDE 1988: 250-257
  35. Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu: Axiomatization and Simplification Rules for Relational Transactions. PODS 1987: 254-259
  36. Marianne Winslett: A Model-Theoretic Approach to Updating Logical Databases. PODS 1986: 224-234
  37. Moshe Y. Vardi: On the Integrity of Databases with Incomplete Information. PODS 1986: 252-266
  38. Marianne Winslett: Updating Logical Databases Containing Null Values. ICDT 1986: 421-435
  39. Laurence Cholvy: Update Semantics under the Domain Closure Assumption. ICDT 1986: 123-140
  40. Heikki Mannila, Kari-Jouko Räihä: Inclusion Dependencies in Database Design. ICDE 1986: 713-718
  41. Claudia Bauzer Medeiros, Frank Wm. Tompa: Understanding the Implications of View Update Policies. VLDB 1985: 316-323
  42. Serge Abiteboul, Gösta Grahne: Update Semantics for Incomplete Databases. VLDB 1985: 1-12
  43. Moshe Y. Vardi: Querying Logical Databases. PODS 1985: 57-65
  44. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)
  45. Gösta Grahne: Dependency Satisfaction in Databases with Incomplete Information. VLDB 1984: 37-45
  46. Serge Abiteboul, Victor Vianu: Transactions in Relational Databases (Preliminary Report). VLDB 1984: 46-56
  47. Victor Vianu: Object Projection Views in the Dynamic Relational Model. PODS 1984: 214-220
  48. Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: On the Equivalence of Logical Databases. PODS 1984: 221-228
  49. Stephen J. Hegner: Canonical View Update Support through Boolean Algebras of Components. PODS 1984: 163-173
  50. Charles Kellogg: The Transition from Data Management to Knowledge Management. ICDE 1984: 467-472
  51. Arthur M. Keller, Marianne Winslett: Approaches for Updating Databases With Incomplete Information and Nulls. ICDE 1984: 332-340
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:33:43 2009