Updates, A New Frontier.

@inproceedings{DBLP:conf/icdt/Abiteboul88,
  author    = {Serge Abiteboul},
  editor    = {Marc Gyssens and
               Jan Paredaens and
               Dirk Van Gucht},
  title     = {Updates, A New Frontier},
  booktitle = {ICDT'88, 2nd International Conference on Database Theory, Bruges,
               Belgium, August 31 - September 2, 1988, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {326},
  year      = {1988},
  isbn      = {3-540-50171-1},
  pages     = {1-18},
  ee        = {db/conf/icdt/Abiteboul88.html},
  crossref  = {DBLP:conf/icdt/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX

[2]

Serge Abiteboul, Gösta Grahne: Update Semantics for Incomplete Databases. VLDB 1985: 1-12 BibTeX

[3]

Serge Abiteboul, Paris C. Kanellakis, Gösta Grahne: On the Representation and Querying of Sets of Possible Worlds. SIGMOD Conference 1987: 34-48 BibTeX

[4]

Krzysztof R. Apt, Jean-Marc Pugin: Maintenance of Stratified Databases Viewed as a Belief Revision System. PODS 1987: 136-145 BibTeX

[5]

Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120 BibTeX

[6]

Serge Abiteboul, Victor Vianu: Equivalence and optimization of relational transactions. J. ACM 35(1): 70-120(1988) BibTeX

[7]

Serge Abiteboul, Victor Vianu: Transactions and Integrity Constraints. PODS 1985: 193-204 BibTeX

[8]

Serge Abiteboul, Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987: 260-268 BibTeX

[9]

Serge Abiteboul, Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988: 240-250 BibTeX

[10]

Serge Abiteboul, Victor Vianu: Procedural Languages for Database Queries and Updates. J. Comput. Syst. Sci. 41(2): 181-229(1990) BibTeX

[11]

Serge Abiteboul, Victor Vianu: The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. JCDKB 1988: 324-334 BibTeX

[12]

François Bancilhon: On the Completeness of Query Languages for Relational Data Bases. MFCS 1978: 112-123 BibTeX

[13]

François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162 BibTeX

[14]

Michael L. Brodie: On Modelling Behavioural Semantics of Databases. VLDB 1981: 32-42 BibTeX

[15]

François Bancilhon, Nicolas Spyratos: Update Semantics of Relational Views. ACM Trans. Database Syst. 6(4): 557-575(1981) BibTeX

[16]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[17]

C. Robert Carlson, Adarsh K. Arora: UPM: A Formal Tool for Expressing Database Update Semantics. ER 1983: 517-525 BibTeX

[18]

José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291 BibTeX

[19]

...

[20]

Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980) BibTeX

[21]

Ashok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15(1985) BibTeX

[22]

Laurence Cholvy: Update Semantics under the Domain Closure Assumption. ICDT 1986: 123-140 BibTeX

[23]

Stavros S. Cosmadakis, Christos H. Papadimitriou: Updates of Relational Views. J. ACM 31(4): 742-760(1984) BibTeX

[24]

Stefano Ceri, Giuseppe Pelagatti, Giampio Bracchi: Structured methodology for designing static and dynamic aspects of data base applications. Inf. Syst. 6(1): 31-45(1981) BibTeX

[25]

James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983) BibTeX

[26]

Jon Doyle: A Truth Maintenance System. Artif. Intell. 12(3): 231-272(1979) BibTeX

[27]

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

[28]

...

[29]

Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: Updating Logical Databases. Advances in Computing Research 3: 1-18(1986) BibTeX

[30]

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

[31]

Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 BibTeX

[32]

...

[33]

Hervé Gallaire: Impacts of Logic and Databases (Invited Paper). VLDB 1981: 248-259 BibTeX

[34]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX

[35]

Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler: A Modal System of Algebras for Database Specification and Query/Update Language Support. VLDB 1983: 331-339 BibTeX

[36]

Yuri Gurevich, Saharon Shelah: Fixed-Point Extensions of First-Order Logic. FOCS 1985: 346-353 BibTeX

[37]

Richard Hull: Relative Information Capacity of Simple Relational Database Schemata. SIAM J. Comput. 15(3): 856-886(1986) BibTeX

[38]

...

[39]

Tomasz Imielinski, Witold Lipski Jr.: Incomplete Information in Relational Databases. J. ACM 31(4): 761-791(1984) BibTeX

[40]

Tomasz Imielinski, Shamim A. Naqvi: Explicit Control of Logic Programs Through Rule Algebra. PODS 1988: 103-116 BibTeX

[41]

Paris C. Kanellakis: Elements of Relational Database Theory. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 1073-1156 BibTeX

[42]

Arthur M. Keller: Algorithms for Translating View Updates to Database Updates for Views Involving Selections, Projections, and Joins. PODS 1985: 154-163 BibTeX

[43]

Johan de Kleer: An Assumption-Based TMS. Artif. Intell. 28(2): 127-162(1986) BibTeX

[44]

Manfred R. Klopprogge, Peter C. Lockemann: Modelling Information Preserving Databases: Consequences of the Concept of Time. VLDB 1983: 399-416 BibTeX

[45]

Roger King, Dennis McLeod: The Event Database Specifications Model. JCDKB 1982: 299-322 BibTeX

[46]

...

[47]

Phokion G. Kolaitis, Christos H. Papadimitriou: Why Not Negation by Fixpoint? PODS 1988: 231-239 BibTeX

[48]

...

[49]

Arthur M. Keller, Jeffrey D. Ullman: On Complementary and Independent Mappings on Databases. SIGMOD Conference 1984: 143-148 BibTeX

[50]

David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents BibTeX

[51]

John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX

[52]

Christophe de Maindreville, Eric Simon: A Production Rule-Based Approach to Deductive Databases. ICDE 1988: 234-241 BibTeX

[53]

Christophe de Maindreville, Eric Simon: Modelling Non Deterministic Queries and Updates in Deductive Databases. VLDB 1988: 395-406 BibTeX

[54]

David Maier, Jacob Stein, Allen Otis, Alan Purdy: Development of an Object-Oriented DBMS. OOPSLA 1986: 472-482 BibTeX

[55]

Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394 BibTeX

[56]

...

[57]

Shamim A. Naqvi, Ravi Krishnamurthy: Database Updates in Logic Programming. PODS 1988: 251-262 BibTeX

[58]

Lee Naish, James A. Thom, Kotagiri Ramamohanarao: Concurrent Database Updates in PROLOG. ICLP 1987: 178-195 BibTeX

[59]

Jean-Marie Nicolas, Kioumars Yazdanian: Integrity Checking in Deductive Data Bases. Logic and Data Bases 1977: 325-344 BibTeX

[60]

Jan Paredaens: On the Expressive Power of the Relational Algebra. Inf. Process. Lett. 7(2): 107-111(1978) BibTeX

[61]

Raymond Reiter: Towards a Logical Reconstruction of Relational Database Theory. On Conceptual Modelling (Intervale) 1982: 191-233 BibTeX

[62]

...

[63]

Richard T. Snodgrass: The Temporal Query Language TQuel. PODS 1984: 204-213 BibTeX

[64]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[65]

Ulrich Schiel: An Abstract Introduction to the Temporal-Hierarchic Data Model (THM). VLDB 1983: 322-330 BibTeX

[66]

Moshe Y. Vardi: Querying Logical Databases. PODS 1985: 57-65 BibTeX

[67]

Allen Van Gelder: Negation as Failure Using Tight Derivations for General Logic Programs. SLP 1986: 127-138 BibTeX

[68]

Victor Vianu: Dynamic Constraints and Database Evolution. PODS 1983: 389-399 BibTeX

[69]

Victor Vianu: Dynamic functional dependencies and database aging. J. ACM 34(1): 28-59(1987) BibTeX

[70]

Victor Vianu: Database Survivability Under Dynamic Constraints. Acta Inf. 25(1): 55-84(1987) BibTeX

[71]

Victor Vianu: A Dynamic Framework for Object Projection Views. ACM Trans. Database Syst. 13(1): 1-22(1988) BibTeX

[72]

David Scott Warren: Database Updates in Pure Prolog. FGCS 1984: 244-253 BibTeX

[73]

Marianne Winslett: A Model-Theoretic Approach to Updating Logical Databases. PODS 1986: 224-234 BibTeX

[74]

Marianne Winslett: A Framework for Comparison of Update Semantics. PODS 1988: 315-324 BibTeX

[75]

Mihalis Yannakakis, Christos H. Papadimitriou: Algebraic Dependencies. J. Comput. Syst. Sci. 25(1): 2-41(1982) BibTeX

Referenced by

1. Danilo Montesi, Elisa Bertino, Maurizio Martelli: Transactions and Updates in Deductive Databases. IEEE Trans. Knowl. Data Eng. 9(5): 784-797(1997)
2. Weidong Chen: Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning. IEEE Trans. Knowl. Data Eng. 9(4): 587-599(1997)
3. Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs: Heraclitus: Elevating Deltas to be First-Class Citizens in a Database Programming Language. ACM Trans. Database Syst. 21(3): 370-426(1996)
4. Ernest Teniente, Antoni Olivé: Updating Knowledge Bases While Maintaining Their Consistency. VLDB J. 4(2): 193-241(1995)
5. Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE 1995: 173-182
6. Martin Gogolla: A Declarative Query Approach to Object Identification. OOER 1995: 65-76
7. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
   Contents
8. Dominique Laurent, Nicolas Spyratos: A Partition Model Approach to Updating Universal Scheme Interfaces. IEEE Trans. Knowl. Data Eng. 6(2): 316-330(1994)
9. Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs, Jaime Castillo, Martha Escobar-Molano, Shih-Hui Lu, Junhui Luo, Chiu Tsang, Gang Zhou: On Implementing a Language for Specifying Active Database Execution Models. VLDB 1993: 441-454
10. Dominique Laurent, Viet Phan Luong, Nicolas Spyratos: Updating Intensional Predicates in Deductive Databases. ICDE 1993: 14-21
11. Michael Kramer, Georg Lausen, Gunter Saake: Updates in a Rule-Based Language for Objects. VLDB 1992: 251-262
12. Stefano Ceri: A Declarative Approach to Active Databases. ICDE 1992: 452-456
13. Ernest Teniente, Antoni Olivé: The Events Method for View Updating in Deductive Databases. EDBT 1992: 245-260
14. Domenico Saccà, Brigitte Verdonk, Dirk Vermeir: Evolution of Knowledge Bases. EDBT 1992: 230-244
15. Filippo Cacace, Stefano Ceri, Letizia Tanca: Consistency and Non-determinism in a Database Programming Language. MFDBS 1991: 325-341
16. Antonis C. Kakas, Paolo Mancarella: Database Updates through Abduction. VLDB 1990: 650-661
17. Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. SIGMOD Conference 1990: 225-236
18. Paolo Atzeni, Riccardo Torlone: Efficient Updates to Independent Schemes in the Weak Instance Model. SIGMOD Conference 1990: 84-93
19. Leigh Willard, Li-Yan Yuan: The Revised Gärdenfors Postulates and Update Semantics. ICDT 1990: 409-421
20. Stephen J. Hegner: Foundations of Canonical Update Support for Closed Database Views. ICDT 1990: 422-436
21. Hendrik Decker: Drawing Updates From Derivations. ICDT 1990: 437-451
22. Sanjay Manchanda: Declarative Expression of Deductive Database Updates. PODS 1989: 93-100
23. Paolo Atzeni, Riccardo Torlone: Updating Databases in the Weak Instance Model. PODS 1989: 101-109
24. Paolo Atzeni, Riccardo Torlone: Approaches to Updates over Weak Instances. MFDBS 1989: 12-23